Each DPR coreference problem-solution pair can be converted to two annotated entailment problems by substituting the target pronoun with the two expressions that it could corefer with.
two RTE pairs are generated for each DPR pair: one that is entailed and one that is not entailed.