Automatic Extraction of Actionable Knowledge
A Logic-Based Semantic Approach To Recognizing Textual Entailment