( ! [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

• If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of process,
• then the statement there exist an entity and another entity such that the other entity is an element of belongings of the cognitive agent and the cognitive agent is an agent of the entity and the other cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or a third entity is an instance of a fourth entity and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility

• If a class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent,
• then the agent is price 0 united states dollar(s) for the cognitive agent

• If use of a class is free for a cognitive agent and an agent is an instance of the class and the cognitive agent is a customer of another cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent,
• then the agent is price 0 united states dollar(s) for the cognitive agent

• If use of a class is free for a kind of hotel unit and the class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process,
• then the process is price 0 united states dollar(s) for the agent

• If use of a class is free for a kind of hotel unit and the class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence,
• then the process is price 0 united states dollar(s) for the agent

• If a process is an instance of commenting and an entity is an instance of process and the entity is a patient of the process,
• then there exist an agent, another process and a third process such that the agent is an instance of agent and the other process is an instance of speaking and the third process is an instance of looking and the agent is an agent of the other process and the agent is an agent of the third process and the entity is a patient of the third process and the other process includes a reference to the entity

• If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process,
• then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process

• If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process,
• then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely

• If a physical is an instance of process and the measure of the physical is a physical quantity,
• then the physical quantity is an instance of time dependent quantity

• If a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical,
• then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the physical

• If a process is an instance of process and the process is located at 2 and another process is a subprocess of the process,
• then the other process is located at 2

• If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an AccessingWebPage is an instance of AccessingWebPage and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the AccessingWebPage and the time interval takes place during the AccessingWebPage and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the AccessingWebPage and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the AccessingWebPage is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical,
• then the time of the AccessingWebPage in the class the time interval_CLASS is equal to the physical

• If a process is an instance of process and a physical is a patient of the process and the physical is an instance of water and the measure of the physical is a real number PH value(s),
• then the real number is less than 5.6

( ! [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

• If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting,
• then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process

• If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting,
• then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the experimenting

• If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting,
• then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the experimenting

• If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process
  • if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer,
  • then the kind of process is a member of the collection
  and
  • if another kind of process is a member of the collection,
  • then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process as a experiencer
  ,
• then all the processes the human is qualified for is equal to the collection

• If members of a collection have the measure a time duration in terms of a measurement attribute and the collection is an instance of set and an agent is a member of the collection and a kind of process is an instance of process and the agent is an agent of a kind of process,
• then the kind of process occurs every the time duration

• If members of a class have the measure a time duration in terms of Frequency and the class is an instance of class and an agent is an instance of the class and a kind of process is an instance of process and the agent is an agent of a kind of process,
• then the kind of process occurs every the time duration

• If a kind of physical is a natural hazard type in area of a geographic area and a kind of physical is a subclass of process,
• then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the geographic area and the time of existence of the geographic area overlaps the time of existence of the other physical

• If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process,
• then the agent is capable of doing the other kind of process as a agent