Natural Solution to FraCaS Entailment Problems
Higher-order logical inference with compositional semantics