Modeling Semantic Containment and Exclusion in Natural Language Inference
Natural Logic for Textual Inference