I'm still confused about Stephen's idea. If all you have is the meaning, the stack may never reach a low level at any of the attributes of the meaning. I.e., between every pair of characters there are some pops followed by some pushes. Thus although the stack gets cleared, you never see the attributes where that happens.