Perm { (e1) sa e2 = <PermS sa e1 > <Perm (e1) e2> ; (e1) = ; } PermS { sa (sa sb) e2 = sb; sa (sc sb) e2 = <PermS sa e2>; sa = sa; }