This hierar-chy can be used when making access decisions.??? AA ??? Entities ?? A is a relation which represents the assign-ment of a set of attributes to each entity in the model.Constraints.Since access control policies in our system are expressed in first-order logic, it is easy to express and test queries over those policiesusing a backtracker that explores the state space of possible queryins