Function THE-EXPECTED

This function can be used when a situation is epistemically objective (cf Searle), or when we can consider it so (say, neutralizing the interpreter). This should be read as truehe expected state of affairs of the entity is the situation such and such'.
Arity: 2
Domain: Entity
Range: Situation
Subrelation-Of: Typicality-relation
Axioms:
(=> (The-Expected ?A ?B)
    (Not (Exists (?Z) (And (*Agent ?Z) (Not (Expects ?Z ?A ?B))))))