Relation TRAVERSED-BY

Arity: 2

Axioms:

(= (Inverse Traverses) Traversed-By)

• Defined in theory: Positions
• Source code: Positions.lisp