A Relationship between an Actor and a State-Of-Affairs whereby the Actor knows the State-Of-Affairs to be true.
(=> (Known-True ?Actor ?State-Of-Affairs) (Not (Assumed ?Actor ?State-Of-Affairs))) (=> (Assumed ?Actor ?Soa) (Not (Known-True ?Actor ?Soa)))
(<=> (Influence-Factor ?Influence-Factor) (And (State-Of-Affairs ?Influence-Factor) (Exists (?Actor) (And (Known-True ?Actor ?Influence-Factor) (In-Scope-Of-Interest ?Actor ?Influence-Factor)))))