Question: How does the model compute the likelihood of executing to the correction semantic denotation?
Answer: By treating logical forms as a latent variable and training a discriminative log-linear model over logical form y given x.