For example, the logical form in Figure 1 contains the Field relation, however "field" is implicit in the utterance.
we define exe K (z) to be true iff z executes against K without errors, and define a global score that prevents assignments c that result in a logical form z such that exe K (z) is false.