Say I have the following logical relationships:
# ANIMALS cat = [hobbes, tigger, garfield] dog = [lassie] frog = [kermit, hypnotoad] # HABITATS tree = [cat, frog
