the sixth pascal recognizing textual entailment challenge .
The third PASCAL recognizing textual entailment challenge