While the procedure given here is not tied to a particular formalism in representing semantic con-text, in our experiments we make use of propositional templates, based on the verbalizations arising from KNEXT logical forms.
a proposition F with m argument positions generates m templates, each with one of the arguments replaced by an empty slot.