Relation
BETWEEN
Arity
:
3
Subrelation-Of
:
Position-ternary
Axioms:
(=> (
Between
?A ?B ?C) (And (
Left-Of
?B ?A) (
Left-Of
?A ?C)))
Defined in theory:
Positions
Source code:
Positions.lisp