HI! Is there an ABAC example that I can look at? I tried modelling an

attribute

as an object but I don't think my permission expression is correct. I am assuming an "exist" operator which I am not sure works.

definition user {}
definition attribute {}

definition group {
    relation member: user
    relation special: attribute
    permission special_access =  member & special 
}