animal := *top*. flyer := animal & "comment". swimmer := animal. invertebrate := animal. vertebrate := animal. bee := flyer & invertebrate. fish := swimmer & vertebrate. cod := fish & "comment". guppy := fish. mammal := vertebrate. dog := mammal. cat := mammal & swimmer. whale := mammal & swimmer.