Errore C2035: "%1!.1023s!": il ruolo deve essere obbligatorio senza vincolo di sottoinsieme/uguaglianza oppure è necessario rimuovere il vincolo obbligatorio all'estremità opposta.
Errore C2018: "%1!.1023s!": il vincolo obbligatorio interessa una sequenza di ruoli i cui sottoinsiemi sono interessati da ...
Errore C2019: "%1!.1023s!": al tipo di oggetto non sono assegnati altri ruoli oltre a quelli inclusi nello schema di riferimento. ...
Errore C2032: "%1!.1023s!": un vincolo intransitivo su un predicato binario con un vincolo di unicità semplice è ridondante. ...
Errore C2034: "%1!.1023s!": impossibile specificare un vincolo di frequenza sulla stessa sequenza ruoli vincolata da un vincolo ...
Errore C2035: "%1!.1023s!": il ruolo deve essere obbligatorio senza vincolo di sottoinsieme/uguaglianza oppure è necessario ...
Errore C2038: "%1!.1023s!": dalla sequenza %2!.1023s! alla sequenza %3!.1023s! il vincolo di uguaglianza deve essere un vincolo ...
Errore C2042: "%1!.1023s!": vincolo intransitivo implicito in un vincolo di unicità semplice e in un vincolo %2!.1023s! sul ...
Errore C2043: "%1!.1023s!": è possibile utilizzare un'espressione con vincolo ad anello solo sui due ruoli di uno stesso ...
Errore C2049: "%1!.1023s!": il predicato è di tipo "Esterno" non definito. Almeno un predicato con questo testo non deve ...