(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (and (instance ?AGENT CognitiveAgent) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))))
(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))
Next IntentionalProcess: Guiding Up: IntentionalProcess Previous IntentionalProcess: ExerciseProcess