This paper argues against Logical Form (LF) as an intermediate level of representation in language processing. We apply a program transformation technique called
to demonstrate the inessentiality of LF in a parsing system that builds semantic interpretations. We consider two phenomena, Quantifier Raising in English and
-movement in Chinese, which have played key roles in the broader argument for LF. Deforestation derives LF-free versions of these parsing systems. This casts doubt on LF’s relevance for processing models, contrary to suggestions in the literature.