Furthermore, we introduce anaphora constraints (Section 2.2) via a new set of variables that capture the process of rewriting pronouns to make them  explicit mentions.
x REF ij = 1 if we should rewrite the jth pronoun in the ith unit with its antecedent.