start -> exp exp -> exp PL texp exp -> exp MI texp exp -> texp texp -> texp KR fexp texp -> texp LO fexp texp -> fexp fexp -> NUM fexp -> MI NUM fexp -> LZ exp PZ