エラー C2069: '%1!.1023s!': %2!.1023s! 制約には、競合する一意性制約のパターンを持つロール シーケンスが含まれています。
エラー C2042: '%1!.1023s!': イントランジティブ制約が 述語の簡単な一意性制約および %2!.1023s! 制約によって暗黙に設定されています
エラー 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!' によってエイリアスされたオブジェクト型は ビルトイン型 名前あり行型 または他の区別型でなければなりません