The anaphoric link between she and a woman is established by the condition y = x, and illustrates the role of discourse referents: They introduce discourse entities to which pronouns potentially can refer.
discourse referents are candidate antecedents for future anaphoric reference.