Several works in literature (Zettlemoyer and Collins, 2005;Zettlemoyer and Collins, 2007;Wong and Mooney, 2007;Kwiatkowski et al., 2013) employ some primitive type hierarchies and parse with typed lambda calculus.
in its outermost lambda abstraction, variable P needs to be grounded on-the-fly before we push the expression onto the stack.