This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
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"