Wenn der übriggebliebene Kandidat einer ist, der weiterhin Constraints verletzt, warum sollte er in der Sprache bleiben? Warum nicht nun einen Ausdruck finden, der den nächsten Constraint nicht verletzt und immer so weiter, bis keiner mehr verletzt wird?