... sub-parse. For example, see the rule962FORM → state , λx1.state(x1)FORM → by area , λx1.λx2.area(x1,x2)FORM → smallest FORM1FORM2, λx1.smallest(x2,(FORM1(x1),FORM2(x1, ... answer(x1,FORM)FORM → smallest(x2,(FORM,FORM))FORM → state(x1)FORM → area(x1,x2)Figure 4: Word alignment for the sentence pair in Figure 1(a).extracted for the smallest predicate in Figure ... logical forms in the GEOQUERY domain and their English glosses.(a)smallest(x2,(FORM,FORM))QUERYanswer(x1,FORM)area(x1,x2)state(x1)(b)λx1.smallest(x2,(FORM(x1),FORM(x1,...