st-props-correct.3: Error for type 'aa....aa'. The value of {final} of the {base type definition}, 'bb....bb', forbids derivation by restriction.

This is an error for the type aa....aa. The value of final of the base type definition bb....bb prohibits derivation by restriction.