エラー C2049: '%1!.1023s!': 述語が未定義の '外部' になっています。このテキストを含む述語のうち少なくとも 1 つは外部以外でなければなりません。
エラー C2035: '%1!.1023s!': サブセット/等値制約がない場合にはロールが必須になります または 反対側で必須制約を削除する必要があります
エラー C2038: '%1!.1023s!': 等値制約は %2!.1023s! シーケンスから %3!.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 つの要素のみです