From Discourse To Logic: Introduction To Modeltheoretic Semantics Of Natural Language, Formal Logic And Discourse Representation Theory Part 1