Así todas las lenguas contarían con una operación binaria del tipo formula_3 en que cualquier unidad sintáctica no-simple es descomponible en dos partes, cada una de ellas, en principio con diferentes funcionales y estructura.