The argument of eat in the omnivore is $FOOD , which is a supertype of $MEAT , the argument of eat in $CARNIVORE .
(The argument of eat in the omnivore; is; $FOOD , which is a supertype of $MEAT , the argument of eat in $CARNIVORE) ($FOOD; is; a supertype of $MEAT)
The argument of eat in the omnivore $FOOD
is is
$FOOD , which is a supertype of $MEAT , the argument of eat in $CARNIVORE
a supertype of $MEAT