Presupposed Content and Entailments in Natural Language Inference
Natural Logic for Textual Inference