The accessible domain of a DRS K, AK, is the set of discourse referents that occur in some K′ that is accessible to K, i.e., AK = {x:  K′ is accessible to K and x ∈ UK′}. The main constraint which DRT imposes on the interpretation of anaphora is this: