Modeling Semantic Containment and Exclusion in Natural Language Inference
when logical inference helps determining textual entailment ( and when it doesn ’ t ) .