\+userPermission([alice,7],edit_patient_records,patient1).
\+userPermission(dave,view_patient_records,patient1).
userPermission(alice,view_patient_records,patient1).
userPermission(alice,edit_patient_records,patient1).
userPermission(alice,access_medications,patient1).
userPermission(bob,view_patient_records,patient2).
userPermission(alice,view_patient_records,patient3).
userPermission(bob,view_patient_records,patient3).
