The @class attribute of <attRef> is defined as a teidata.word. That seems odd, because the ODD construct it must match is the @ident of a <classSpec>, which is defined as a teidata.name.
I believe it should be defined as teidata.name to match that of classSpec/@ident.
The
@classattribute of<attRef>is defined as a teidata.word. That seems odd, because the ODD construct it must match is the@identof a<classSpec>, which is defined as a teidata.name.I believe it should be defined as teidata.name to match that of
classSpec/@ident.