Modeling Semantic Containment and Exclusion in Natural Language Inference
Tregex and Tsurgeon: tools for querying and manipulating tree data structures