derivation-ok-restriction.5.4.2: Error for type '{0}'. The particle of the type is not a valid restriction of the particle of the base.

型{0}のエラーです。型のパーティクルは基底のパーティクルの不正な制限です。