 Exact analogues of Cresswell’s examples can be constructed to show that natural languages have the full expressive power of object language quantification over situations. Here is a first taste of the kind of example we have to look at.