 This article concerns Discourse Representation Theory narrowly defined as work in the tradition descending from Kamp (1981). The same term is sometimes used more broadly, occasionally embracing Heim’s (1982) work and the developments initiated by Groenendijk and Stokhof (1989, 1991). However, the more common common label for the extended DRT family is “dynamic semantics”, and that is the term we will use, too.