Title
s

Singha1

12/06/2022, 7:10 PM
definition role { relation assigned : group relation supervisor : role permission perform = supervisor + supervisor->perform } definition resource { relation performer : role#assigned permission perform = performer + (performer -> perform) }