Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
Higher-order logical inference with compositional semantics