Relation
_FORMAL
Arity
:
2
Subrelation-Of
:
Logical-property
Defined in theory:
Assessment
Source code:
Assessment.lisp