[Bug 6161] New: 3.10.6.2 Wildcard Subset

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

           Summary: 3.10.6.2 Wildcard Subset
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: cmsmcq@w3.org
        ReportedBy: mike@saxonica.com
         QAContact: www-xml-schema-comments@w3.org


I'm struggling to understand the structure of this contraint. 

It starts with a definition

"sub is a wildcard subset of super  if and only if  one of the following is
true..."

and then continues:

"And all of the following must be true..."

Is this part of the definition? (if so, why "must"?)

I would expect the structure here to be

... all of the following are true:

1 One of the following is true:
  1.1
  1.2
  1.3
  1.4
2 Each QName member of super.{disallowed names} is not allowed by sub..
3 If super.{disallowed names} contains defined, then...
4 If super.{disallowed names} contains sibling, then...

(Note also the use of apostrophe rather than dot in the last clause)


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Wednesday, 15 October 2008 12:21:33 UTC