Computational Linguistics and Formal Semantics (Studies in Natural Language Processing)