Relation
APPROACHED-BY
Arity
:
2
Axioms:
(
=
(
Inverse
Near
)
Approached-By
)
Defined in theory:
Positions
Source code:
Positions.lisp