24537 2014-02-05 22:41:04 +0000 Ambiguous rule #4 in union, intersect, except expressions streamability 2014-02-24 14:58:02 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts PC Windows NT CLOSED FIXED P2 normal --- 1 abel.braaksma mike public-qt-comments oldest_to_newest 99840 0 abel.braaksma 2014-02-05 22:41:04 +0000 nder 19.8.7.4 Streamability of union, intersect, and except expressions (http://www.w3.org/TR/xslt-30/#streamability-of-union-expressions), the 4th numbered item in the list, we write: "If both operands are striding or crawling, then crawling and the wider of the sweeps of the two operands (Example: * | */*)." Does this mean a) if both operands are striding or both operands are crawling b) if one of the operands is striding and the other crawling c) if the operands are either striding or crawling or both I think we can rule out (b), and I think it should be (c) (based on the example given). 99923 1 mike 2014-02-06 17:58:09 +0000 It's intended to mean if (every operand O satisfies (O is crawling or O is striding)) I think a different reading would be hard to justify, and I guess the example was added just in case there was any doubt. It's a bit difficult to find a more rigorous wording that isn't turgid to read, but I'll go with if the first operand is striding or crawling and the second operand is also striding or crawling, then...