A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
A large annotated corpus for learning natural language inference