This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The property tableau for complexType (3.4.2) says: {assertions} A sequence whose members are Assertions drawn from the following sources, in order: 1 The {assertions} of the {base type definition}. 2 Assertions corresponding to all the <assert> and <report> element information items among the [children], if any, in order. This ignores the <assert> and <report> elements defined as children of an <extension> or <restriction> within a <simpleContent> or <complexContent>. There doesn't seem to be anywhere else that says that these contribute to the {assertions} of the containing complex type.
WG discussed on 2007-03-28. Issue is correct. Expect as part of the next "Tree-trimming proposal (M)".
The schema working group adopted a proposal which takes into account <assertion> elements specified under <restriction> and <extension>. Accordingly, I'm marking this bug as "fixed". Michael, as the originator of this issue, please indicate whether the resolution is satisfactory to you, by either closing this bug, or reopening it.