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

型{0}のエラーです。基底型定義{1}のfinalの値は，制限によって派生を禁止しています。