Relation EXCLUDED-BY

Arity: 2

Axioms:

(= (Inverse Excludes) Excluded-By)

• Defined in theory: Assessment
• Source code: Assessment.lisp