This is equivalent to the constraint: Third, if the pair i of entities does not verify the relation k, we suppose that no relation mention candidate express that relation.
we impose that for all mention candidate n such that E in = 1, we have Y nk = 0.