Natural Language Inference from Multiple Premises
Illinois-LH: A Denotational and Distributional Approach to Semantics