e-props-correct.4: The {type definition} of element '{0}' is not validly derived from the {type definition} of the substitutionHead '{1}', or the {substitution group exclusions} property of '{1}' does not allowed this derivation.

要素{0}の型定義は，ヘッド要素{1}の型定義から正当に派生しません。または，{1}の代替グループ排除の特性はこの派生を許可しません。