Потому что...конец образуют скобки. С "а/не" нагляднее.
Не А есть Б, а В есть Г.
Не (, А, Б, есть, В, Г, есть, ) а
Когда встречается элемент выполняющий функцию закрывающей скобки, в стеке перед ним должно лежать два элемента: результат проделанной "в скобках" работы и элекнт выполняющий функцию открывающей скобки. Результат выполнения элемента с ф-ей закр. скобки есть оставить в стеке только результат работы в скобках (убрав открывающую скобку).
Эх, усложнение какое-то, надо поискать может проще есть аналогия.