class
     TERM

inherit
     CHOICE
           redefine
                 post_action
           end

     POLYNOM

create
     make

feature

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

     production: LINKED_LIST [CONSTRUCT] is
           local
                 id: SIMPLE_VAR
                 val: POLY_INTEGER
                 nest: NESTED
           once
                 create Result.make
                 Result.forth
                 create id.make
                 put (id)
                 create val.make
                 put (val)
                 create nest.make
                 put (nest)
           end

     post_action is
           do
                 retained.post_action
           end
     
end -- class TERM