Relation CONVENTIONALLY-ASSOCIATED

Arity: 2

Subrelation-Of: Assessment-relation

Axioms:

(<=> (Conventionally-Associated ?A ?B)
     (And (Assessment-Relation ?A ?B)
          (Exists (?C)
                  (And (Conventional-Within ?A ?C)
                       (The-Conventional-Domain ?C ?B)))))

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