$X) to refer to the set of X so that eats(cat, X). On the other hand, suppose we have the implication Implication Evaluation f $X Evaluation f ExOut reverse $X where f is a PredicateNode embodying a mathematical operator acting on pairs of NumberN- odes, and reverse is an operator that reverses a

schema father_of that outputs the father of its argument. The ExecutionOutput (ExOut) edge denotes the output of a Schema in an implicit way, e.g. ExOut say_hello refers to a particular act of saying hello, whereas ExOut add numbers 43, 4) refers to the Concept corresponding to 7. Note that this la

schema father_ of that outputs the father of its argument. The ExecutionOutput (ExOut) edge denotes the output of a Schema in an implicit way, e.g. ExOut say_hello refers to a particular act of saying hello, whereas ExOut add_numbers {3, 4) refers to the Concept corresponding to 7. Note that this la