The Seventh PASCAL Recognizing Textual Entailment Challenge