would work here, since El - Inheritance 4 Cat, Animal) E2 - Evaluation( Eat, (Cat, Bacon) ) E3 - Inheritance( Eat, Chew) E4 - Evaluation( Enjoy, (Cat, Chew) ) are all reasonably true. If there is no such assignment ready to hand, then one is faced with a search problem. This can can be approached as a