A relationship between an Activity and an Effect whereby the State-of-Affairs is brought about by the performance of the Activity.
(Forall (?Activity ?Output) (=> (Actual-Output ?Activity ?Output) (Actual-Effect ?Activity '(Actual-Output ?Activity ?Output))))
(Inherited-Facet-Value Slot-Value-Type Activity Actual-Effect Effect) (Inherited-Facet-Value Minimum-Slot-Cardinality Activity Actual-Effect 1)