prenex normal form - Alemán Inglés Diccionario