In this section we give a more precise description of the DRS language than we have done so far. We define the syntax of the language, present a model-theoretic interpretation, and discuss the notion of accessibility, which figures so prominently in DRT’s account of anaphora.