TUR  {
       'z'((e.1)     e.2) e.3 = 'z' ((e.1) e.2);
       sq ((e.1) s.b e.2) e.3 = <TUR <TUR1
                            <POISK s.q s.b e.3> ((e.1) s.b e.2) > e.3>;
     }

TUR1   {
       s.c '<' s.r ((e.1 s.a) s.b e.2) =  s.r ((e.1) s.a s.c e.2);
       s.c '>' s.r ((e.1    ) s.b e.2) =  s.r ((e.1 s.c)     e.2);
       }

POISK   {
        s.q s.b ( s.q s.b  s.c s.s s.r ) e.2 = s.c s.s s.r;
        s.q s.b ( e.1 ) e.2 = <POISK s.q s.b e.2>;
        }