Higher-order logical inference with compositional semantics
Wide-Coverage Semantic Representations From A CCG Parser