Summary
Syntax and semantics of the extended policy language taking into account the feedback of use cases, plus a complexity analysis pointing out the possible intractability of some reasoning tasks.
More information & hyperlinks