This property makes FunQL logical forms convenient to be predicted with recurrent neural networks (Vinyals et al., 2015;Choe and Charniak, 2016;.
funQL is less expressive than lambda calculus, partially due to the elimination of variables.