The similarity on such vectors x and y is then quantified as: Clause-Level Constraints Arguments occurring in the same clause cannot bear the same role.
clusters should not merge if the resulting cluster contains (many) arguments of the same clause.