TUR { 'z' ((e.1) e.2) e.3 = e.1 e.2; s.q ((e.1) s.b e.2) e.3 (s.q s.b s.c s.s s.r) e.4 = <TUR <TUR1 s.c s.s s.r ((e.1) s.b e.2) > e.3 (s.q s.b s.c s.s s.r) e.4 >; } 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); }