(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))