erro C2042: '%1!.1023s!' : a restrição intransitiva foi inferida por uma exclusividade simples e uma restrição %2!.1023s! no predicado.
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 ...
erro C2069: '%1!.1023s!' : a restrição %2!.1023s! contém sequências de função com padrão de restrição de exclusividade conflitantes. ...