8.2.3.1.1 [Static semantics of] Name Tests rule 14 / premise 2 statEnv |- QName1 of elem/type expands to expanded-QName1 Since QName1 is the name of an attribute type, change "of elem/type expands to" to "of attr expands to"
This issue has been incorporated into FS erratum E018, whose fix has been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.