Higher-order logical inference with compositional semantics
NaturalLI: Natural Logic Inference for Common Sense Reasoning