derivation-ok-restriction.3: Error for type 'aa....aa'. The attribute use 'bb....bb' in the base type has REQUIRED as true, but there is no matching attribute use in the derived type.

This is an error for type aa....aa. The attribute usage bb....bb of the base type has a REQUIRED specification, but there is no matching attribute usage in the derived type.