This says that ``x eats plant y''. Only the deer in this database satisfies
this wff.
Practice 28/29
Practice 29/30
Table: Recursive solution of remainder of in-food-chain(bear,X).
LONG ANDREW E
Fri Sep 13 13:16:55 EDT 2002