more productions coded in the parser