TimeExp WorkingHours = (, {1-53}*Weeks+{2-6}*Days+{9;14}*Hours>{4}*Hours)

nurse<dept> = role(
  (read,patientRecords,ValueMatch(property:dept,parameter:dept))  
).

scrub_nurse<dept,operatingRoom> = role(
  nurse<dept>;
  (use,ORTools,ValueMatch(property:instrument-of,parameter:operatingRoom)) 
).

(WorkingHours,neurology,AnyEvent), enable nurse<neurology>
(AnyTime, neurology,AnyEvent), disable scrub_nurse<Any,Any>
(WorkingHours,or2,AnyEvent), enable scrub_nurse<neurology,or2>
