(=> (Assumption ?Assumption) (Exists (?Actor) (Assumed ?Actor ?Assumption)))
(<=> (Assumption ?Assumption) (And (State-Of-Affairs ?Assumption) (Qua-Entity ?Assumption) (Exists (?Actor) (Assumed ?Actor ?Assumption))))