It requires that the right-hand side of each non-initial production contains at least two terminal or nonterminal symbols.
it eliminates projection productions A(x 1 ) → x 1 and unit productions, in which the right-hand side has the same shape as the lefthand side (potentially with a different root symbol and a different order of the variables).