A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
compositionality and coercion in semantics : the dynamics of adjective meaning .