( ! [V__OBJ,V__EVENT] :
   (((s__defendant(V__EVENT,V__OBJ)
       &
       s__instance(s__defendant__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__defendant__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__detainee(V__EVENT,V__OBJ)
       &
       s__instance(s__detainee__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__detainee__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experimenter(V__EVENT,V__OBJ)
       &
       s__instance(s__experimenter__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experimenter__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__defenseLawyer(V__EVENT,V__OBJ)
       &
       s__instance(s__defenseLawyer__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__defenseLawyer__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__agent(V__EVENT,V__OBJ)
       &
       s__instance(s__agent__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__agent__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__plays(V__EVENT,V__OBJ)
       &
       s__instance(s__plays__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__plays__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__changesLocation(V__EVENT,V__OBJ)
       &
       s__instance(s__changesLocation__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__changesLocation__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__direction(V__EVENT,V__OBJ)
       &
       s__instance(s__direction__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__direction__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__controlled(V__EVENT,V__OBJ)
       &
       s__instance(s__controlled__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__controlled__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectOfBid(V__EVENT,V__OBJ)
       &
       s__instance(s__objectOfBid__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectOfBid__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__attends(V__EVENT,V__OBJ)
       &
       s__instance(s__attends__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__attends__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__passenger(V__EVENT,V__OBJ)
       &
       s__instance(s__passenger__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__passenger__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__resourceUsed(V__EVENT,V__OBJ)
       &
       s__instance(s__resourceUsed__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__resourceUsed__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__arrested(V__EVENT,V__OBJ)
       &
       s__instance(s__arrested__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__arrested__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__origin(V__EVENT,V__OBJ)
       &
       s__instance(s__origin__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__origin__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__serviceProvider(V__EVENT,V__OBJ)
       &
       s__instance(s__serviceProvider__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__serviceProvider__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__path(V__EVENT,V__OBJ)
       &
       s__instance(s__path__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__path__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__eventPartlyLocated(V__EVENT,V__OBJ)
       &
       s__instance(s__eventPartlyLocated__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__eventPartlyLocated__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__standardInputDevice(V__EVENT,V__OBJ)
       &
       s__instance(s__standardInputDevice__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__standardInputDevice__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__targetInAttack(V__EVENT,V__OBJ)
       &
       s__instance(s__targetInAttack__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__targetInAttack__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experimentalSubject(V__EVENT,V__OBJ)
       &
       s__instance(s__experimentalSubject__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experimentalSubject__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__moves(V__EVENT,V__OBJ)
       &
       s__instance(s__moves__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__moves__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__losesControl(V__EVENT,V__OBJ)
       &
       s__instance(s__losesControl__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__losesControl__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__destination(V__EVENT,V__OBJ)
       &
       s__instance(s__destination__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__destination__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__reagent(V__EVENT,V__OBJ)
       &
       s__instance(s__reagent__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__reagent__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__cargo(V__EVENT,V__OBJ)
       &
       s__instance(s__cargo__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__cargo__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__patient(V__EVENT,V__OBJ)
       &
       s__instance(s__patient__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__patient__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__witness(V__EVENT,V__OBJ)
       &
       s__instance(s__witness__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__witness__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectDetached(V__EVENT,V__OBJ)
       &
       s__instance(s__objectDetached__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectDetached__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__dataProcessed(V__EVENT,V__OBJ)
       &
       s__instance(s__dataProcessed__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__dataProcessed__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__suffers(V__EVENT,V__OBJ)
       &
       s__instance(s__suffers__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__suffers__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectTransferred(V__EVENT,V__OBJ)
       &
       s__instance(s__objectTransferred__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectTransferred__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__subclass(V__OBJ,s__Agent) &
         s__subclass(V__EVENT,s__Process))
       =>
       (((s__typicalAction(V__EVENT,V__OBJ)
           &
           s__instance(s__typicalAction__m,s__CaseRole) &
           s__instance(V__EVENT,s__Process) &
           s__instance(V__OBJ,s__Object))
         =>
         (s__playsRoleInEvent(V__OBJ,s__typicalAction__m,V__EVENT)))))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__broker(V__EVENT,V__OBJ)
       &
       s__instance(s__broker__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__broker__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__plaintiff(V__EVENT,V__OBJ)
       &
       s__instance(s__plaintiff__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__plaintiff__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__standardOutputDevice(V__EVENT,V__OBJ)
       &
       s__instance(s__standardOutputDevice__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__standardOutputDevice__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__computerRunning(V__EVENT,V__OBJ)
       &
       s__instance(s__computerRunning__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__computerRunning__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__judge(V__EVENT,V__OBJ)
       &
       s__instance(s__judge__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__judge__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__accountUsed(V__EVENT,V__OBJ)
       &
       s__instance(s__accountUsed__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__accountUsed__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__perpetrator(V__EVENT,V__OBJ)
       &
       s__instance(s__perpetrator__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__perpetrator__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__instrument(V__EVENT,V__OBJ)
       &
       s__instance(s__instrument__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__instrument__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectAttached(V__EVENT,V__OBJ)
       &
       s__instance(s__objectAttached__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectAttached__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__catalyst(V__EVENT,V__OBJ)
       &
       s__instance(s__catalyst__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__catalyst__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__conveyance(V__EVENT,V__OBJ)
       &
       s__instance(s__conveyance__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__conveyance__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__eventLocated(V__EVENT,V__OBJ)
       &
       s__instance(s__eventLocated__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__eventLocated__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__prosecutor(V__EVENT,V__OBJ)
       &
       s__instance(s__prosecutor__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__prosecutor__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__eCommerceSite(V__EVENT,V__OBJ)
       &
       s__instance(s__eCommerceSite__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__eCommerceSite__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__serviceRecipient(V__EVENT,V__OBJ)
       &
       s__instance(s__serviceRecipient__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__serviceRecipient__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__invadingVirus(V__EVENT,V__OBJ)
       &
       s__instance(s__invadingVirus__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__invadingVirus__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__resourceExhausted(V__EVENT,V__OBJ)
       &
       s__instance(s__resourceExhausted__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__resourceExhausted__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experiencer(V__EVENT,V__OBJ)
       &
       s__instance(s__experiencer__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experiencer__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experimentalControl(V__EVENT,V__OBJ)
       &
       s__instance(s__experimentalControl__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experimentalControl__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__amountOfBid(V__EVENT,V__OBJ)
       &
       s__instance(s__amountOfBid__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__amountOfBid__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__attorney(V__EVENT,V__OBJ)
       &
       s__instance(s__attorney__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__attorney__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__result(V__EVENT,V__OBJ)
       &
       s__instance(s__result__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__result__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__gainsControl(V__EVENT,V__OBJ)
       &
       s__instance(s__gainsControl__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__gainsControl__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__standardErrorDevice(V__EVENT,V__OBJ)
       &
       s__instance(s__standardErrorDevice__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__standardErrorDevice__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__evidence(V__EVENT,V__OBJ)
       &
       s__instance(s__evidence__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__evidence__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__contestParticipant(V__EVENT,V__OBJ)
       &
       s__instance(s__contestParticipant__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__contestParticipant__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__webVisitor(V__EVENT,V__OBJ)
       &
       s__instance(s__webVisitor__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__webVisitor__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__transported(V__EVENT,V__OBJ)
       &
       s__instance(s__transported__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__transported__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__referee(V__EVENT,V__OBJ)
       &
       s__instance(s__referee__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__referee__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__victim(V__EVENT,V__OBJ)
       &
       s__instance(s__victim__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__victim__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__reactant(V__EVENT,V__OBJ)
       &
       s__instance(s__reactant__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__reactant__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__resource(V__EVENT,V__OBJ)
       &
       s__instance(s__resource__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__resource__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   ((s__subclass(V__OBJ,s__IntentionalProcess) =>
       (((s__enjoys(V__EVENT,V__OBJ)
           &
           s__instance(s__enjoys__m,s__CaseRole) &
           s__instance(V__EVENT,s__Process) &
           s__instance(V__OBJ,s__Object))
         =>
         (s__playsRoleInEvent(V__OBJ,s__enjoys__m,V__EVENT)))))
)
)

• If a case role a process and an object and the case role is an instance of case role and the process is an instance of process and the object is an instance of object,
• then the object plays role in event the case role for the process

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__objectDetached__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectDetached(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__attorney__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__attorney(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimenter__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimenter(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Motion) =>
       (((s__instance(s__moves__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__moves(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   (((s__instance(V__PROCESS,s__CognitiveAgent) &
         s__subclass(V__OBJ,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__enjoys(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Translocation) =>
       (((s__instance(s__changesLocation__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__changesLocation(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__origin__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__origin(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__objectAttached__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectAttached(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__CriminalAction) =>
       (((s__instance(s__victim__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__victim(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChangeOfControl) =>
       (((s__instance(s__losesControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__losesControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__catalyst__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__catalyst(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimentalSubject__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimentalSubject(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transfer) =>
       (((s__instance(s__objectTransferred__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectTransferred(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Game) =>
       (((s__instance(s__plays__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__plays(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__defenseLawyer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__defenseLawyer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ServiceProcess) =>
       (((s__instance(s__serviceRecipient__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__serviceRecipient(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
       (((s__instance(s__arrested__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__arrested(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__eventPartlyLocated__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eventPartlyLocated(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__CriminalAction) =>
       (((s__instance(s__perpetrator__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__perpetrator(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ViralCellInvasion) =>
       (((s__instance(s__invadingVirus__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__invadingVirus(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Agent) =>
       (((s__instance(s__webVisitor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__webVisitor(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   (((s__instance(V__PROCESS,s__Physical) &
         s__subclass(V__PROCESS,s__Process) &
         s__subclass(V__OBJ,s__Agent))
       =>
       (((s__instance(s__typicalAction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__typicalAction(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Demonstrating) =>
       (((s__instance(s__attends__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__attends(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__resource__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resource(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__FinancialTransaction) =>
       (((s__instance(s__eCommerceSite__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eCommerceSite(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimentalControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimentalControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transportation) =>
       (((s__instance(s__transported__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__transported(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Bidding) =>
       (((s__instance(s__objectOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectOfBid(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__direction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__direction(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__evidence__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__evidence(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__eventLocated__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eventLocated(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Contest) =>
       (((s__instance(s__contestParticipant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__contestParticipant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__patient__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__patient(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardErrorDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardErrorDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__targetInAttack__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__targetInAttack(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ServiceProcess) =>
       (((s__instance(s__serviceProvider__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__serviceProvider(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__resourceExhausted__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resourceExhausted(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__instrument__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__instrument(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__plaintiff__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__plaintiff(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__result__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__result(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__prosecutor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__prosecutor(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transfer) =>
       (((s__instance(s__passenger__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__passenger(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Confining) =>
       (((s__instance(s__detainee__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__detainee(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__destination__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__destination(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__experiencer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experiencer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__agent__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__agent(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__AchievingControl) =>
       (((s__instance(s__controlled__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__controlled(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__witness__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__witness(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__resourceUsed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resourceUsed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__reagent__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__reagent(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__reactant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__reactant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__defendant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__defendant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardOutputDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardOutputDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Shipping) =>
       (((s__instance(s__cargo__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__cargo(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__AchievingControl) =>
       (((s__instance(s__gainsControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__gainsControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__computerRunning__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__computerRunning(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Bidding) =>
       (((s__instance(s__amountOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__amountOfBid(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardInputDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardInputDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__suffers__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__suffers(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__FinancialTransaction) =>
       (((s__instance(s__broker__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__broker(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__accountUsed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__accountUsed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transportation) =>
       (((s__instance(s__conveyance__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__conveyance(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Motion) =>
       (((s__instance(s__path__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__path(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__dataProcessed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__dataProcessed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
       (((s__instance(s__arrestingOfficer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__arrestingOfficer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Game) =>
       (((s__instance(s__referee__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__referee(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

• If an entity is an instance of case role and another entity is an instance of object and the entity a physical and the other entity,
• then there exists a time point such that the place where the physical was at the time point and the other entity is overlapsSpatially

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerOutputDevice))
       =>
       (((s__instance(s__standardErrorDevice__m,s__CaseRole) &
             s__standardErrorDevice(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__standardErrorDevice__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__PlacingUnderArrest) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__arrested__m,s__CaseRole) &
             s__arrested(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__arrested__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__defendant__m,s__CaseRole) &
             s__defendant(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__defendant__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__instrument__m,s__CaseRole) &
             s__instrument(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__instrument__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__evidence__m,s__CaseRole) &
             s__evidence(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__evidence__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__attorney__m,s__CaseRole) &
             s__attorney(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__attorney__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__experiencer__m,s__CaseRole) &
             s__experiencer(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experiencer__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__UserAccount))
       =>
       (((s__instance(s__accountUsed__m,s__CaseRole) &
             s__accountUsed(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__accountUsed__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__resource__m,s__CaseRole) &
             s__resource(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__resource__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__AchievingControl) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__controlled__m,s__CaseRole) &
             s__controlled(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__controlled__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Translocation) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__changesLocation__m,s__CaseRole) &
             s__changesLocation(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__changesLocation__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__PlacingUnderArrest) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__arrestingOfficer__m,s__CaseRole) &
             s__arrestingOfficer(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__arrestingOfficer__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__AchievingControl) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__gainsControl__m,s__CaseRole) &
             s__gainsControl(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__gainsControl__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectDetached__m,s__CaseRole) &
             s__objectDetached(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectDetached__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ServiceProcess) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__serviceRecipient__m,s__CaseRole) &
             s__serviceRecipient(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__serviceRecipient__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Demonstrating) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__attends__m,s__CaseRole) &
             s__attends(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__attends__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transportation) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__transported__m,s__CaseRole) &
             s__transported(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__transported__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__targetInAttack__m,s__CaseRole) &
             s__targetInAttack(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__targetInAttack__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChangeOfControl) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__losesControl__m,s__CaseRole) &
             s__losesControl(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__losesControl__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerResource))
       =>
       (((s__instance(s__resourceUsed__m,s__CaseRole) &
             s__resourceUsed(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__resourceUsed__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Shipping) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__cargo__m,s__CaseRole) &
             s__cargo(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__cargo__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Experimenting) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__experimentalControl__m,s__CaseRole) &
             s__experimentalControl(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experimentalControl__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__judge__m,s__CaseRole) &
             s__judge(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__judge__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__origin__m,s__CaseRole) &
             s__origin(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__origin__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__PositionalAttribute) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__direction__m,s__CaseRole) &
             s__direction(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__direction__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__eventPartlyLocated__m,s__CaseRole) &
             s__eventPartlyLocated(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__eventPartlyLocated__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__eventLocated__m,s__CaseRole) &
             s__eventLocated(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__eventLocated__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__FinancialTransaction) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__broker__m,s__CaseRole) &
             s__broker(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__broker__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Contest) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__contestParticipant__m,s__CaseRole) &
             s__contestParticipant(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__contestParticipant__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectAttached__m,s__CaseRole) &
             s__objectAttached(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectAttached__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Motion) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__moves__m,s__CaseRole) &
             s__moves(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__moves__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ViralCellInvasion) &
         s__instance(V__ARG2,s__Virus))
       =>
       (((s__instance(s__invadingVirus__m,s__CaseRole) &
             s__invadingVirus(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__invadingVirus__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChemicalProcess) &
         s__instance(V__ARG2,s__Substance))
       =>
       (((s__instance(s__reactant__m,s__CaseRole) &
             s__reactant(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__reactant__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Confining) &
         s__instance(V__ARG2,s__Animal))
       =>
       (((s__instance(s__detainee__m,s__CaseRole) &
             s__detainee(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__detainee__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__CriminalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__perpetrator__m,s__CaseRole) &
             s__perpetrator(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__perpetrator__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__FinancialTransaction) &
         s__instance(V__ARG2,s__WebSite))
       =>
       (((s__instance(s__eCommerceSite__m,s__CaseRole) &
             s__eCommerceSite(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__eCommerceSite__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChemicalProcess) &
         s__instance(V__ARG2,s__Substance))
       =>
       (((s__instance(s__catalyst__m,s__CaseRole) &
             s__catalyst(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__catalyst__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__defenseLawyer__m,s__CaseRole) &
             s__defenseLawyer(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__defenseLawyer__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transfer) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__passenger__m,s__CaseRole) &
             s__passenger(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__passenger__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__suffers__m,s__CaseRole) &
             s__suffers(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__suffers__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerInputDevice))
       =>
       (((s__instance(s__standardInputDevice__m,s__CaseRole) &
             s__standardInputDevice(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__standardInputDevice__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Bidding) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectOfBid__m,s__CaseRole) &
             s__objectOfBid(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectOfBid__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__Computer))
       =>
       (((s__instance(s__computerRunning__m,s__CaseRole) &
             s__computerRunning(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__computerRunning__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Motion) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__path__m,s__CaseRole) &
             s__path(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__path__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__result__m,s__CaseRole) &
             s__result(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__result__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__destination__m,s__CaseRole) &
             s__destination(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__destination__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChemicalProcess) &
         s__instance(V__ARG2,s__Substance))
       =>
       (((s__instance(s__reagent__m,s__CaseRole) &
             s__reagent(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__reagent__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__agent__m,s__CaseRole) &
             s__agent(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__agent__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transfer) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectTransferred__m,s__CaseRole) &
             s__objectTransferred(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectTransferred__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__CriminalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__victim__m,s__CaseRole) &
             s__victim(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__victim__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Experimenting) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__experimenter__m,s__CaseRole) &
             s__experimenter(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experimenter__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ServiceProcess) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__serviceProvider__m,s__CaseRole) &
             s__serviceProvider(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__serviceProvider__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__DigitalData))
       =>
       (((s__instance(s__dataProcessed__m,s__CaseRole) &
             s__dataProcessed(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__dataProcessed__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__subclass(V__ARG1,s__Process) &
         s__subclass(V__ARG2,s__Agent) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__typicalAction__m,s__CaseRole) &
             s__typicalAction(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__typicalAction__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerOutputDevice))
       =>
       (((s__instance(s__standardOutputDevice__m,s__CaseRole) &
             s__standardOutputDevice(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__standardOutputDevice__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Game) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__plays__m,s__CaseRole) &
             s__plays(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__plays__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__resourceExhausted__m,s__CaseRole) &
             s__resourceExhausted(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__resourceExhausted__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Bidding) &
         s__instance(V__ARG2,s__Object) &
         s__instance(V__ARG2,s__CurrencyMeasure))
       =>
       (((s__instance(s__amountOfBid__m,s__CaseRole) &
             s__amountOfBid(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__amountOfBid__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__CognitiveAgent) &
         s__instance(V__ARG2,s__Object) &
         s__subclass(V__ARG2,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__CaseRole) &
             s__enjoys(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__enjoys__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Experimenting) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__experimentalSubject__m,s__CaseRole) &
             s__experimentalSubject(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experimentalSubject__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Game) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__referee__m,s__CaseRole) &
             s__referee(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__referee__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transportation) &
         s__instance(V__ARG2,s__TransportationDevice))
       =>
       (((s__instance(s__conveyance__m,s__CaseRole) &
             s__conveyance(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__conveyance__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__patient__m,s__CaseRole) &
             s__patient(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__patient__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__prosecutor__m,s__CaseRole) &
             s__prosecutor(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__prosecutor__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__plaintiff__m,s__CaseRole) &
             s__plaintiff(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__plaintiff__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Agent) &
         s__instance(V__ARG2,s__WebSite))
       =>
       (((s__instance(s__webVisitor__m,s__CaseRole) &
             s__webVisitor(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__webVisitor__m,V__ARG2)))))
)
)

• If a case role is an instance of case role and the case role an entity and an object and the entity is an instance of a kind of process and a kind of process is a subclass of process,
• then the object is capable of doing the kind of process as a the case role

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChangeOfControl))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__losesControl__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__losesControl(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__losesControl__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__subclass(V__OBJECT,s__Agent) &
         s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process) &
         s__subclass(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__typicalAction__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__typicalAction(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__typicalAction__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Demonstrating))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__attends__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__attends(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__attends__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__prosecutor__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__prosecutor(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__prosecutor__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__AchievingControl))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__gainsControl__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__gainsControl(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__gainsControl__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__resourceExhausted__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__resourceExhausted(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__resourceExhausted__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__instrument__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__instrument(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__instrument__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Experimenting))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experimenter__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experimenter(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experimenter__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ServiceProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__serviceProvider__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__serviceProvider(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__serviceProvider__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectAttached__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectAttached(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectAttached__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__accountUsed__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__accountUsed(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__accountUsed__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Motion))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__path__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__path(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__path__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__standardOutputDevice__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__standardOutputDevice(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__standardOutputDevice__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__standardErrorDevice__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__standardErrorDevice(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__standardErrorDevice__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__CriminalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__victim__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__victim(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__victim__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__dataProcessed__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__dataProcessed(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__dataProcessed__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Shipping))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__cargo__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__cargo(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__cargo__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__defendant__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__defendant(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__defendant__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__eventPartlyLocated__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__eventPartlyLocated(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__eventPartlyLocated__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Game))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__referee__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__referee(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__referee__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__subclass(V__OBJECT,s__IntentionalProcess) &
         s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process) &
         s__instance(V__EVENT,s__CognitiveAgent))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__enjoys__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__enjoys(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__enjoys__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__standardInputDevice__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__standardInputDevice(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__standardInputDevice__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChemicalProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__reagent__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__reagent(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__reagent__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__suffers__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__suffers(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__suffers__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Translocation))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__changesLocation__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__changesLocation(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__changesLocation__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChemicalProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__catalyst__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__catalyst(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__catalyst__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transportation))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__conveyance__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__conveyance(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__conveyance__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Contest))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__contestParticipant__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__contestParticipant(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__contestParticipant__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transportation))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__transported__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__transported(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__transported__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__eventLocated__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__eventLocated(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__eventLocated__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__witness__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__witness(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__witness__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__evidence__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__evidence(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__evidence__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Game))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__plays__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__plays(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__plays__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__PlacingUnderArrest))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__arrestingOfficer__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__arrestingOfficer(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__arrestingOfficer__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ViralCellInvasion))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__invadingVirus__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__invadingVirus(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__invadingVirus__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__plaintiff__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__plaintiff(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__plaintiff__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__judge__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__judge(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__judge__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transfer))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectTransferred__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectTransferred(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectTransferred__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Experimenting))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experimentalControl__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experimentalControl(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experimentalControl__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ServiceProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__serviceRecipient__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__serviceRecipient(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__serviceRecipient__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Motion))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__moves__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__moves(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__moves__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__origin__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__origin(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__origin__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__FinancialTransaction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__broker__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__broker(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__broker__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__AchievingControl))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__controlled__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__controlled(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__controlled__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experiencer__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experiencer(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experiencer__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__FinancialTransaction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__eCommerceSite__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__eCommerceSite(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__eCommerceSite__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transfer))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__passenger__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__passenger(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__passenger__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__defenseLawyer__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__defenseLawyer(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__defenseLawyer__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Bidding))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__amountOfBid__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__amountOfBid(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__amountOfBid__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Bidding))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectOfBid__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectOfBid(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectOfBid__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__attorney__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__attorney(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__attorney__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__computerRunning__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__computerRunning(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__computerRunning__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__PlacingUnderArrest))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__arrested__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__arrested(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__arrested__m,V__OBJECT,V__REGION)))))
)
)