We incorporate the execution procedure described above with a linear weighted CCG parser, as described in Section 4, to create a joint model of parsing and execution.
we execute logical forms in the current state and observe the result of their execution.