Computational Linguistics and Formal Semantics by