Given an input to parse, simple heuristics are used to select a finite list of potential logical forms which are then ranked according to the (paraphrase-based) similarity of their associated canonical realization with the input.
in this approach, a form of generation plays an important role, not for its own sake, but as a tool for semantic parsing.