23_a_paulfellows
If you look inside one of these Amino set top boxes you find there's a boot ROM in the NOR flash, and a filing system on the NAND flash, and the boot ROM doesn't half look like the core operating system and a load of separate relocatable modules, it boots up and runs <ast> exec!

%3 r_0023_0001__If If r_0023_0003__look look r_0023_0001__If->r_0023_0003__look [restriction] r_0023_0013__find find r_0023_0001__If->r_0023_0013__find [scope] r_0023_0002__you you r_0023_0003__look->r_0023_0002__you [arg0] r_0023_0005__one one r_0023_0003__look->r_0023_0005__one inside [clr] r_0023_0013__find->r_0023_0002__you [arg0] r_0023_0033__and and r_0023_0013__find->r_0023_0033__and [arg1] r_0023_0007__these_r_0023_0008__Amino_r_0023_0009__set_r_0023_0010__top_r_0023_0011__boxes these Amino set top boxes r_0023_0005__one->r_0023_0007__these_r_0023_0008__Amino_r_0023_0009__set_r_0023_0010__top_r_0023_0011__boxes of r_0023_0014__there_r_0023_0015___apos_s there 's r_0023_0033__and->r_0023_0014__there_r_0023_0015___apos_s [conj1] r_0023_0038__n_apos_t n't r_0023_0033__and->r_0023_0038__n_apos_t [conj2] r_0023_0024__and and r_0023_0014__there_r_0023_0015___apos_s->r_0023_0024__and [arg0] r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM a boot ROM r_0023_0024__and->r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM [conj1] r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system a filing system r_0023_0024__and->r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system [conj2] r_0023_0020__the_r_0023_0021__NOR_r_0023_0022__flash the NOR flash r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM->r_0023_0020__the_r_0023_0021__NOR_r_0023_0022__flash in r_0023_0029__the_r_0023_0030__NAND_r_0023_0031__flash the NAND flash r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system->r_0023_0029__the_r_0023_0030__NAND_r_0023_0031__flash on r_0023_0037__does_r_0023_0040__look does look r_0023_0038__n_apos_t->r_0023_0037__does_r_0023_0040__look [keep_scope] r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM the boot ROM r_0023_0037__does_r_0023_0040__look->r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM [arg0] r_0023_0039__half half r_0023_0037__does_r_0023_0040__look->r_0023_0039__half [nim] r_0023_0046__and and r_0023_0037__does_r_0023_0040__look->r_0023_0046__and like [clr] r_0023_0042__the_r_0023_0043__core_r_0023_0045__system the core system r_0023_0046__and->r_0023_0042__the_r_0023_0043__core_r_0023_0045__system [conj1] r_0023_0047__a_r_0023_0048__load a load r_0023_0046__and->r_0023_0047__a_r_0023_0048__load [conj2] r_0023_0044__operating operating r_0023_0044__operating->r_0023_0042__the_r_0023_0043__core_r_0023_0045__system [arg0] r_0023_0052__modules modules r_0023_0047__a_r_0023_0048__load->r_0023_0052__modules of r_0023_0050__separate separate r_0023_0052__modules->r_0023_0050__separate [attrib] r_0023_0051__relocatable relocatable r_0023_0052__modules->r_0023_0051__relocatable [attrib]
arc(r_0023_0001__If, r_0023_0003__look, restriction).
arc(r_0023_0001__If, r_0023_0013__find, scope).
arc(r_0023_0003__look, r_0023_0002__you, arg0).
arc(r_0023_0003__look, r_0023_0005__one, r_0023_0004__inside_clr14).
arc(r_0023_0005__one, r_0023_0007__these_r_0023_0008__Amino_r_0023_0009__set_r_0023_0010__top_r_0023_0011__boxes, r_0023_0006__of).
arc(r_0023_0013__find, r_0023_0002__you, arg0).
arc(r_0023_0013__find, r_0023_0033__and, arg1).
arc(r_0023_0014__there_r_0023_0015___apos_s, r_0023_0024__and, arg0).
arc(r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM, r_0023_0020__the_r_0023_0021__NOR_r_0023_0022__flash, r_0023_0019__in).
arc(r_0023_0024__and, r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM, conj1).
arc(r_0023_0024__and, r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system, conj2).
arc(r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system, r_0023_0029__the_r_0023_0030__NAND_r_0023_0031__flash, r_0023_0028__on).
arc(r_0023_0033__and, r_0023_0014__there_r_0023_0015___apos_s, conj1).
arc(r_0023_0033__and, r_0023_0038__n_apos_t, conj2).
arc(r_0023_0037__does_r_0023_0040__look, r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM, arg0).
arc(r_0023_0037__does_r_0023_0040__look, r_0023_0039__half, nim103).
arc(r_0023_0037__does_r_0023_0040__look, r_0023_0046__and, r_0023_0041__like_clr111).
arc(r_0023_0038__n_apos_t, r_0023_0037__does_r_0023_0040__look, keep_scope).
arc(r_0023_0044__operating, r_0023_0042__the_r_0023_0043__core_r_0023_0045__system, arg0).
arc(r_0023_0046__and, r_0023_0042__the_r_0023_0043__core_r_0023_0045__system, conj1).
arc(r_0023_0046__and, r_0023_0047__a_r_0023_0048__load, conj2).
arc(r_0023_0047__a_r_0023_0048__load, r_0023_0052__modules, r_0023_0049__of).
arc(r_0023_0052__modules, r_0023_0050__separate, attrib135).
arc(r_0023_0052__modules, r_0023_0051__relocatable, attrib138).



%3 r_0023_0052__modules modules r_0023_0051__relocatable relocatable r_0023_0052__modules->r_0023_0051__relocatable [attrib] r_0023_0050__separate separate r_0023_0052__modules->r_0023_0050__separate [attrib] r_0023_0047__a_r_0023_0048__load a load r_0023_0047__a_r_0023_0048__load->r_0023_0052__modules of r_0023_0046__and and r_0023_0046__and->r_0023_0047__a_r_0023_0048__load [conj2] r_0023_0042__the_r_0023_0043__core_r_0023_0045__system the core system r_0023_0046__and->r_0023_0042__the_r_0023_0043__core_r_0023_0045__system [conj1] r_0023_0044__operating operating r_0023_0044__operating->r_0023_0042__the_r_0023_0043__core_r_0023_0045__system [arg0] r_0023_0038__n_apos_t n't r_0023_0037__does_r_0023_0040__look does look r_0023_0038__n_apos_t->r_0023_0037__does_r_0023_0040__look [keep_scope] r_0023_0037__does_r_0023_0040__look->r_0023_0046__and like [clr] r_0023_0039__half half r_0023_0037__does_r_0023_0040__look->r_0023_0039__half [nim] r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM the boot ROM r_0023_0037__does_r_0023_0040__look->r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM [arg0] r_0023_0033__and and r_0023_0033__and->r_0023_0038__n_apos_t [conj2] r_0023_0014__there_r_0023_0015___apos_s there 's r_0023_0033__and->r_0023_0014__there_r_0023_0015___apos_s [conj1] r_0023_0024__and and r_0023_0014__there_r_0023_0015___apos_s->r_0023_0024__and [arg0] r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system a filing system r_0023_0029__the_r_0023_0030__NAND_r_0023_0031__flash the NAND flash r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system->r_0023_0029__the_r_0023_0030__NAND_r_0023_0031__flash on r_0023_0024__and->r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system [conj2] r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM a boot ROM r_0023_0024__and->r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM [conj1] r_0023_0020__the_r_0023_0021__NOR_r_0023_0022__flash the NOR flash r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM->r_0023_0020__the_r_0023_0021__NOR_r_0023_0022__flash in r_0023_0013__find find r_0023_0013__find->r_0023_0033__and [arg1] r_0023_0002__you you r_0023_0013__find->r_0023_0002__you [arg0] r_0023_0005__one one r_0023_0007__these_r_0023_0008__Amino_r_0023_0009__set_r_0023_0010__top_r_0023_0011__boxes these Amino set top boxes r_0023_0005__one->r_0023_0007__these_r_0023_0008__Amino_r_0023_0009__set_r_0023_0010__top_r_0023_0011__boxes of r_0023_0003__look look r_0023_0003__look->r_0023_0002__you [arg0] r_0023_0003__look->r_0023_0005__one inside [clr] r_0023_0001__If If r_0023_0001__If->r_0023_0013__find [scope] r_0023_0001__If->r_0023_0003__look [restriction]
fof(formula,axiom,
    ? [R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM,R_0023_0044__OPERATING] :
      ( r_0023_0042__the_r_0023_0043__core_r_0023_0045__system(R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM)
      & r_0023_0044__operating(R_0023_0044__OPERATING)
      & has_arg0(R_0023_0044__OPERATING,R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM)
      & ! [R_0023_0003__LOOK,R_0023_0002__YOU,R_0023_0007__THESE_R_0023_0008__AMINO_R_0023_0009__SET_R_0023_0010__TOP_R_0023_0011__BOXES,R_0023_0005__ONE] :
          ( ( r_0023_0002__you(R_0023_0002__YOU)
            & r_0023_0007__these_r_0023_0008__Amino_r_0023_0009__set_r_0023_0010__top_r_0023_0011__boxes(R_0023_0007__THESE_R_0023_0008__AMINO_R_0023_0009__SET_R_0023_0010__TOP_R_0023_0011__BOXES)
            & r_0023_0003__look(R_0023_0003__LOOK)
            & has_r_0023_0004__inside_clr14(R_0023_0003__LOOK,R_0023_0005__ONE)
            & r_0023_0005__one(R_0023_0005__ONE)
            & has_r_0023_0006__of(R_0023_0005__ONE,R_0023_0007__THESE_R_0023_0008__AMINO_R_0023_0009__SET_R_0023_0010__TOP_R_0023_0011__BOXES)
            & has_arg0(R_0023_0003__LOOK,R_0023_0002__YOU) )
         => ? [R_0023_0020__THE_R_0023_0021__NOR_R_0023_0022__FLASH,R_0023_0016__A_R_0023_0017__BOOT_R_0023_0018__ROM,R_0023_0029__THE_R_0023_0030__NAND_R_0023_0031__FLASH,R_0023_0025__A_R_0023_0026__FILING_R_0023_0027__SYSTEM,R_0023_0024__AND,R_0023_0014__THERE_R_0023_0015___APOS_S,R_0023_0033__AND,R_0023_0013__FIND] :
              ( r_0023_0020__the_r_0023_0021__NOR_r_0023_0022__flash(R_0023_0020__THE_R_0023_0021__NOR_R_0023_0022__FLASH)
              & r_0023_0029__the_r_0023_0030__NAND_r_0023_0031__flash(R_0023_0029__THE_R_0023_0030__NAND_R_0023_0031__FLASH)
              & r_0023_0013__find(R_0023_0013__FIND)
              & has_arg1(R_0023_0013__FIND,R_0023_0033__AND)
              & r_0023_0033__and(R_0023_0033__AND)
              & has_conj2(R_0023_0033__AND,R_0023_0038__N_APOS_T)
              & ~ ? [R_0023_0034__THE_R_0023_0035__BOOT_R_0023_0036__ROM,R_0023_0039__HALF,R_0023_0050__SEPARATE,R_0023_0051__RELOCATABLE,R_0023_0052__MODULES,R_0023_0047__A_R_0023_0048__LOAD,R_0023_0046__AND,R_0023_0037__DOES_R_0023_0040__LOOK] :
                    ( r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM(R_0023_0034__THE_R_0023_0035__BOOT_R_0023_0036__ROM)
                    & r_0023_0039__half(R_0023_0039__HALF)
                    & r_0023_0050__separate(R_0023_0050__SEPARATE)
                    & r_0023_0051__relocatable(R_0023_0051__RELOCATABLE)
                    & r_0023_0037__does_r_0023_0040__look(R_0023_0037__DOES_R_0023_0040__LOOK)
                    & has_r_0023_0041__like_clr111(R_0023_0037__DOES_R_0023_0040__LOOK,R_0023_0046__AND)
                    & r_0023_0046__and(R_0023_0046__AND)
                    & has_conj2(R_0023_0046__AND,R_0023_0047__A_R_0023_0048__LOAD)
                    & r_0023_0047__a_r_0023_0048__load(R_0023_0047__A_R_0023_0048__LOAD)
                    & has_r_0023_0049__of(R_0023_0047__A_R_0023_0048__LOAD,R_0023_0052__MODULES)
                    & r_0023_0052__modules(R_0023_0052__MODULES)
                    & has_attrib138(R_0023_0052__MODULES,R_0023_0051__RELOCATABLE)
                    & has_attrib135(R_0023_0052__MODULES,R_0023_0050__SEPARATE)
                    & has_conj1(R_0023_0046__AND,R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM)
                    & has_nim103(R_0023_0037__DOES_R_0023_0040__LOOK,R_0023_0039__HALF)
                    & has_arg0(R_0023_0037__DOES_R_0023_0040__LOOK,R_0023_0034__THE_R_0023_0035__BOOT_R_0023_0036__ROM) )
              & has_conj1(R_0023_0033__AND,R_0023_0014__THERE_R_0023_0015___APOS_S)
              & r_0023_0014__there_r_0023_0015___apos_s(R_0023_0014__THERE_R_0023_0015___APOS_S)
              & has_arg0(R_0023_0014__THERE_R_0023_0015___APOS_S,R_0023_0024__AND)
              & r_0023_0024__and(R_0023_0024__AND)
              & has_conj2(R_0023_0024__AND,R_0023_0025__A_R_0023_0026__FILING_R_0023_0027__SYSTEM)
              & r_0023_0025__a_r_0023_0026__filing_r_0023_0027__system(R_0023_0025__A_R_0023_0026__FILING_R_0023_0027__SYSTEM)
              & has_r_0023_0028__on(R_0023_0025__A_R_0023_0026__FILING_R_0023_0027__SYSTEM,R_0023_0029__THE_R_0023_0030__NAND_R_0023_0031__FLASH)
              & has_conj1(R_0023_0024__AND,R_0023_0016__A_R_0023_0017__BOOT_R_0023_0018__ROM)
              & r_0023_0016__a_r_0023_0017__boot_r_0023_0018__ROM(R_0023_0016__A_R_0023_0017__BOOT_R_0023_0018__ROM)
              & has_r_0023_0019__in(R_0023_0016__A_R_0023_0017__BOOT_R_0023_0018__ROM,R_0023_0020__THE_R_0023_0021__NOR_R_0023_0022__FLASH)
              & has_arg0(R_0023_0013__FIND,R_0023_0002__YOU) ) ) ) ).



n23_a_paulfellows n23_a_paulfellows__1_1_1_1 If n23_a_paulfellows__1_1_2_1_1_1 you n23_a_paulfellows__1_1_2_2_1 look n23_a_paulfellows__1_1_2_3_1_1 inside n23_a_paulfellows__1_1_2_3_2_1_1 one n23_a_paulfellows__1_1_2_3_2_2_1_1 of n23_a_paulfellows__1_1_2_3_2_2_2_1_1 these n23_a_paulfellows__1_1_2_3_2_2_2_2_1 Amino n23_a_paulfellows__1_1_2_3_2_2_2_3_1 set n23_a_paulfellows__1_1_2_3_2_2_2_4_1 top n23_a_paulfellows__1_1_2_3_2_2_2_5_1 boxes n23_a_paulfellows__1_2_1_1 you n23_a_paulfellows__1_3_1 find n23_a_paulfellows__1_4_1_1_1_1_1 there n23_a_paulfellows__1_4_1_1_1_2_1 's n23_a_paulfellows__1_4_1_1_1_3_1_1_1_1 a n23_a_paulfellows__1_4_1_1_1_3_1_1_2_1 boot n23_a_paulfellows__1_4_1_1_1_3_1_1_3_1 ROM n23_a_paulfellows__1_4_1_1_1_3_1_1_4_1_1 in n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_1_1 the n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_2_1 NOR n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_3_1 flash n23_a_paulfellows__1_4_1_1_1_3_1_2_1 , n23_a_paulfellows__1_4_1_1_1_3_1_3_1_1 and n23_a_paulfellows__1_4_1_1_1_3_1_3_2_1_1 a n23_a_paulfellows__1_4_1_1_1_3_1_3_2_2_1 filing n23_a_paulfellows__1_4_1_1_1_3_1_3_2_3_1 system n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_1_1 on n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_1_1 the n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_2_1 NAND n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_3_1 flash n23_a_paulfellows__1_4_1_1_2_1 , n23_a_paulfellows__1_4_1_1_3_1_1 and n23_a_paulfellows__1_4_1_1_3_2_1_1_1_1 the n23_a_paulfellows__1_4_1_1_3_2_1_1_2_1 boot n23_a_paulfellows__1_4_1_1_3_2_1_1_3_1 ROM n23_a_paulfellows__1_4_1_1_3_2_1_2_1 does n23_a_paulfellows__1_4_1_1_3_2_1_3_1 n't n23_a_paulfellows__1_4_1_1_3_2_1_4_1_1 half n23_a_paulfellows__1_4_1_1_3_2_1_5_1 look n23_a_paulfellows__1_4_1_1_3_2_1_6_1_1 like n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_1_1 the n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_2_1 core n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3_1_1 operating n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_4_1 system n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_1_1 and n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_1_1 a n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_2_1 load n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_1_1 of n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1_1_1 separate n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2_1_1 relocatable n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_3_1 modules n23_a_paulfellows__1_5_1 , n23_a_paulfellows__1_6_1_1_1_1 it n23_a_paulfellows__1_6_1_2_1_1_1 boots n23_a_paulfellows__1_6_1_2_1_2_1_1 up n23_a_paulfellows__1_6_1_2_2_1_1 and n23_a_paulfellows__1_6_1_2_2_2_1_1 runs n23_a_paulfellows__1_6_1_2_2_2_2_1_1 <ast> n23_a_paulfellows__1_6_1_2_2_2_2_2_1 exec n23_a_paulfellows__1_7_1 ! n23_a_paulfellows__1 IP-MAT n23_a_paulfellows__1_1 PP-SCON n23_a_paulfellows__1->n23_a_paulfellows__1_1 n23_a_paulfellows__1_2 NP-SBJ n23_a_paulfellows__1->n23_a_paulfellows__1_2 n23_a_paulfellows__1_3 VBP;_Tf_ n23_a_paulfellows__1->n23_a_paulfellows__1_3 n23_a_paulfellows__1_4 CP-THT-OB1 n23_a_paulfellows__1->n23_a_paulfellows__1_4 n23_a_paulfellows__1_5 PUNC n23_a_paulfellows__1->n23_a_paulfellows__1_5 n23_a_paulfellows__1_6 PRN n23_a_paulfellows__1->n23_a_paulfellows__1_6 n23_a_paulfellows__1_7 PUNC n23_a_paulfellows__1->n23_a_paulfellows__1_7 n23_a_paulfellows__1_1_1 P-CONN n23_a_paulfellows__1_1->n23_a_paulfellows__1_1_1 n23_a_paulfellows__1_1_2 IP-ADV n23_a_paulfellows__1_1->n23_a_paulfellows__1_1_2 n23_a_paulfellows__1_1_1->n23_a_paulfellows__1_1_1_1 n23_a_paulfellows__1_1_2_1 NP-SBJ n23_a_paulfellows__1_1_2->n23_a_paulfellows__1_1_2_1 n23_a_paulfellows__1_1_2_2 VBP;_Ipr_ n23_a_paulfellows__1_1_2->n23_a_paulfellows__1_1_2_2 n23_a_paulfellows__1_1_2_3 PP-CLR n23_a_paulfellows__1_1_2->n23_a_paulfellows__1_1_2_3 n23_a_paulfellows__1_1_2_1_1 PRO n23_a_paulfellows__1_1_2_1->n23_a_paulfellows__1_1_2_1_1 n23_a_paulfellows__1_1_2_1_1->n23_a_paulfellows__1_1_2_1_1_1 n23_a_paulfellows__1_1_2_2->n23_a_paulfellows__1_1_2_2_1 n23_a_paulfellows__1_1_2_3_1 P-ROLE n23_a_paulfellows__1_1_2_3->n23_a_paulfellows__1_1_2_3_1 n23_a_paulfellows__1_1_2_3_2 NP n23_a_paulfellows__1_1_2_3->n23_a_paulfellows__1_1_2_3_2 n23_a_paulfellows__1_1_2_3_1->n23_a_paulfellows__1_1_2_3_1_1 n23_a_paulfellows__1_1_2_3_2_1 NUM n23_a_paulfellows__1_1_2_3_2->n23_a_paulfellows__1_1_2_3_2_1 n23_a_paulfellows__1_1_2_3_2_2 PP n23_a_paulfellows__1_1_2_3_2->n23_a_paulfellows__1_1_2_3_2_2 n23_a_paulfellows__1_1_2_3_2_1->n23_a_paulfellows__1_1_2_3_2_1_1 n23_a_paulfellows__1_1_2_3_2_2_1 P-ROLE n23_a_paulfellows__1_1_2_3_2_2->n23_a_paulfellows__1_1_2_3_2_2_1 n23_a_paulfellows__1_1_2_3_2_2_2 NP n23_a_paulfellows__1_1_2_3_2_2->n23_a_paulfellows__1_1_2_3_2_2_2 n23_a_paulfellows__1_1_2_3_2_2_1->n23_a_paulfellows__1_1_2_3_2_2_1_1 n23_a_paulfellows__1_1_2_3_2_2_2_1 D n23_a_paulfellows__1_1_2_3_2_2_2->n23_a_paulfellows__1_1_2_3_2_2_2_1 n23_a_paulfellows__1_1_2_3_2_2_2_2 NPR n23_a_paulfellows__1_1_2_3_2_2_2->n23_a_paulfellows__1_1_2_3_2_2_2_2 n23_a_paulfellows__1_1_2_3_2_2_2_3 N n23_a_paulfellows__1_1_2_3_2_2_2->n23_a_paulfellows__1_1_2_3_2_2_2_3 n23_a_paulfellows__1_1_2_3_2_2_2_4 N n23_a_paulfellows__1_1_2_3_2_2_2->n23_a_paulfellows__1_1_2_3_2_2_2_4 n23_a_paulfellows__1_1_2_3_2_2_2_5 NS n23_a_paulfellows__1_1_2_3_2_2_2->n23_a_paulfellows__1_1_2_3_2_2_2_5 n23_a_paulfellows__1_1_2_3_2_2_2_1->n23_a_paulfellows__1_1_2_3_2_2_2_1_1 n23_a_paulfellows__1_1_2_3_2_2_2_2->n23_a_paulfellows__1_1_2_3_2_2_2_2_1 n23_a_paulfellows__1_1_2_3_2_2_2_3->n23_a_paulfellows__1_1_2_3_2_2_2_3_1 n23_a_paulfellows__1_1_2_3_2_2_2_4->n23_a_paulfellows__1_1_2_3_2_2_2_4_1 n23_a_paulfellows__1_1_2_3_2_2_2_5->n23_a_paulfellows__1_1_2_3_2_2_2_5_1 n23_a_paulfellows__1_2_1 PRO n23_a_paulfellows__1_2->n23_a_paulfellows__1_2_1 n23_a_paulfellows__1_2_1->n23_a_paulfellows__1_2_1_1 n23_a_paulfellows__1_3->n23_a_paulfellows__1_3_1 n23_a_paulfellows__1_4_1 IP-SUB n23_a_paulfellows__1_4->n23_a_paulfellows__1_4_1 n23_a_paulfellows__1_4_1_1 ILYR n23_a_paulfellows__1_4_1->n23_a_paulfellows__1_4_1_1 n23_a_paulfellows__1_4_1_1_1 ILYR n23_a_paulfellows__1_4_1_1->n23_a_paulfellows__1_4_1_1_1 n23_a_paulfellows__1_4_1_1_2 PUNC n23_a_paulfellows__1_4_1_1->n23_a_paulfellows__1_4_1_1_2 n23_a_paulfellows__1_4_1_1_3 CONJP n23_a_paulfellows__1_4_1_1->n23_a_paulfellows__1_4_1_1_3 n23_a_paulfellows__1_4_1_1_1_1 EX n23_a_paulfellows__1_4_1_1_1->n23_a_paulfellows__1_4_1_1_1_1 n23_a_paulfellows__1_4_1_1_1_2 BEP;_ex_V_ n23_a_paulfellows__1_4_1_1_1->n23_a_paulfellows__1_4_1_1_1_2 n23_a_paulfellows__1_4_1_1_1_3 NP-ESBJ n23_a_paulfellows__1_4_1_1_1->n23_a_paulfellows__1_4_1_1_1_3 n23_a_paulfellows__1_4_1_1_1_1->n23_a_paulfellows__1_4_1_1_1_1_1 n23_a_paulfellows__1_4_1_1_1_2->n23_a_paulfellows__1_4_1_1_1_2_1 n23_a_paulfellows__1_4_1_1_1_3_1 NLYR n23_a_paulfellows__1_4_1_1_1_3->n23_a_paulfellows__1_4_1_1_1_3_1 n23_a_paulfellows__1_4_1_1_1_3_1_1 NLYR n23_a_paulfellows__1_4_1_1_1_3_1->n23_a_paulfellows__1_4_1_1_1_3_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_2 PUNC n23_a_paulfellows__1_4_1_1_1_3_1->n23_a_paulfellows__1_4_1_1_1_3_1_2 n23_a_paulfellows__1_4_1_1_1_3_1_3 CONJP n23_a_paulfellows__1_4_1_1_1_3_1->n23_a_paulfellows__1_4_1_1_1_3_1_3 n23_a_paulfellows__1_4_1_1_1_3_1_1_1 D n23_a_paulfellows__1_4_1_1_1_3_1_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_2 N n23_a_paulfellows__1_4_1_1_1_3_1_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_2 n23_a_paulfellows__1_4_1_1_1_3_1_1_3 N n23_a_paulfellows__1_4_1_1_1_3_1_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_3 n23_a_paulfellows__1_4_1_1_1_3_1_1_4 PP n23_a_paulfellows__1_4_1_1_1_3_1_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_4 n23_a_paulfellows__1_4_1_1_1_3_1_1_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_2->n23_a_paulfellows__1_4_1_1_1_3_1_1_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_3->n23_a_paulfellows__1_4_1_1_1_3_1_1_3_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_1 P-ROLE n23_a_paulfellows__1_4_1_1_1_3_1_1_4->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2 NP n23_a_paulfellows__1_4_1_1_1_3_1_1_4->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_1 D n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_2 NPR n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_2 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_3 N n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_3 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_1->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_2->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_3->n23_a_paulfellows__1_4_1_1_1_3_1_1_4_2_3_1 n23_a_paulfellows__1_4_1_1_1_3_1_2->n23_a_paulfellows__1_4_1_1_1_3_1_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_1 CONJ n23_a_paulfellows__1_4_1_1_1_3_1_3->n23_a_paulfellows__1_4_1_1_1_3_1_3_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2 NLYR n23_a_paulfellows__1_4_1_1_1_3_1_3->n23_a_paulfellows__1_4_1_1_1_3_1_3_2 n23_a_paulfellows__1_4_1_1_1_3_1_3_1->n23_a_paulfellows__1_4_1_1_1_3_1_3_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_1 D n23_a_paulfellows__1_4_1_1_1_3_1_3_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_2 N n23_a_paulfellows__1_4_1_1_1_3_1_3_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_2 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_3 N n23_a_paulfellows__1_4_1_1_1_3_1_3_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_3 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4 PP n23_a_paulfellows__1_4_1_1_1_3_1_3_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_1->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_3->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_3_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_1 P-ROLE n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2 NP n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_1->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_1 D n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_2 NPR n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_2 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_3 N n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_3 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_1->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_1_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_2->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_2_1 n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_3->n23_a_paulfellows__1_4_1_1_1_3_1_3_2_4_2_3_1 n23_a_paulfellows__1_4_1_1_2->n23_a_paulfellows__1_4_1_1_2_1 n23_a_paulfellows__1_4_1_1_3_1 CONJ n23_a_paulfellows__1_4_1_1_3->n23_a_paulfellows__1_4_1_1_3_1 n23_a_paulfellows__1_4_1_1_3_2 ILYR n23_a_paulfellows__1_4_1_1_3->n23_a_paulfellows__1_4_1_1_3_2 n23_a_paulfellows__1_4_1_1_3_1->n23_a_paulfellows__1_4_1_1_3_1_1 n23_a_paulfellows__1_4_1_1_3_2_1 ILYR n23_a_paulfellows__1_4_1_1_3_2->n23_a_paulfellows__1_4_1_1_3_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_1 NP-SBJ n23_a_paulfellows__1_4_1_1_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_2 DOP n23_a_paulfellows__1_4_1_1_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_2 n23_a_paulfellows__1_4_1_1_3_2_1_3 NEG;_clitic_ n23_a_paulfellows__1_4_1_1_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_3 n23_a_paulfellows__1_4_1_1_3_2_1_4 ADVP-NIM n23_a_paulfellows__1_4_1_1_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_4 n23_a_paulfellows__1_4_1_1_3_2_1_5 VB;_Ipr_ n23_a_paulfellows__1_4_1_1_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_5 n23_a_paulfellows__1_4_1_1_3_2_1_6 PP-CLR n23_a_paulfellows__1_4_1_1_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6 n23_a_paulfellows__1_4_1_1_3_2_1_1_1 D n23_a_paulfellows__1_4_1_1_3_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_1_2 N n23_a_paulfellows__1_4_1_1_3_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_1_2 n23_a_paulfellows__1_4_1_1_3_2_1_1_3 N n23_a_paulfellows__1_4_1_1_3_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_1_3 n23_a_paulfellows__1_4_1_1_3_2_1_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_1_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_1_2->n23_a_paulfellows__1_4_1_1_3_2_1_1_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_1_3->n23_a_paulfellows__1_4_1_1_3_2_1_1_3_1 n23_a_paulfellows__1_4_1_1_3_2_1_2->n23_a_paulfellows__1_4_1_1_3_2_1_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_3->n23_a_paulfellows__1_4_1_1_3_2_1_3_1 n23_a_paulfellows__1_4_1_1_3_2_1_4_1 ADV n23_a_paulfellows__1_4_1_1_3_2_1_4->n23_a_paulfellows__1_4_1_1_3_2_1_4_1 n23_a_paulfellows__1_4_1_1_3_2_1_4_1->n23_a_paulfellows__1_4_1_1_3_2_1_4_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_5->n23_a_paulfellows__1_4_1_1_3_2_1_5_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_1 P-ROLE n23_a_paulfellows__1_4_1_1_3_2_1_6->n23_a_paulfellows__1_4_1_1_3_2_1_6_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2 NP n23_a_paulfellows__1_4_1_1_3_2_1_6->n23_a_paulfellows__1_4_1_1_3_2_1_6_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1 NLYR n23_a_paulfellows__1_4_1_1_3_2_1_6_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1 NLYR n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2 CONJP n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_1 D n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_2 N n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3 IP-PPL n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_4 N n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_4 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3_1 VAG;_I_ n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_3_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_4->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_1_4_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_1 CONJ n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2 NLYR n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_1 D n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_2 N n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3 PP n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_1 P-ROLE n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2 NP n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1 ADJP n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2 ADJP n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_3 NS n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_3 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1_1 ADJ n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_1_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2_1 ADJ n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2_1->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_2_1_1 n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_3->n23_a_paulfellows__1_4_1_1_3_2_1_6_2_1_2_2_3_2_3_1 n23_a_paulfellows__1_5->n23_a_paulfellows__1_5_1 n23_a_paulfellows__1_6_1 IP-MAT n23_a_paulfellows__1_6->n23_a_paulfellows__1_6_1 n23_a_paulfellows__1_6_1_1 NP-SBJ n23_a_paulfellows__1_6_1->n23_a_paulfellows__1_6_1_1 n23_a_paulfellows__1_6_1_2 ILYR n23_a_paulfellows__1_6_1->n23_a_paulfellows__1_6_1_2 n23_a_paulfellows__1_6_1_1_1 PRO n23_a_paulfellows__1_6_1_1->n23_a_paulfellows__1_6_1_1_1 n23_a_paulfellows__1_6_1_1_1->n23_a_paulfellows__1_6_1_1_1_1 n23_a_paulfellows__1_6_1_2_1 ILYR n23_a_paulfellows__1_6_1_2->n23_a_paulfellows__1_6_1_2_1 n23_a_paulfellows__1_6_1_2_2 CONJP n23_a_paulfellows__1_6_1_2->n23_a_paulfellows__1_6_1_2_2 n23_a_paulfellows__1_6_1_2_1_1 VBP;_Ip_ n23_a_paulfellows__1_6_1_2_1->n23_a_paulfellows__1_6_1_2_1_1 n23_a_paulfellows__1_6_1_2_1_2 ADVP-CLR n23_a_paulfellows__1_6_1_2_1->n23_a_paulfellows__1_6_1_2_1_2 n23_a_paulfellows__1_6_1_2_1_1->n23_a_paulfellows__1_6_1_2_1_1_1 n23_a_paulfellows__1_6_1_2_1_2_1 RP n23_a_paulfellows__1_6_1_2_1_2->n23_a_paulfellows__1_6_1_2_1_2_1 n23_a_paulfellows__1_6_1_2_1_2_1->n23_a_paulfellows__1_6_1_2_1_2_1_1 n23_a_paulfellows__1_6_1_2_2_1 CONJ n23_a_paulfellows__1_6_1_2_2->n23_a_paulfellows__1_6_1_2_2_1 n23_a_paulfellows__1_6_1_2_2_2 ILYR n23_a_paulfellows__1_6_1_2_2->n23_a_paulfellows__1_6_1_2_2_2 n23_a_paulfellows__1_6_1_2_2_1->n23_a_paulfellows__1_6_1_2_2_1_1 n23_a_paulfellows__1_6_1_2_2_2_1 VBP;_Tn_ n23_a_paulfellows__1_6_1_2_2_2->n23_a_paulfellows__1_6_1_2_2_2_1 n23_a_paulfellows__1_6_1_2_2_2_2 NP-OB1 n23_a_paulfellows__1_6_1_2_2_2->n23_a_paulfellows__1_6_1_2_2_2_2 n23_a_paulfellows__1_6_1_2_2_2_1->n23_a_paulfellows__1_6_1_2_2_2_1_1 n23_a_paulfellows__1_6_1_2_2_2_2_1 SYM n23_a_paulfellows__1_6_1_2_2_2_2->n23_a_paulfellows__1_6_1_2_2_2_2_1 n23_a_paulfellows__1_6_1_2_2_2_2_2 N n23_a_paulfellows__1_6_1_2_2_2_2->n23_a_paulfellows__1_6_1_2_2_2_2_2 n23_a_paulfellows__1_6_1_2_2_2_2_1->n23_a_paulfellows__1_6_1_2_2_2_2_1_1 n23_a_paulfellows__1_6_1_2_2_2_2_2->n23_a_paulfellows__1_6_1_2_2_2_2_2_1 n23_a_paulfellows__1_7->n23_a_paulfellows__1_7_1
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ look;{look[inside]})
                           (PP-CLR (P-ROLE inside;{inside})
                                   (NP (NUM one;{one})
                                       (PP (P-ROLE of;{of})
                                           (NP (D these;{these})
                                               (NPR Amino;{Amino})
                                               (N set;{set})
                                               (N top;{top})
                                               (NS boxes;{box})))))))
          (NP-SBJ (PRO you;{you}))
          (VBP;_Tf_ find;{find})
          (CP-THT-OB1 (IP-SUB (ILYR (ILYR (EX there;{there})
                                          (BEP;_ex_V_ <apos>s;{be})
                                          (NP-ESBJ (NLYR (NLYR (D a;{a})
                                                               (N boot;{boot})
                                                               (N ROM;{rom})
                                                               (PP (P-ROLE in;{in})
                                                                   (NP (D the;{the})
                                                                       (NPR NOR;{NOR})
                                                                       (N flash;{flash}))))
                                                         (PUNC ,)
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (D a;{a})
                                                                      (N filing;{filing})
                                                                      (N system;{system})
                                                                      (PP (P-ROLE on;{on})
                                                                          (NP (D the;{the})
                                                                              (NPR NAND;{NAND})
                                                                              (N flash;{flash}))))))))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (ILYR (ILYR (NP-SBJ (D the;{the})
                                                               (N boot;{boot})
                                                               (N ROM;{rom}))
                                                       (DOP does;{do})
                                                       (NEG;_clitic_ n<apos>t;{not})
                                                       (ADVP-NIM (ADV half;{half}))
                                                       (VB;_Ipr_ look;{look[like]})
                                                       (PP-CLR (P-ROLE like;{like})
                                                               (NP (NLYR (NLYR (D the;{the})
                                                                               (N core;{core})
                                                                               (IP-PPL (VAG;_I_ operating;{operate}))
                                                                               (N system;{system}))
                                                                         (CONJP (CONJ and;{and})
                                                                                (NLYR (D a;{a})
                                                                                      (N load;{load})
                                                                                      (PP (P-ROLE of;{of})
                                                                                          (NP (ADJP (ADJ separate;{separate}))
                                                                                              (ADJP (ADJ relocatable;{relocatable}))
                                                                                              (NS modules;{module}))))))))))))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO it;{it}))
                       (ILYR (ILYR (VBP;_Ip_ boots;{boot[up]})
                                   (ADVP-CLR (RP up;{up})))
                             (CONJP (CONJ and;{and})
                                    (ILYR (VBP;_Tn_ runs;{run})
                                          (NP-OB1 (SYM <ast>)
                                                  (N exec;{exec})))))))
          (PUNC !))
  (ID 23_a_paulfellows))