Defining textual entailment
Entailment Graphs for Text Analytics in the Excitement Project