[Bug 2223] R-231: Enumeration restrictions are unclear

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2223


davep@iit.edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |DUPLICATE




------- Comment #2 from davep@iit.edu  2006-11-04 22:19 -------
(In reply to comment #1)

> As best I can tell, it must be either 1 or 3, and is presumably is
> implementation-dependent which.

Further information:  In the definition of "constitutes a restriction" (from
Part 1, Structures), line two ("2 Every facet in B is in R, unless it is of the
same kind as some facet in S."):  If you interpret the word "unless" as meaning
not only that B need not be in R but must not be in R, then that precludes more
than one of any kind of facet in {facets}.

I think we might want to reword that definition in Part 1, and also at least
put a note in Part 2 explaining the result.

In any case, this bug seems to be a duplicate of bug 2246, so I'm closing this
one.  I'll try to put a more complete explanation of how I got to this
conclusion in the comments for that bug.

*** This bug has been marked as a duplicate of bug 2246 ***

Received on Saturday, 4 November 2006 22:20:01 UTC