Relation
RIGIDLY-NECESSARY-TO
Arity
:
2
Axioms:
(
=
(
Inverse
Rigidly-Depends-On
)
Rigidly-Necessary-To
)
Defined in theory:
Dependence
Source code:
Dependence.lisp