erreur C2035 : %1!.1023s! : le rôle doit être obligatoire sans contrainte de sous-ensemble/d'égalité ou la contrainte obligatoire doit être retirée de l'extrémité opposée.
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é ...
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 ...