Question

Using the syntax in section 2.3, write a command delete_all_rights (p, q, s). this command causes p to delete all rights the subject q has over an object s.

Answer 1

command delete_all_rights(p, q, s)
delete read from a[q, s];
delete write from a[q, s];
delete execute from a[q, s];
delete append from a[q, s];
delete list from a[q, s];
delete modify from a[q, s];
delete own from a[q, s];
end