predators eat prey
predator is animal. prey is victim. predators is not bigger_than_prey. prey is animal. carnivore is predator. prey is not animal. bird_of_prey is predatory_animal. predators is bigger_than_prey.