Defining textual entailment
the pascal recognising textual entailment challenge .