Considere a frase: “Algum candidato domina dois idiomas.” Qual formalização traduz corretamente essa ideia, preservando seu sentido?

Para todo x, se x é candidato então existe um idioma y que ele domina corretamente.

Para todo x, se x é idioma então todo candidato demonstra domínio sobre esse idioma.

Existe um candidato x tal que ele é candidato e há dois idiomas diferentes y e z, com os quais x demonstra domínio.

Existe um x tal que ele pode ser classificado ao mesmo tempo como candidato e como idioma.

Para todo x, se x é candidato então ele demonstra domínio de exatamente dois idiomas distintos.