В метамодели неоднозначность – это ситуация, когда более чем одна глубинная структура связана путем трансформаций с одной поверхностной структурой. Интуитивное представление о правильности репрезентировано в метамодели следующим образом: любая последовательность слов правильна лишь в том случае, когда имеется серия трансформаций (вывод), переводящих определенную глубинную структуру в рассматриваемую последовательность слов – поверхностную структуру.