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