오류 C2043: '%1!.1023s!' : 링 제약 조건은 같은 개체 형식에 의해 수행되는 동일한 조건부의 두 역할에 대해서만 표현됩니다.
오류 C2034: '%1!.1023s!' : 고유성 제약 조건에 의해 제한된 동일한 역할 시퀀스에서는 빈도 제약 조건이 지정될 수 없습니다.
오류 C2035: '%1!.1023s!' : 역할이 하위 집합/동등 제약 조건 없이 필수적이어야 하거나 필수 제약 조건을 반대쪽 끝에서 제거해야 합니다.
오류 C2038: '%1!.1023s!' : 동등 제약 조건은 시퀀스 %2!.1023s!에서 시퀀스 %3!.1023s! 사이의 하위 집합 제약 조건이어야 합니다.
오류 C2042: '%1!.1023s!' : 조건부의 단순 고유성 및 %2!.1023s! 제약 조건에는 자동사 제약 조건이 내포되어 있습니다.
오류 C2043: '%1!.1023s!' : 링 제약 조건은 같은 개체 형식에 의해 수행되는 동일한 조건부의 두 역할에 대해서만 표현됩니다.
오류 C2049: '%1!.1023s!' : 조건부가 정의되지 않은 '외부'입니다. 이 텍스트를 갖는 하나 이상의 조건부가 외부가 아니어야 합니다.
오류 C2065: 동일한 하위 형식 그래프에서 하위 형식 링크가 다른 개체 형식의 참조 구성표에 사용된 개체 형식을 포함합니다.
오류 C2069: '%1!.1023s!' : %2!.1023s! 제약 조건에 충돌하는 고유성 제약 조건 패턴이 있는 역할 시퀀스가 포함되어 있습니다.
오류 C2070: '%1!.1023s!' : 두 팩트를 포함하는 동등 제약 조건의 채움 결과가 같아집니다. 팩트 중 하나를 제거해야 합니다.