For this reason, we can also write this equation as log l∈L(c) p(l|x), where L(c) is the set of consistent logical forms that execute to the correct denotation.
p(l|x) is computed with a log-linear model: where L is the set of candidate logical forms; φ is the feature function that maps an utterance-logical form pair (and also the corresponding denotation) into a feature vector; and θ denotes the weight parameter of the model.