Higher-order logical inference with compositional semantics
Wide-Coverage Semantic Analysis with Boxer