Simon Spero wrote:

> 	(1) Everything which is eaten by something is a food.
> 	(2) Everything that a carnivore eats is an animal.  Everything that
> eats an animal is a carnivore.
> 	(3) Everything that a herbivore eats is a plant.  Everything that eats
> a plant is a herbivore.
> 	(4) Every fly  is an animal. Every antelope is an animal. Every flytrap
> is a plant.
> 	(5) Fred is a fly. Audrey is a flytrap.  Ann is an antelope. Noel is a
> grass.  Agatha is an antelope.
> 	(6) Audrey eats Fred. Ann eats Audrey.  Ann eats Noel.
>  Let's think about how this can be translated to OWL, then consider what
> other sentences are entailed.

Wow, this is like working on the MENSA quiz in the airline magazine on the way to an ALA conference!  ;)

Kevin M. Randall
Principal Serials Cataloger
Northwestern University Library
[log in to unmask]
(847) 491-2939

Proudly wearing the sensible shoes since 1978!