Computational Linguistics and Formal Semantics