A Relationship between an Actor and a State-of-Affairs whereby the Actor takes the State Of Affairs to be true without knowing whether it is true or not.
(=> (Known-True ?Actor ?State-Of-Affairs) (Not (Assumed ?Actor ?State-Of-Affairs))) (=> (Planning-Assumption ?Planning ?Assumption) (Exists (?Doer) (And (Actor ?Doer) (Actually-Execute ?Doer ?Planning) (Assumed ?Doer ?Assumption)))) (=> (Assumed ?Actor ?Soa) (Not (Known-True ?Actor ?Soa)))
(<=> (Assumption ?Assumption) (And (State-Of-Affairs ?Assumption) (Qua-Entity ?Assumption) (Exists (?Actor) (Assumed ?Actor ?Assumption))))