This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 24503 - Ambiguous rule #5 under Combined Posture definition
Summary: Ambiguous rule #5 under Combined Posture definition
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-02-05 03:16 UTC by Abel Braaksma
Modified: 2014-02-16 20:43 UTC (History)
1 user (show)

See Also:


Attachments

Description Abel Braaksma 2014-02-05 03:16:21 UTC
Under the definition of Combined Posture (http://www.w3.org/TR/xslt-30/#dt-combined-posture), the fifth term reads:

"If one or more of the input postures is crawling and the remainder (if any) are either striding or grounded, then the combined posture is crawling."

The ambiguity is with "either". To me, it can mean anyone of those:

a) either the remainder are all striding, or the remainder are all grounded (excludes both)
b) any of the remainder can be either striding or grounded (includes both)

Obviously, for a choice operand group, the rule should be (b), because grounded is not in the way of streamability here.
Comment 1 C. M. Sperberg-McQueen 2014-02-11 15:00:51 UTC
We discussed this in Prague, without notable success in finding an alternative formulation that was less ambiguous than the current wording (which the WG took to require interpretation (b)).

- and each of the remaining input postures is either ... ?

- and each of the others ... ?

- and none of the others is climbing or free-ranging 

We left this to the editor's discretion.
Comment 2 Michael Kay 2014-02-16 20:43:02 UTC
I decided to go with "each of the remainder (if any) is either X or Y".