Our grammar formalism can be related to synchronous CFGs (SCFGs) (Aho and Ullman, 1972) where the semantics and syntax are generated simultaneously.
instead of modeling the joint probability of the logical form and natural language utterance p(x, y), we model the factorized probability p(x)p(y|x).