The second term favours values of the evaluation variable that conforms with the most likely interpretations of the corresponding statement (s j ) by the semantic parser.
in the E-step, we upweight evaluations of statements that are both discriminative, as well as supported by interpretations from the semantic parser.