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

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

(workingHours,cardiology,AnyEvent), 0:enable doctor<cardiology>
(AnyTime,cardiology,criticalPatient), enable doctor<cardiology>