Relation EXPECTS

Instance-Of: Relation, Ternary

Arity: 3

Range: Situation

Subrelation-Of: Structuring-ternary

Axioms:

(Nth-Domain Expects 2 Entity)

(Nth-Domain Expects 1 *Agent)

(=> (Expects ?A ?B ?C) (And (Context-Of ?C ?B) (Aware-Of ?A ?B)))

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