In this section we redescribe the semantics-text correspondence model<cite> (Liang et al., 2009</cite> ) with an extension needed to model examples with latent states, and also explain how the inference algorithm defined in section 2 can be applied to this model.