The third PASCAL Recognising Textual Entailment Challenge