«Linguagem formal» em inglês com tradução paralela