Anesthesiologist<operatingRoom> = role(
  (read,patientRecords,PositionIn(property:patient-position,parameter:operatingRoom) and EventVisibleIn(parameter:operatingRoom,event:surgeonInOR))

).

(AnyTime,or1,AnyEvent), enable Anesthesiologist<or1>