ccg2lambda: A Compositional Semantics System
NaturalLI: Natural Logic Inference for Common Sense Reasoning