Presupposed Content and Entailments in Natural Language Inference
An extended model of natural logic