Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
Wide-Coverage Efficient Statistical Parsing with CCG and Log-Linear Models