PERM { (e1) sa e2 = <ZAM sa e1 > <PERM (e1) e2> ; (e1) = ; } ZAM { sa (sb e1) e2 = <ZAM1 sa sb e1 sb e2 >; sa = ; } ZAM1 { sa sa sb e1 = sb ; sa sb sc e1 = <ZAM1 sa sc e1> ; sa sx (sb e1) e2 = <ZAM1 sa sb e1 sb e2> ; sa = sa ; sa sx = sa ; }