 In effect, an indefinite introduces a “novel” variable, (i.e., in DRT’s terminology, establishes a discourse referent) and a pronoun anaphoric on an indefinite is interpreted as the same variable as was introduced by its indefinite antecedent. Hence a simple discourse such as: