エラー C2070: '%1!.1023s!': 2 つのファクトを含む等値制約では 結果が同じになります ファクトの 1 つを削除する必要があります

エラー C2070: '%1!.1023s!': 2 つのファクトを含む等値制約では、結果が同じになります。ファクトの 1 つを削除する必要があります。
エラー C2043: '%1!.1023s!': リング制約を設定できるのは 同じオブジェクト型によって実行される 同一述語の 2 つのロールに対してのみです エラー C2049: '%1!.1023s!': 述語が未定義の '外部' になっています このテキストを含む述語のうち少なくとも 1 つは外部以外でなければなりません エラー C2065: サブタイプ リンクに 同じサブタイプ グラフにある他のオブジェクト型の参照スキーマで使用されるオブジェクト型が含まれています エラー C2069: '%1!.1023s!': %2!.1023s! 制約には 競合する一意性制約のパターンを持つロール シーケンスが含まれています エラー C2070: '%1!.1023s!': 2 つのファクトを含む等値制約では 結果が同じになります ファクトの 1 つを削除する必要があります エラー C2103: '%1!.1023s!': エイリアス オブジェクト型 '%2!.1023s!' が主一意性制約を使用して識別できるのは 1 つの要素のみです エラー C2104: '%1!.1023s!': '%2!.1023s!' によってエイリアスされたオブジェクト型は ビルトイン型 名前なし行型 またはコレクション型でなければなりません エラー C2105: '%1!.1023s!': '%2!.1023s!' によってエイリアスされたオブジェクト型は ビルトイン型 名前あり行型 または他の区別型でなければなりません エラー C2112: '%1!.1023s!': 型が指定されたオブジェクト型 '%2!.1023s!' を 他のオブジェクト型の属性でもある 型が指定されていないオブジェクト型の主参照スキーマに使用することはできません