Defining textual entailment
The Fourth PASCAL Recognizing Textual Entailment Challenge