Best-First constraint: Here we assume that coref(j,i) returns true if candidate mentions j and i are coreferential and false otherwise.
for each candidate mention i, we should only select at most one candidate mention j to return true for the predicate coref(j,i) from all its preceding candidate mentions.