The third PASCAL recognizing textual entailment challenge | Synapse