Re: My rewrite of Section 7 without notes

I think it works better to express the restrictions of (what was) 7.1 in 
terms of excluded paths, as I have done in the new draft, rather than via a 
BNF.

The excluded path notation allows us to directly, straightforwardly and 
rigourously capture the intent of the various restrictions.  For example, 
to disallow attributes inside elements we just have an excluded path of

  element//attribute

Whereas with the BNF that restriction is mixed in with a number of other 
restrictions and then expressed indirectly via a number of productions.

This approach also avoids repeating information that is already given in 
the grammar in Section 5.

James