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 ;
        }