(=> (and (instance ?IMPACT Impacting) (instrument ?IMPACT ?INST) (patient ?IMPACT ?PLACE)) (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))
(=> (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))))
Up: Impacting, IntentionalProcess