The above notation is general enough to handle some of the important variations of OT, such as Paradigm Uniformity and Sympathy Theory.
one can define GEN so that each candidate y encodes not just an alignment between x and z, but an alignment among x, z, and some other strings that are neither underlying nor surface.