From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory Part 1 (Studies in Linguistics and Philosophy)