Inference Rules and their Application to Recognizing Textual Entailment