the sixth pascal recognizing textual entailment challenge .
The Second PASCAL Recognising Textual Entailment Challenge