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

genericDoctor<> = role(
  (read,medicalEquipment,EventGeneratedBy(event:medicalEmergency,property:equipment-of) and AreNear())
).

doctor<dept> = role(
  genericDoctor<>;
  (read,patientRecords,ValueMatch(property:dept,parameter:dept))
).

(AnyTime,AnyPlace,AnyEvent), enable genericDoctor<>
(AnyTime,AnyPlace,AnyEvent), disable doctor<Any>
(WorkingHours,neurosurgery,AnyEvent), enable doctor<neurosurgery>
