Hellbus over 13 years ago Implicating bird on head -> bird.Reason: Also, dog_on_head -> dog needs to be added.The -> animal_on_head implication is already present for both. Updated by a moderator about 13 years ago Reply Copy ID Copy Link