derivation-ok-restriction.2.1.3.b: Error for type 'aa....aa'. The attribute use 'bb....bb' in this type has an effective value constraint fixed with a value of 'cc....cc', which is not consistent with the value of 'dd....dd' for the fixed effective value constraint of the matching attribute use in the base type.

This is an error for type aa....aa. The attribute usage bb....bb in this type has an effective value constraint with a fixed value of cc....cc. This value contradicts the value dd....dd for the fixed effective value constraint of the matching attribute usage in the base type.