animal(x)
]]>
animal(x)
]]>
animal(x)
]]>
animal(x)
]]>
plant(x)
]]>
(all y (plant(y) -> eats(x,y))) | (all z (animal(z) & Smaller(z,x) & (exists u (plant(u) & eats(z,u))) -> eats(x,z)))))
]]>
Smaller(x,y)
]]>
Smaller(x,y)
]]>
Smaller(x,y)
]]>
(exists y (plant(y) & eats(x,y)))
]]>
-eats(x,y)
]]>
-eats(x,y)
]]>
-eats(x,y)
]]>
eats(y,z)))))
]]>