--- Another question: I know that I can use subject relations to declare that a relation must be a set of objects marked as a relation on another entity (like here: https://authzed.com/blog/user-defined-roles#computing-permissions-from-relations), but is there any way to do something like this:

definition person {}

definition business {
    relation owner: person
    relation employee: person
}

definition bonus {
    relation parent_business: business
    relation bonus_granter: parent_business#owner //something like this
    relation bonus_receiver: parent_business#employee //something like this
}

To clarify, is there any way to declare that

bonus_granter

must not just be

owner

of any

business

, but must specifically be

owner

of

parent_business

?