cferris: Agreement that something crisp would
be appropriate, and an example using Adressing would be helpful
... and we should also add the statement on the top-level, direct, immediate
clarification

<TRutt__> The context of a top level
assertion type is global, while the context of a nested policy assertion type
is scoped within its parent assertion type. This is a significant
difference.

asir: Second issue, the role of policy and
vocabulary.
... the proposal is to clarify in the intersection section
... added a clarifying statement about the union of two compatible
vocabularies added to section 4.5
... discusses only "will not be applied", not "negation"

Tom: nothing is not compatible with anything

asir: there are no semantics of the empty
policy to the best of my knowledge