XML schema draft comments: 3.2.6.1 wording problem

Regarding the draft at
http://www.w3.org/TR/2004/PER-xmlschema-2-20040318/:

Section 3.2.6.1 says:

   The designator 'T' must be absent if and only if all of the time
   items are absent.

That doesn't seem to say what it was meant to say, or at least is
ambiguous and/or unclear.

Possibly the wording should say:

    The designator 'T' must be absent if, and may be absent only if,
    all of the time items are absent.

(The wording:

   The designator 'T' must be absent if and only if all of the time
   items are absent.

can be taken as:

   (The designator 'T' must be absent) if and only if (all of the time
   items are absent).

although the intent (and another way of interpreting the English)
seems to be:

   The designator 'T' must be such that ((T is absent) if and only if
   (all of the time items are absent)).


Note how, in the first interpretation, if any items are present,
T is not required to be absent, but since T isn't required to
be present, T could still be absent.




Daniel

Received on Wednesday, 9 June 2004 17:48:23 UTC