exp: exp TIMES exp| // Uses left assoc <assoc=right> exp TIMES exp | // Uses right assoc /*epsilon*/;