Proper names, once introduced in discourse, always seem available for future anaphoric reference, and so do first-and secondperson pronouns.
in DRT, their discourse referents are introduced at the global level of DRS, even in cases in which they are realized as part of a subordinated context, as for the proper name Butch in Example (15).