“…A rule is a tuple subjectType, subjectCondition, resourceType, resourceCondition, constraint, actions , where subjectType and resourceType are class names, subjectCondition and resourceCondition are conditions, constraint is a constraint, actions is a set of actions. A rule must satisfy several well-formedness requirements [BSL19b]. For a rule ρ = st, sc, rt, rc, c, A , let sType(ρ) = st, sCond(ρ) = sc, rType(ρ) = rt, rCond(ρ) = rc, con(ρ) = c, and acts(ρ) = A.…”