e-props-correct.4: The {type definition} of element 'aa....aa' is not validly derived from the {type definition} of the substitutionHead 'bb....bb', or the {substitution group exclusions} property of 'bb....bb' does not allowed this derivation.

The type definition of the element aa....aa is not derived in a valid manner from the type definition of the head element bb....bb. Alternatively, the features of the substitution group exclusion of bb....bb do not allow this derivation.