A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
minimal recursion semantics : an introduction .