This says that ``x eats plant y''. Only the deer in this database satisfies
this wff.
Practice 28
Practice 29
Table: Recursive solution of remainder of in-food-chain(bear,X).
LONG ANDREW E
Mon Jan 21 22:51:57 EST 2002