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

(AnyTime,cardiology,AnyEvent), enable doctor<cardiology>