4240 2007-01-17 01:36:23 +0000 Title: The distribution example does not follow the axioms in Section 4.3.3 2007-01-18 00:02:06 +0000 1 1 1 Unclassified WS-Policy Framework LC PC Windows XP RESOLVED FIXED P2 normal --- 1 umit.yalcinalp fsasaki public-ws-policy-qa oldest_to_newest 13639 0 umit.yalcinalp 2007-01-17 01:36:23 +0000 Title: The distribution example does not follow the axioms in Section 4.3.3 Description: The following example exists in the specification in Section 4.3.3. However, the distribution rules do not indicate how you derive an empty policy expression with <wsp:ExactlyOne/>. { Distributing wsp:All over an empty wsp:ExactlyOne is equivalent to no alternatives. For example, (01) <wsp:All> (02) <wsp:ExactlyOne> (03) <!-- assertion 1 --> (04) <!-- assertion 2 --> (05) </wsp:ExactlyOne> (06) <wsp:ExactlyOne /> (07) </wsp:All>is equivalent to: (01) <wsp:ExactlyOne /> } The equivalence should be derivable by the rules listed in the specification. Justification: Confusing for the readers, the specification should be consistent with its own definition. Proposal: Illustrate the steps for the derivation of this expression or remove the example from the spec. 13684 1 chrisfer 2007-01-18 00:02:06 +0000 See http://www.w3.org/2007/01/17-ws-policy-irc#T00-01-01 RESOLUTION: Close issue 4240 with "In section 4.3.3 put the base case described in http://lists.w3.org/Archives/Public/public-ws-policy/2007Jan/0173.html prior to current example identified in the issue"