Natural Logic for Textual Inference
Tregex and Tsurgeon: tools for querying and manipulating tree data structures