In what follows, we consider only binary soft constraints-they are either satisfied or violated, and the same penalty is assessed whenever a violation occurs.
∀C ∈ C, ∃w C < 0 such that ∀y, C(y) ∈ {0, w C }.