... left-hand side of each rule consists of a single logical form, taken from the corresponding relator in the G- grammar; the right-hand side is obtained by "moving" all the renmining ... unifying Q[y] with ev(m,x,s(x,y) ), leading to the output sm(w,y, ev(m,x,s(x,y)). The two possible quantifier scopings for the input string are thus obtained, each corresponding to a certain ... logical-form well-formedness (or perhaps interpretability) dis- allowing the logical forms i ( 1, p) [louise in paris] or i ( t (w), p) [(the woman) in paris], although it might allow the form...