@prefix : <https://eyereasoner.github.io/ns#>.

true :obligation {
    :agent2 :complete_task :task1.
}.
true :permission {
    :agent2 :execute_task :task1.
}.
true :obligation {
    :agent1 :escalate_task :task1.
}.
true :violation :task1.
true :sanction :agent2.
