T >> T> ("STACK") <> >>> T >> T> ("STACK") <> >>> .EXP> ("STACK") >>> ) (BOUND ) (OBLIGATORY T) (PBOUND ) "AUX" PURE ENDP K BETA ENDE) FORM> <.S >) ( > .BOUND) ( <.S >>) ( >) > > <.R >) (<==? > SEGMENT> .EXP .ENDE .OBLIGATORY>>>) (<==? .EXP .ENDE> ) (T <1 .EXP>> >) > > > <.S .EXP>) (T <1 .EXP>>) > > > > >> ) (ENV2 <>) (BOUND1 ) (BOUND2 ) (OBL T)) FORM> FORM> > >>> <.MATCHER >>) > <.MATCHER >>) (<==? FORM> <.MATCHER >>) ( > <.MATCHER >>) ( > ) ( > <.MATCHER .PAT2>) > ALPHA1 SEG1> ALPHA2 SEG2> ) (>>) >) ( > ) (>>) >) > <.R <>>) (T <1 .PAT2> .ENV1 .ENV2>) > > > > END1 K1 BETA1 S1> END2 K2 BETA2 S2> > >>> > ) ( >>> > ) (T > >) >) > <0? .K1>> <0? .K2>> FORM>> .FORM1 .FORM1 T .ENV1 .ENV2 <>>) (T .SEG2 .END2 T .ENV1 .ENV2 <>>) >) ( <0? .K2>> .SEG1 .END1 T .ENV1 .ENV2 <>>) (<0? .S2> ) (T >) >) (<0? .S1> ) () >) (T <#FUNCTION ("STACK" (UV1 UV2) > ) >) > ) > <1 .END2> .ENV1 .ENV2> > > > > >> ) (BOUND2 ) (OBL T) "AUX" FORM1) <.SMATCHER .PAT2>) (<==? > SEGMENT> .PAT2 .BOUND2 .BOUND1> .OBL> .ENV1 .ENV2 <>>>) (<==? .PAT2 .BOUND2> ) (T <1 .PAT2> .ENV1 .ENV2> >) > > > >> >) (<==? > SEGMENT> > >) (T >)> > > >> )) .KOUNT> > > >> .K) (T > > )> >> > .EXP >> <==? > SEGMENT>> <.SOFTENER [.ALPHA .PAT]>) > > > > >> <.HACKER [.END .K .BETA .S]>) (<==? >> SEGMENT> > >>>> >) > > >) (T >) > > > >>