The third PASCAL recognizing textual entailment challenge
The Second PASCAL Recognising Textual Entailment Challenge