Cabralia lavinai é um táxon proveniente da Supersequência Sanga do Cabral (Triássico Inferior do Rio Grande do Sul). Sua publicação original, com descrição anatômica e sistemática paleontológica, ocorreu no ano de 2006. No mesmo ano, descobriuse que o nome Cabralia não podia ser usado, pois a descrição de uma espécie de mariposa com o mesmo nome foi publicada em 1888, ferindo, assim, as regras do Código Internacional de Nomenclatura Zoológica (ICZN). Assim, foi necessário fazer uma correção desse nome para cumprir as normas do ICZN. Dadas as alternativas abaixo, assinale a que apresenta, respectivamente: o tipo de problema nomenclatural; o princípio utilizado para fazer a correção do nome; a denominação dada aos nomes invalidados (antigo) e válidos (novo); o nome do novo táxon que substituiu o nome Cabralia.