animal := *top*. swimmer := animal. mammal := animal. furry := animal. whale := swimmer & mammal & furry. cat := swimmer & mammal & furry. bozo := swimmer & mammal & furry. arf := animal. meow := furry. spookee := cat. emu := spookee. monkey := spookee. giraffe := spookee.