This last call would try to feed the animal meat, which is quite legal according to the signature of $OMNIVORE::eat($FOOD) , since $MEAT is a subtype of $FOOD .
(the animal meat; is; quite legal) ($MEAT; is; a subtype of $FOOD)
the animal meat $MEAT
is is
quite legal
a subtype of $FOOD