Context                Previous, Next                Top


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_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] 
fof(formula,axiom,
    ? [R_23_44_OPERATING,R_23_42_THE_CORE_SYSTEM] :
      ( the_core_system(R_23_42_THE_CORE_SYSTEM)
      & ! [R_23_3_LOOK,R_23_2_YOU,R_23_5_ONE,R_23_7_THESE_AMINO_SET_TOP_BOXES] :
          ( ( you(R_23_2_YOU)
            & these_Amino_set_top_boxes(R_23_7_THESE_AMINO_SET_TOP_BOXES)
            & look(R_23_3_LOOK,R_23_2_YOU)
            & inside_clr14(R_23_3_LOOK,R_23_5_ONE)
            & one(R_23_5_ONE)
            & of(R_23_5_ONE,R_23_7_THESE_AMINO_SET_TOP_BOXES) )
         => ? [R_23_13_FIND,R_23_33_AND,R_23_14_THERE_APOS_S,R_23_24_AND,R_23_16_A_BOOT_ROM,R_23_20_THE_NOR_FLASH,R_23_25_A_FILING_SYSTEM,R_23_29_THE_NAND_FLASH] :
              ( the_NOR_flash(R_23_20_THE_NOR_FLASH)
              & the_NAND_flash(R_23_29_THE_NAND_FLASH)
              & find(R_23_13_FIND,R_23_2_YOU,R_23_33_AND)
              & and(R_23_33_AND)
              & conj1(R_23_33_AND,R_23_14_THERE_APOS_S)
              & there_apos_s(R_23_14_THERE_APOS_S,R_23_24_AND)
              & and(R_23_24_AND)
              & conj1(R_23_24_AND,R_23_16_A_BOOT_ROM)
              & a_boot_ROM(R_23_16_A_BOOT_ROM)
              & in(R_23_16_A_BOOT_ROM,R_23_20_THE_NOR_FLASH)
              & conj2(R_23_24_AND,R_23_25_A_FILING_SYSTEM)
              & a_filing_system(R_23_25_A_FILING_SYSTEM)
              & on(R_23_25_A_FILING_SYSTEM,R_23_29_THE_NAND_FLASH)
              & conj2(R_23_33_AND,R_23_38_N_APOS_T)
              & ~ ? [R_23_37_DOES_LOOK,R_23_34_THE_BOOT_ROM,R_23_39_HALF,R_23_46_AND,R_23_47_A_LOAD,R_23_52_MODULES,R_23_50_SEPARATE,R_23_51_RELOCATABLE] :
                    ( the_boot_ROM(R_23_34_THE_BOOT_ROM)
                    & half(R_23_39_HALF)
                    & separate(R_23_50_SEPARATE)
                    & relocatable(R_23_51_RELOCATABLE)
                    & does_look(R_23_37_DOES_LOOK,R_23_34_THE_BOOT_ROM)
                    & nim103(R_23_37_DOES_LOOK,R_23_39_HALF)
                    & like_clr111(R_23_37_DOES_LOOK,R_23_46_AND)
                    & and(R_23_46_AND)
                    & conj1(R_23_46_AND,R_23_42_THE_CORE_SYSTEM)
                    & conj2(R_23_46_AND,R_23_47_A_LOAD)
                    & a_load(R_23_47_A_LOAD)
                    & of(R_23_47_A_LOAD,R_23_52_MODULES)
                    & modules(R_23_52_MODULES)
                    & attrib135(R_23_52_MODULES,R_23_50_SEPARATE)
                    & attrib138(R_23_52_MODULES,R_23_51_RELOCATABLE) ) ) )
      & operating(R_23_44_OPERATING,R_23_42_THE_CORE_SYSTEM) ) ).


n23_a_paulfellows n23_a_paulfellows_4 If n23_a_paulfellows_8 you n23_a_paulfellows_10 look n23_a_paulfellows_13 inside n23_a_paulfellows_16 one n23_a_paulfellows_19 of n23_a_paulfellows_22 these n23_a_paulfellows_24 Amino n23_a_paulfellows_26 set n23_a_paulfellows_28 top n23_a_paulfellows_30 boxes n23_a_paulfellows_33 you n23_a_paulfellows_35 find n23_a_paulfellows_41 there n23_a_paulfellows_43 's n23_a_paulfellows_48 a n23_a_paulfellows_50 boot n23_a_paulfellows_52 ROM n23_a_paulfellows_55 in n23_a_paulfellows_58 the n23_a_paulfellows_60 NOR n23_a_paulfellows_62 flash n23_a_paulfellows_64 , n23_a_paulfellows_67 and n23_a_paulfellows_70 a n23_a_paulfellows_72 filing n23_a_paulfellows_74 system n23_a_paulfellows_77 on n23_a_paulfellows_80 the n23_a_paulfellows_82 NAND n23_a_paulfellows_84 flash n23_a_paulfellows_86 , n23_a_paulfellows_89 and n23_a_paulfellows_94 the n23_a_paulfellows_96 boot n23_a_paulfellows_98 ROM n23_a_paulfellows_100 does n23_a_paulfellows_102 n't n23_a_paulfellows_105 half n23_a_paulfellows_107 look n23_a_paulfellows_110 like n23_a_paulfellows_115 the n23_a_paulfellows_117 core n23_a_paulfellows_120 operating n23_a_paulfellows_122 system n23_a_paulfellows_125 and n23_a_paulfellows_128 a n23_a_paulfellows_130 load n23_a_paulfellows_133 of n23_a_paulfellows_137 separate n23_a_paulfellows_140 relocatable n23_a_paulfellows_142 modules n23_a_paulfellows_144 , n23_a_paulfellows_149 it n23_a_paulfellows_153 boots n23_a_paulfellows_156 up n23_a_paulfellows_159 and n23_a_paulfellows_162 runs n23_a_paulfellows_165 <ast> n23_a_paulfellows_167 exec n23_a_paulfellows_169 ! n23_a_paulfellows_1 IP-MAT n23_a_paulfellows_2 PP-SCON n23_a_paulfellows_1->n23_a_paulfellows_2 n23_a_paulfellows_31 NP-SBJ n23_a_paulfellows_1->n23_a_paulfellows_31 n23_a_paulfellows_34 VBP;_Tf_ n23_a_paulfellows_1->n23_a_paulfellows_34 n23_a_paulfellows_36 CP-THT-OB1 n23_a_paulfellows_1->n23_a_paulfellows_36 n23_a_paulfellows_143 PUNC n23_a_paulfellows_1->n23_a_paulfellows_143 n23_a_paulfellows_145 PRN n23_a_paulfellows_1->n23_a_paulfellows_145 n23_a_paulfellows_168 PUNC n23_a_paulfellows_1->n23_a_paulfellows_168 n23_a_paulfellows_3 P-CONN n23_a_paulfellows_2->n23_a_paulfellows_3 n23_a_paulfellows_5 IP-ADV n23_a_paulfellows_2->n23_a_paulfellows_5 n23_a_paulfellows_3->n23_a_paulfellows_4 n23_a_paulfellows_6 NP-SBJ n23_a_paulfellows_5->n23_a_paulfellows_6 n23_a_paulfellows_9 VBP;_Ipr_ n23_a_paulfellows_5->n23_a_paulfellows_9 n23_a_paulfellows_11 PP-CLR n23_a_paulfellows_5->n23_a_paulfellows_11 n23_a_paulfellows_7 PRO n23_a_paulfellows_6->n23_a_paulfellows_7 n23_a_paulfellows_7->n23_a_paulfellows_8 n23_a_paulfellows_9->n23_a_paulfellows_10 n23_a_paulfellows_12 P-ROLE n23_a_paulfellows_11->n23_a_paulfellows_12 n23_a_paulfellows_14 NP n23_a_paulfellows_11->n23_a_paulfellows_14 n23_a_paulfellows_12->n23_a_paulfellows_13 n23_a_paulfellows_15 NUM n23_a_paulfellows_14->n23_a_paulfellows_15 n23_a_paulfellows_17 PP n23_a_paulfellows_14->n23_a_paulfellows_17 n23_a_paulfellows_15->n23_a_paulfellows_16 n23_a_paulfellows_18 P-ROLE n23_a_paulfellows_17->n23_a_paulfellows_18 n23_a_paulfellows_20 NP n23_a_paulfellows_17->n23_a_paulfellows_20 n23_a_paulfellows_18->n23_a_paulfellows_19 n23_a_paulfellows_21 D n23_a_paulfellows_20->n23_a_paulfellows_21 n23_a_paulfellows_23 NPR n23_a_paulfellows_20->n23_a_paulfellows_23 n23_a_paulfellows_25 N n23_a_paulfellows_20->n23_a_paulfellows_25 n23_a_paulfellows_27 N n23_a_paulfellows_20->n23_a_paulfellows_27 n23_a_paulfellows_29 NS n23_a_paulfellows_20->n23_a_paulfellows_29 n23_a_paulfellows_21->n23_a_paulfellows_22 n23_a_paulfellows_23->n23_a_paulfellows_24 n23_a_paulfellows_25->n23_a_paulfellows_26 n23_a_paulfellows_27->n23_a_paulfellows_28 n23_a_paulfellows_29->n23_a_paulfellows_30 n23_a_paulfellows_32 PRO n23_a_paulfellows_31->n23_a_paulfellows_32 n23_a_paulfellows_32->n23_a_paulfellows_33 n23_a_paulfellows_34->n23_a_paulfellows_35 n23_a_paulfellows_37 IP-SUB n23_a_paulfellows_36->n23_a_paulfellows_37 n23_a_paulfellows_38 ILYR n23_a_paulfellows_37->n23_a_paulfellows_38 n23_a_paulfellows_39 ILYR n23_a_paulfellows_38->n23_a_paulfellows_39 n23_a_paulfellows_85 PUNC n23_a_paulfellows_38->n23_a_paulfellows_85 n23_a_paulfellows_87 CONJP n23_a_paulfellows_38->n23_a_paulfellows_87 n23_a_paulfellows_40 EX n23_a_paulfellows_39->n23_a_paulfellows_40 n23_a_paulfellows_42 BEP;_ex_V_ n23_a_paulfellows_39->n23_a_paulfellows_42 n23_a_paulfellows_44 NP-ESBJ n23_a_paulfellows_39->n23_a_paulfellows_44 n23_a_paulfellows_40->n23_a_paulfellows_41 n23_a_paulfellows_42->n23_a_paulfellows_43 n23_a_paulfellows_45 NLYR n23_a_paulfellows_44->n23_a_paulfellows_45 n23_a_paulfellows_46 NLYR n23_a_paulfellows_45->n23_a_paulfellows_46 n23_a_paulfellows_63 PUNC n23_a_paulfellows_45->n23_a_paulfellows_63 n23_a_paulfellows_65 CONJP n23_a_paulfellows_45->n23_a_paulfellows_65 n23_a_paulfellows_47 D n23_a_paulfellows_46->n23_a_paulfellows_47 n23_a_paulfellows_49 N n23_a_paulfellows_46->n23_a_paulfellows_49 n23_a_paulfellows_51 N n23_a_paulfellows_46->n23_a_paulfellows_51 n23_a_paulfellows_53 PP n23_a_paulfellows_46->n23_a_paulfellows_53 n23_a_paulfellows_47->n23_a_paulfellows_48 n23_a_paulfellows_49->n23_a_paulfellows_50 n23_a_paulfellows_51->n23_a_paulfellows_52 n23_a_paulfellows_54 P-ROLE n23_a_paulfellows_53->n23_a_paulfellows_54 n23_a_paulfellows_56 NP n23_a_paulfellows_53->n23_a_paulfellows_56 n23_a_paulfellows_54->n23_a_paulfellows_55 n23_a_paulfellows_57 D n23_a_paulfellows_56->n23_a_paulfellows_57 n23_a_paulfellows_59 NPR n23_a_paulfellows_56->n23_a_paulfellows_59 n23_a_paulfellows_61 N n23_a_paulfellows_56->n23_a_paulfellows_61 n23_a_paulfellows_57->n23_a_paulfellows_58 n23_a_paulfellows_59->n23_a_paulfellows_60 n23_a_paulfellows_61->n23_a_paulfellows_62 n23_a_paulfellows_63->n23_a_paulfellows_64 n23_a_paulfellows_66 CONJ n23_a_paulfellows_65->n23_a_paulfellows_66 n23_a_paulfellows_68 NLYR n23_a_paulfellows_65->n23_a_paulfellows_68 n23_a_paulfellows_66->n23_a_paulfellows_67 n23_a_paulfellows_69 D n23_a_paulfellows_68->n23_a_paulfellows_69 n23_a_paulfellows_71 N n23_a_paulfellows_68->n23_a_paulfellows_71 n23_a_paulfellows_73 N n23_a_paulfellows_68->n23_a_paulfellows_73 n23_a_paulfellows_75 PP n23_a_paulfellows_68->n23_a_paulfellows_75 n23_a_paulfellows_69->n23_a_paulfellows_70 n23_a_paulfellows_71->n23_a_paulfellows_72 n23_a_paulfellows_73->n23_a_paulfellows_74 n23_a_paulfellows_76 P-ROLE n23_a_paulfellows_75->n23_a_paulfellows_76 n23_a_paulfellows_78 NP n23_a_paulfellows_75->n23_a_paulfellows_78 n23_a_paulfellows_76->n23_a_paulfellows_77 n23_a_paulfellows_79 D n23_a_paulfellows_78->n23_a_paulfellows_79 n23_a_paulfellows_81 NPR n23_a_paulfellows_78->n23_a_paulfellows_81 n23_a_paulfellows_83 N n23_a_paulfellows_78->n23_a_paulfellows_83 n23_a_paulfellows_79->n23_a_paulfellows_80 n23_a_paulfellows_81->n23_a_paulfellows_82 n23_a_paulfellows_83->n23_a_paulfellows_84 n23_a_paulfellows_85->n23_a_paulfellows_86 n23_a_paulfellows_88 CONJ n23_a_paulfellows_87->n23_a_paulfellows_88 n23_a_paulfellows_90 ILYR n23_a_paulfellows_87->n23_a_paulfellows_90 n23_a_paulfellows_88->n23_a_paulfellows_89 n23_a_paulfellows_91 ILYR n23_a_paulfellows_90->n23_a_paulfellows_91 n23_a_paulfellows_92 NP-SBJ n23_a_paulfellows_91->n23_a_paulfellows_92 n23_a_paulfellows_99 DOP n23_a_paulfellows_91->n23_a_paulfellows_99 n23_a_paulfellows_101 NEG;_clitic_ n23_a_paulfellows_91->n23_a_paulfellows_101 n23_a_paulfellows_103 ADVP-NIM n23_a_paulfellows_91->n23_a_paulfellows_103 n23_a_paulfellows_106 VB;_Ipr_ n23_a_paulfellows_91->n23_a_paulfellows_106 n23_a_paulfellows_108 PP-CLR n23_a_paulfellows_91->n23_a_paulfellows_108 n23_a_paulfellows_93 D n23_a_paulfellows_92->n23_a_paulfellows_93 n23_a_paulfellows_95 N n23_a_paulfellows_92->n23_a_paulfellows_95 n23_a_paulfellows_97 N n23_a_paulfellows_92->n23_a_paulfellows_97 n23_a_paulfellows_93->n23_a_paulfellows_94 n23_a_paulfellows_95->n23_a_paulfellows_96 n23_a_paulfellows_97->n23_a_paulfellows_98 n23_a_paulfellows_99->n23_a_paulfellows_100 n23_a_paulfellows_101->n23_a_paulfellows_102 n23_a_paulfellows_104 ADV n23_a_paulfellows_103->n23_a_paulfellows_104 n23_a_paulfellows_104->n23_a_paulfellows_105 n23_a_paulfellows_106->n23_a_paulfellows_107 n23_a_paulfellows_109 P-ROLE n23_a_paulfellows_108->n23_a_paulfellows_109 n23_a_paulfellows_111 NP n23_a_paulfellows_108->n23_a_paulfellows_111 n23_a_paulfellows_109->n23_a_paulfellows_110 n23_a_paulfellows_112 NLYR n23_a_paulfellows_111->n23_a_paulfellows_112 n23_a_paulfellows_113 NLYR n23_a_paulfellows_112->n23_a_paulfellows_113 n23_a_paulfellows_123 CONJP n23_a_paulfellows_112->n23_a_paulfellows_123 n23_a_paulfellows_114 D n23_a_paulfellows_113->n23_a_paulfellows_114 n23_a_paulfellows_116 N n23_a_paulfellows_113->n23_a_paulfellows_116 n23_a_paulfellows_118 IP-PPL n23_a_paulfellows_113->n23_a_paulfellows_118 n23_a_paulfellows_121 N n23_a_paulfellows_113->n23_a_paulfellows_121 n23_a_paulfellows_114->n23_a_paulfellows_115 n23_a_paulfellows_116->n23_a_paulfellows_117 n23_a_paulfellows_119 VAG;_I_ n23_a_paulfellows_118->n23_a_paulfellows_119 n23_a_paulfellows_119->n23_a_paulfellows_120 n23_a_paulfellows_121->n23_a_paulfellows_122 n23_a_paulfellows_124 CONJ n23_a_paulfellows_123->n23_a_paulfellows_124 n23_a_paulfellows_126 NLYR n23_a_paulfellows_123->n23_a_paulfellows_126 n23_a_paulfellows_124->n23_a_paulfellows_125 n23_a_paulfellows_127 D n23_a_paulfellows_126->n23_a_paulfellows_127 n23_a_paulfellows_129 N n23_a_paulfellows_126->n23_a_paulfellows_129 n23_a_paulfellows_131 PP n23_a_paulfellows_126->n23_a_paulfellows_131 n23_a_paulfellows_127->n23_a_paulfellows_128 n23_a_paulfellows_129->n23_a_paulfellows_130 n23_a_paulfellows_132 P-ROLE n23_a_paulfellows_131->n23_a_paulfellows_132 n23_a_paulfellows_134 NP n23_a_paulfellows_131->n23_a_paulfellows_134 n23_a_paulfellows_132->n23_a_paulfellows_133 n23_a_paulfellows_135 ADJP n23_a_paulfellows_134->n23_a_paulfellows_135 n23_a_paulfellows_138 ADJP n23_a_paulfellows_134->n23_a_paulfellows_138 n23_a_paulfellows_141 NS n23_a_paulfellows_134->n23_a_paulfellows_141 n23_a_paulfellows_136 ADJ n23_a_paulfellows_135->n23_a_paulfellows_136 n23_a_paulfellows_136->n23_a_paulfellows_137 n23_a_paulfellows_139 ADJ n23_a_paulfellows_138->n23_a_paulfellows_139 n23_a_paulfellows_139->n23_a_paulfellows_140 n23_a_paulfellows_141->n23_a_paulfellows_142 n23_a_paulfellows_143->n23_a_paulfellows_144 n23_a_paulfellows_146 IP-MAT n23_a_paulfellows_145->n23_a_paulfellows_146 n23_a_paulfellows_147 NP-SBJ n23_a_paulfellows_146->n23_a_paulfellows_147 n23_a_paulfellows_150 ILYR n23_a_paulfellows_146->n23_a_paulfellows_150 n23_a_paulfellows_148 PRO n23_a_paulfellows_147->n23_a_paulfellows_148 n23_a_paulfellows_148->n23_a_paulfellows_149 n23_a_paulfellows_151 ILYR n23_a_paulfellows_150->n23_a_paulfellows_151 n23_a_paulfellows_157 CONJP n23_a_paulfellows_150->n23_a_paulfellows_157 n23_a_paulfellows_152 VBP;_Ip_ n23_a_paulfellows_151->n23_a_paulfellows_152 n23_a_paulfellows_154 ADVP-CLR n23_a_paulfellows_151->n23_a_paulfellows_154 n23_a_paulfellows_152->n23_a_paulfellows_153 n23_a_paulfellows_155 RP n23_a_paulfellows_154->n23_a_paulfellows_155 n23_a_paulfellows_155->n23_a_paulfellows_156 n23_a_paulfellows_158 CONJ n23_a_paulfellows_157->n23_a_paulfellows_158 n23_a_paulfellows_160 ILYR n23_a_paulfellows_157->n23_a_paulfellows_160 n23_a_paulfellows_158->n23_a_paulfellows_159 n23_a_paulfellows_161 VBP;_Tn_ n23_a_paulfellows_160->n23_a_paulfellows_161 n23_a_paulfellows_163 NP-OB1 n23_a_paulfellows_160->n23_a_paulfellows_163 n23_a_paulfellows_161->n23_a_paulfellows_162 n23_a_paulfellows_164 SYM n23_a_paulfellows_163->n23_a_paulfellows_164 n23_a_paulfellows_166 N n23_a_paulfellows_163->n23_a_paulfellows_166 n23_a_paulfellows_164->n23_a_paulfellows_165 n23_a_paulfellows_166->n23_a_paulfellows_167 n23_a_paulfellows_168->n23_a_paulfellows_169 
( (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))