formal semantics - Alemán Inglés Diccionario