Relation
PREDICATIVELY-DEPENDS-ON
Arity
:
2
Defined in theory:
Dependence
Source code:
Dependence.lisp