Working with Discourse Representation Theory Patrick Blackburn & Johan Bos Lecture 4 Pronouns and Presupposition.