The number that a constraint C i assigns to a candidate indicates how many times that candidate violates C i .
candidate a is optimal according to ranking R iff no other candidate generated by GEN is more harmonic than a.