(=>
(and
(instance ?RO RecoveryOperation)
(patient ?RO ?O)
(agent ?RO ?A))
(exists (?CC)
(and
(instance ?CC ChangeOfControl)
(earlier ?CC ?RO)
(patient ?CC ?O)
(agent ?CC ?E)
(enemy ?A ?E)
(holdsDuring
(PastFn
(WhenFn ?CC))
(possesses ?A ?O))
(losesControl ?CC ?A)))) |
MilitaryProcesses.kif 559-575 |
If X is an instance of recovery operation, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exists W such that W is an instance of change of control (2) W happens earlier than X (3) Y is a patient of W (4) V is an agent of W (5) Z (6) V are enemies of each other (7) Z possesses Y holds during before the time of existence of W (8) Z loses physical control of some object during W |
