ns El, E2, E3, E4, then the Atomspace API's pattern matcher will find it. For instance, (6v1, $v2, $v3) - (Cat, Eat, Chew) 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