Discourse Representation Theory (DRT) is a formalism proposed in the 1980s to address challenges in interpreting discourse, such as resolving anaphoric pronouns. DRT uses Discourse Representation Structures (DRS) which describe objects and properties in a discourse. A DRS contains discourse referents in its top part and conditions relating them in the bottom part. DRSs can be combined through subordination and accessibility criteria determine which referents can serve as antecedents for pronouns. DRT provides a way to represent donkey sentences by establishing links between referents introduced in relative clauses and pronouns.