erro C2038: '%1!.1023s!' : a restrição de igualdade deveria ser uma restrição de subconjunto da sequência %2!.1023s! para a sequência %3!.1023s!.
erro C2019: '%1!.1023s!' : o tipo de objeto não desempenha nenhuma função além daquelas do esquema de referência. Considere ...
erro C2032: '%1!.1023s!' : restrição intransitiva em um predicado binário com uma restrição de exclusividade simples é redundante. ...
erro C2034: '%1!.1023s!' : a restrição de frequência não pode ser especificada na mesma sequência de função que está restrita ...
erro C2035: '%1!.1023s!' : a função deve ser obrigatória, sem uma restrição de subconjunto/igualdade, ou a restrição obrigatória ...
erro C2038: '%1!.1023s!' : a restrição de igualdade deveria ser uma restrição de subconjunto da sequência %2!.1023s! para ...
erro C2042: '%1!.1023s!' : a restrição intransitiva foi inferida por uma exclusividade simples e uma restrição %2!.1023s! ...
erro C2043: '%1!.1023s!' : a restrição de anel pode ser expressa somente nas duas funções do mesmo predicado executadas pelo ...
erro C2049: '%1!.1023s!' : o predicado é um 'Externo' indefinido. Pelo menos um predicado com este texto não deverá ser externo. ...
erro C2065: o vínculo de subtipo envolve tipo de objeto utilizado no esquema de referência de outro(s) tipo(s) de objeto ...