Officially, DRSs are set-theoretical objects, but in this article we use a linear notation. Many sources, including Kamp’s own work, employ a graphical “box notation” which is sometimes clearer, but less parsimonious and more difficult to type. To illustrate the various schemes, here are three ways of representing the content of a conditional donkey sentence: