A Relationship between an Activity and an Entity whereby the Entity is an Output produced by the Activity.
(=> (Plan-Assumption ?Plan ?Assumption) (Exists (?Planning) (And (Planning ?Planning) (Actual-Output ?Planning ?Plan) (Planning-Assumption ?Planning ?Assumption))))
(Forall (?Activity ?Output) (=> (Actual-Output ?Activity ?Output) (Actual-Effect ?Activity '(Actual-Output ?Activity ?Output)))) (Forall (?Plng ?Assump) (=> (Planning-Assumption ?Plng ?Assump) (Exists (?Pln) (And (Actual-Output ?Plng ?Pln) (Plan-Assumption ?Pln ?Assump)))))