An Activity whose Intended-Purpose is to produce a Plan. Specifically, if an Activity is a Planning Activity, this implies that a. there is some Activity-Spec which when Executed, gave rise to the Activity; b. the Intended-Purpose of the Activity-Spec is to produce a Plan
(=> (Planning ?Planning) (Exists (?Plan ?Aspec) (And (Plan ?Plan) (Activity-Spec ?Aspec) (Execution-Of-Activity-Spec ?Aspec ?Planning) (Intended-Purpose ?Aspec '(Actual-Output ?Planning ?Plan)))))
(=> (Plan-Assumption ?Plan ?Assumption) (Exists (?Planning) (And (Planning ?Planning) (Actual-Output ?Planning ?Plan) (Planning-Assumption ?Planning ?Assumption))))