erreur C2034 : %1!.1023s! : la contrainte de fréquence ne peut pas être appliquée à une séquence de rôles à laquelle une contrainte d'unicité est appliquée.
erreur C2002 : %1!.1023s! : le type d'objet est un type externe non défini. Au moins un type d'objet portant ce nom doit ...
erreur C2018 : %1!.1023s! : la contrainte obligatoire implique une séquence de rôles dont le sous-ensemble est impliqué dans ...
erreur C2019 : %1!.1023s! : le type d'objet ne joue aucun autre rôle que ceux du schéma de référence. Pensez à utiliser le ...
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é ...