However, unlike text to text translation, which has been extensively studied in the machine translation community, translating from logical forms into text presents additional challenges.
logical forms such as λ-expressions may have complex internal structures and variable dependencies across subexpressions.