«Lenguaje formal» en inglés con traducción paralela