Best-First constraint: Here we assume that coref(j,i) returns true if candidate mentions j and i are coreferential and false otherwise.
for generation of training instances, we follow the method of Bengtson and Roth (2008).