matters eat predator
predator is animal. predators is not bigger_than_prey. lion is predator. lion is not predator. carnivore is not predator. predatory_animal is not carnivore. carnivore is predator. predator is not animal. predatory_animal is carnivore. predators is bigger_than_prey.