Relation EVIDENTIATES

Relation for talking of something which allows an assessment of actuality of an event, situation or object.

Arity: 2

Subrelation-Of: Assessment-relation

Axioms:

(=> (Evidentiates ?A ?B)
    (Exists (?A) (And (*Agent ?A) (Expects ?A ?A ?B))))

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