In semantics, Kataphora is the repetition of a cohesive device at the end of a sentence.
There are two kinds of Kataphora:
S (set) Kataphora, in which the pronoun is interpreted as a set determined by the antecedent, and; Q (quantifier) Kataphora, where the pronoun can be interpreted as a variable bound by its antecedent.