The Seventh PASCAL Recognizing Textual Entailment Challenge
The Second PASCAL Recognising Textual Entailment Challenge