error C2035: '%1!.1023s!'. El rol debería ser obligatorio sin una restricción de subconjunto o igualdad, o la restricción obligatoria se debería eliminar en el extremo opuesto.
error C2018: '%1!.1023s!'. La restricción obligatoria implica una secuencia de roles cuyo subconjunto está implicado en otra ...
error C2019: '%1!.1023s!'. El tipo de objeto no desempeña otro rol que los del esquema de referencia. Considere la posibilidad ...
error C2032: '%1!.1023s!'. La restricción intransitiva sobre un predicado binario con una restricción de unicidad simple ...
error C2034: '%1!.1023s!'. La restricción de frecuencia no se puede especificar sobre la misma secuencia de roles que está ...
error C2035: '%1!.1023s!'. El rol debería ser obligatorio sin una restricción de subconjunto o igualdad, o la restricción ...
error C2038: '%1!.1023s!'. La restricción de igualdad debería ser una restricción de subconjunto de la secuencia %2!.1023s! ...
error C2042: '%1!.1023s!'. La restricción intransitiva está implícita en una restricción de unicidad simple y una restricción ...
error C2043: '%1!.1023s!'. La restricción de anillo sólo se puede expresar en los dos roles del mismo predicado desempeñados ...
error C2049: '%1!.1023s!'. El predicado es externo y no está definido. Al menos un predicado con este texto debe no ser externo. ...