In addition, if u ∈ S and some phonological alternation p ∈ P maps u to a surface form s ∈ p(u) ∈ S, then (s, u) ∈ X .
we require that potential underlying forms appear as surface substrings somewhere in the data D (which means this model cannot handle e.g., absolute neutralisation).