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

型{0}のエラーです。基底型の属性使用{1}にはREQUIRED指定がありますが，派生した型には一致する属性使用がありません。