A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
Investigating A Generic Paraphrase-Based Approach For Relation Extraction