OPT6 OPT7 ]> (RECORD-TYPE LBIND) > ]> (RECORD-TYPE LBIND) > ]> (RECORD-TYPE LBIND) > MAP19 - PHRASE29> TAG37 PHRASE31 TAG40 PHRASE38 TAG43 PHRASE41 TAG46 PHRASE44 TAG49 PHRASE47 TAG54 TAG52 TAG56 BOOL51 PHRASE50 TAG59 TAG60 PHRASE29 TAG65 TAG66 PHRASE61 + PHRASE69> PHRASE69 TAG79 TAG78 TAG81 TAG82 PHRASE74 TAG86 TAG85 TAG88 TAG89 PHRASE83 TAG92 TAG91 PHRASE90 TAG96 TAG95 PHRASE94 TAG100 TAG99 PHRASE98 MAPAP22 )> MAP110 TAG126 TAG127 MAPAP113 TAG128 TAG108 MAP131 TAG147 TAG148 MAPAP134 TAG149 TAG129 TAG151 TAG150 MAP154 TAG170 TAG171 MAPAP157 TAG172 TAG152 TAG176 TAG173 >)> > \ ANY "OPTIONAL" ANY ANY ANY "TUPLE" TUPLE) VARIABLE12 INITIAL13 FINAL14 STEP15> OPT8 OPT9 OPT10 OPT11 + TAG82> + TAG21> - PHRASE19> TAG21 + TAG27> TAG27 TAG28 TAG24 TAG25 TAG34 TAG35 TAG38 TAG39 + TAG40> TAG40 PHRASE19 + TAG44> - PHRASE42> TAG44 + TAG49> TAG49 TAG50 TAG47 TAG48 TAG54 TAG55 TAG58 TAG59 + TAG60> TAG60 PHRASE42 + TAG65> TAG65 TAG66 TAG63 TAG64 TAG75 TAG76 TAG79 TAG80 + TAG81> TAG81 TAG82 + TAG85> TAG85 TAG86 TAG83 TAG84 TAG91 TAG92 + TAG93> TAG93 TAG94 ATOM "OPTIONAL" ANY ANY ANY "TUPLE" TUPLE) VARIABLE12 INITIAL13 STEP14 PRED15> OPT8 OPT9 OPT10 OPT11 + TAG31> TAG19 TAG20 + TAG27> TAG27 TAG28 TAG25 TAG26 + TAG30> TAG30 TAG31 + TAG42> + TAG36> TAG36 TAG37 TAG34 TAG35 TAG39 TAG40 + TAG41> TAG41 TAG42 + TAG10> TAG10 TAG11 TAG7 TAG8 TAG16 TAG17 TAG20 TAG21 + TAG22> TAG22 TAG7 TAG8 + TAG15> TAG15 TAG16 TAG13 TAG14 + TAG18> TAG18 + TAG9> TAG9 TAG10 PHRASE7 TAG15 TAG16 + TAG19> TAG19 ANY LIST LIST) PRED5 DEF6 BODY7> PHRASE8 TAG11 TAG13 \ OPT6 OPT7 - PHRASE13> - PHRASE13> PHRASE13 - PHRASE16> = PRED8> PHRASE16 MAP21 + PHRASE36> PHRASE36 PHRASE34 - BOOL41> BOOL41 PHRASE40 + PHRASE44> PHRASE44 + PHRASE48> PHRASE48 PHRASE50 = TEMP46> BOOL55 PHRASE54 TAG68 TAG67 TAG63 TAG66 TAG65 TAG64 PHRASE52 PHRASE69 TAG71 TAG72 MAP22 MAPAP24 TAG73 TAG18 TAG75 TAG74 >)> BOOL9 = TEMP10> PHRASE8 MAP13 TAG26 TAG27 MAPAP16 = TEMP21> \ OPT6 OPT7 >)> OPT6 OPT7 >)> OPT6 OPT7 >)> OPT6 OPT7 >)> OPT6 OPT7 >)> OPT6 OPT7 PHRASE11 PHRASE14 )> MAP24 TAG35 TAG36 MAPAP27 = TEMP30> >)>