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.