erreur C2042 : %1!.1023s! : la contrainte intransitive est impliquée par une unicité simple et une contrainte %2!.1023s! sur le prédicat.
erreur C2032 : %1!.1023s! : une contrainte intransitive appliquée à un prédicat binaire avec une contrainte d'unicité simple ...
erreur C2034 : %1!.1023s! : la contrainte de fréquence ne peut pas être appliquée à une séquence de rôles à laquelle une ...
erreur C2035 : %1!.1023s! : le rôle doit être obligatoire sans contrainte de sous-ensemble/d'égalité ou la contrainte obligatoire ...
erreur C2038 : %1!.1023s! : la contrainte d'égalité doit être une contrainte de sous-ensemble comprise entre la séquence ...
erreur C2042 : %1!.1023s! : la contrainte intransitive est impliquée par une unicité simple et une contrainte %2!.1023s! ...
erreur C2043 : %1!.1023s! : la contrainte en anneau peut uniquement être exprimée sur les deux rôles du même prédicat joué ...
erreur C2049 : %1!.1023s! : le prédicat est un prédicat externe indéfini. Au moins un prédicat avec ce texte ne doit pas ...
erreur C2065 : le lien de sous-type implique un type d'objet qui est utilisé dans le schéma de référence d'autres types d'objet ...
erreur C2069 : %1!.1023s! : la contrainte %2!.1023s! contient des séquences de rôles avec un modèle de contrainte d'unicité ...