- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 20 Jul 2005 02:20:18 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1776 Summary: [FS] editorial: 8.2.2.2 Dynamic semantics of axes Product: XPath / XQuery / XSLT Version: Last Call drafts Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: Formal Semantics AssignedTo: simeon@us.ibm.com ReportedBy: jmdyck@ibiblio.org QAContact: public-qt-comments@w3.org 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)
Received on Wednesday, 20 July 2005 02:20:22 UTC