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!

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))


%3 r_0023_0058__runs runs r_0023_0060__exec exec r_0023_0058__runs->r_0023_0060__exec [arg1] r_0023_0054__it it r_0023_0058__runs->r_0023_0054__it [arg0] r_0023_0057__and and r_0023_0057__and->r_0023_0058__runs [conj2] r_0023_0055__boots_r_0023_0056__up boots up r_0023_0057__and->r_0023_0055__boots_r_0023_0056__up [conj1] r_0023_0055__boots_r_0023_0056__up->r_0023_0054__it [arg0] 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 [inv_arg0] r_0023_0038__n_apos_t n't r_0023_0037__does_r_0023_0040__look_r_0023_0041__like does look like r_0023_0038__n_apos_t->r_0023_0037__does_r_0023_0040__look_r_0023_0041__like [keep_scope] r_0023_0037__does_r_0023_0040__look_r_0023_0041__like->r_0023_0046__and [arg1] r_0023_0039__half half r_0023_0037__does_r_0023_0040__look_r_0023_0041__like->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_0041__like->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_0015___apos_s 's r_0023_0033__and->r_0023_0015___apos_s [conj1] r_0023_0024__and and 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_0057__and [prn] 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_r_0023_0004__inside look inside r_0023_0003__look_r_0023_0004__inside->r_0023_0002__you [arg0] r_0023_0003__look_r_0023_0004__inside->r_0023_0005__one [arg1] r_0023_0001__If If r_0023_0001__If->r_0023_0013__find [scope] r_0023_0001__If->r_0023_0003__look_r_0023_0004__inside [restriction] 
arc(r_0023_0001__If,r_0023_0003__look_r_0023_0004__inside,restriction).
arc(r_0023_0001__If,r_0023_0013__find,scope).
arc(r_0023_0003__look_r_0023_0004__inside,r_0023_0002__you,arg0).
arc(r_0023_0003__look_r_0023_0004__inside,r_0023_0005__one,arg1).
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_0013__find,r_0023_0057__and,prn).
arc(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_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_0041__like,r_0023_0034__the_r_0023_0035__boot_r_0023_0036__ROM,arg0).
arc(r_0023_0037__does_r_0023_0040__look_r_0023_0041__like,r_0023_0039__half,nim).
arc(r_0023_0037__does_r_0023_0040__look_r_0023_0041__like,r_0023_0046__and,arg1).
arc(r_0023_0038__n_apos_t,r_0023_0037__does_r_0023_0040__look_r_0023_0041__like,keep_scope).
arc(r_0023_0044__operating,r_0023_0042__the_r_0023_0043__core_r_0023_0045__system,inv_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,attrib).
arc(r_0023_0052__modules,r_0023_0051__relocatable,attrib).
arc(r_0023_0055__boots_r_0023_0056__up,r_0023_0054__it,arg0).
arc(r_0023_0057__and,r_0023_0055__boots_r_0023_0056__up,conj1).
arc(r_0023_0057__and,r_0023_0058__runs,conj2).
arc(r_0023_0058__runs,r_0023_0054__it,arg0).
arc(r_0023_0058__runs,r_0023_0060__exec,arg1).


%3 r_0023_0001__If If r_0023_0003__look_r_0023_0004__inside look inside r_0023_0001__If->r_0023_0003__look_r_0023_0004__inside [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_0004__inside->r_0023_0002__you [arg0] r_0023_0005__one one r_0023_0003__look_r_0023_0004__inside->r_0023_0005__one [arg1] 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_0057__and and r_0023_0013__find->r_0023_0057__and [prn] 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_0015___apos_s 's r_0023_0033__and->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_0055__boots_r_0023_0056__up boots up r_0023_0057__and->r_0023_0055__boots_r_0023_0056__up [conj1] r_0023_0058__runs runs r_0023_0057__and->r_0023_0058__runs [conj2] r_0023_0024__and and 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_r_0023_0041__like does look like r_0023_0038__n_apos_t->r_0023_0037__does_r_0023_0040__look_r_0023_0041__like [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_0041__like->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_0041__like->r_0023_0039__half [nim] r_0023_0046__and and r_0023_0037__does_r_0023_0040__look_r_0023_0041__like->r_0023_0046__and [arg1] 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_0042__the_r_0023_0043__core_r_0023_0045__system->r_0023_0044__operating [inv_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] r_0023_0054__it it r_0023_0055__boots_r_0023_0056__up->r_0023_0054__it [arg0] r_0023_0058__runs->r_0023_0054__it [arg0] r_0023_0060__exec exec r_0023_0058__runs->r_0023_0060__exec [arg1] 
fof(formula,axiom,
    ! [R_0023_0003__LOOK_R_0023_0004__INSIDE,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_0004__inside(R_0023_0003__LOOK_R_0023_0004__INSIDE)
        & has_arg1(R_0023_0003__LOOK_R_0023_0004__INSIDE,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_0004__INSIDE,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_0015___APOS_S,R_0023_0033__AND,R_0023_0054__IT,R_0023_0055__BOOTS_R_0023_0056__UP,R_0023_0060__EXEC,R_0023_0058__RUNS,R_0023_0057__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_0054__it(R_0023_0054__IT)
          & r_0023_0060__exec(R_0023_0060__EXEC)
          & r_0023_0013__find(R_0023_0013__FIND)
          & has_prn(R_0023_0013__FIND,R_0023_0057__AND)
          & r_0023_0057__and(R_0023_0057__AND)
          & has_conj2(R_0023_0057__AND,R_0023_0058__RUNS)
          & r_0023_0058__runs(R_0023_0058__RUNS)
          & has_arg1(R_0023_0058__RUNS,R_0023_0060__EXEC)
          & has_arg0(R_0023_0058__RUNS,R_0023_0054__IT)
          & has_conj1(R_0023_0057__AND,R_0023_0055__BOOTS_R_0023_0056__UP)
          & r_0023_0055__boots_r_0023_0056__up(R_0023_0055__BOOTS_R_0023_0056__UP)
          & has_arg0(R_0023_0055__BOOTS_R_0023_0056__UP,R_0023_0054__IT)
          & 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_0044__OPERATING,R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM,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_0041__LIKE] :
                ( 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_0044__operating(R_0023_0044__OPERATING)
                & 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_0041__like(R_0023_0037__DOES_R_0023_0040__LOOK_R_0023_0041__LIKE)
                & has_arg1(R_0023_0037__DOES_R_0023_0040__LOOK_R_0023_0041__LIKE,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_attrib(R_0023_0052__MODULES,R_0023_0051__RELOCATABLE)
                & has_attrib(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)
                & r_0023_0042__the_r_0023_0043__core_r_0023_0045__system(R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM)
                & has_inv_arg0(R_0023_0042__THE_R_0023_0043__CORE_R_0023_0045__SYSTEM,R_0023_0044__OPERATING)
                & has_nim(R_0023_0037__DOES_R_0023_0040__LOOK_R_0023_0041__LIKE,R_0023_0039__HALF)
                & has_arg0(R_0023_0037__DOES_R_0023_0040__LOOK_R_0023_0041__LIKE,R_0023_0034__THE_R_0023_0035__BOOT_R_0023_0036__ROM) )
          & has_conj1(R_0023_0033__AND,R_0023_0015___APOS_S)
          & r_0023_0015___apos_s(R_0023_0015___APOS_S)
          & has_arg0(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) ) ) ).