COGEX at the Second Recognizing Textual Entailment Challenge

This paper proposes a knowledge representation model and a logic proving setting with axioms on demand which proved to be very successful for the recognizing textual entailment task. LCC´s submission to the Second RTE Challenge exploits the logical entailment between deep semantics and syntax of T and H as well as a shallow lexical alignment of the two texts.