class
     NESTED

inherit
     AGGREGATE
           redefine
                 post_action
           end

     POLYNOM

create
     make

feature

     construct_name: STRING is
           once
                 Result := "NESTED"
           end

     production: LINKED_LIST [CONSTRUCT] is
           local
                 expression: SUM
           once
                 create Result.make
                 Result.forth
                 keyword ("(")
                 commit
                 create expression.make
                 put (expression)
                 keyword (")")
           end

     post_action is
           do
                 child_start
                 child_forth
                 child.post_action
           end
     
end -- class NESTED