A Belief Revision Approach to Textual Entailment Recognition