The Sixth PASCAL Recognizing Textual Entailment Challenge