This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
8.2.2.2 Dynamic semantics of axes Sem / rule 5 / conclusion "axis attribute:: of ElementName { AttributeValue,ElementValue }" After "of", insert "element". (leftover from last year, comment #213) (very last line of the section) "dynEnv |- axis Axis of NodeValue => () otherwise." Presentationally, this looks like a judgment form declaration. It would be nice if you could at least make it *look* like an inference rule. E.g., have a single premise saying "otherwise". (leftover from last year, comment #214)
First comment fixed as suggested. Second comment: removed 'otherwise' and added some clarification in the text before. - Jerome
Re second comment: It would still be nice if you could make it look like an inference rule, as you did at the end of 8.2.3.1.2 (in response to Bug 1778) and 8.2.3.2.2 (in response to Bug 1780).
The request in the previous comment has been entered as FS erratum E034, and the change has been committed to the source files for the next edition of the FS document. Since that was the only unresolved point in this issue, I'm marking it resolved-FIXED, and CLOSED.