7_a_paulfellows
Not having a compiler that worked on the nascent version of Arthur that we had at the time, I transliterated it all into assembler, it went 400 times faster and it got slightly upset that I was driving the bus too fast.

n7_a_paulfellows n7_a_paulfellows__1_1_1_1_1_1_1 Not n7_a_paulfellows__1_1_1_1_1_2_1 having n7_a_paulfellows__1_1_1_1_1_3_1_1 a n7_a_paulfellows__1_1_1_1_1_3_2_1 compiler n7_a_paulfellows__1_1_1_1_1_3_3_1_1 that n7_a_paulfellows__1_1_1_1_1_3_3_2_1 *T* n7_a_paulfellows__1_1_1_1_1_3_3_3_1 worked n7_a_paulfellows__1_1_1_1_1_3_3_4_1_1 on n7_a_paulfellows__1_1_1_1_1_3_3_4_2_1_1 the n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2_1_1 nascent n7_a_paulfellows__1_1_1_1_1_3_3_4_2_3_1 version n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_1_1 of n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2_1_1 Arthur n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_1_1 that n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_2_1 *T* n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3_1_1 we n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_4_1 had n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_1_1 at n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_1_1 the n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_2_1 time n7_a_paulfellows__1_1_1_2_1 , n7_a_paulfellows__1_1_1_3_1_1 I n7_a_paulfellows__1_1_1_4_1 transliterated n7_a_paulfellows__1_1_1_5_1_1 it n7_a_paulfellows__1_1_1_5_2_1_1_1 all n7_a_paulfellows__1_1_1_6_1_1 into n7_a_paulfellows__1_1_1_6_2_1_1 assembler n7_a_paulfellows__1_1_2_1 , n7_a_paulfellows__1_1_3_1_1_1_1 it n7_a_paulfellows__1_1_3_1_2_1 went n7_a_paulfellows__1_1_3_1_3_1_1_1 400 n7_a_paulfellows__1_1_3_1_3_1_2_1 times n7_a_paulfellows__1_1_3_1_3_2_1 faster n7_a_paulfellows__1_1_4_1_1 and n7_a_paulfellows__1_1_4_2_1_1_1 it n7_a_paulfellows__1_1_4_2_2_1 got n7_a_paulfellows__1_1_4_2_3_1_1_1 slightly n7_a_paulfellows__1_1_4_2_3_2_1 upset n7_a_paulfellows__1_1_4_2_3_3_1_1_1 that n7_a_paulfellows__1_1_4_2_3_3_1_2_1_1 I n7_a_paulfellows__1_1_4_2_3_3_1_3_1 was n7_a_paulfellows__1_1_4_2_3_3_1_4_1_1 driving n7_a_paulfellows__1_1_4_2_3_3_1_4_2_1_1 the n7_a_paulfellows__1_1_4_2_3_3_1_4_2_2_1 bus n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1_1_1 too n7_a_paulfellows__1_1_4_2_3_3_1_4_3_2_1 fast n7_a_paulfellows__1_2_1 . n7_a_paulfellows__1 IP-MAT n7_a_paulfellows__1_1 ILYR n7_a_paulfellows__1->n7_a_paulfellows__1_1 n7_a_paulfellows__1_2 PUNC n7_a_paulfellows__1->n7_a_paulfellows__1_2 n7_a_paulfellows__1_1_1 ILYR n7_a_paulfellows__1_1->n7_a_paulfellows__1_1_1 n7_a_paulfellows__1_1_2 PUNC n7_a_paulfellows__1_1->n7_a_paulfellows__1_1_2 n7_a_paulfellows__1_1_3 CONJP n7_a_paulfellows__1_1->n7_a_paulfellows__1_1_3 n7_a_paulfellows__1_1_4 CONJP n7_a_paulfellows__1_1->n7_a_paulfellows__1_1_4 n7_a_paulfellows__1_1_1_1 PP-SCON n7_a_paulfellows__1_1_1->n7_a_paulfellows__1_1_1_1 n7_a_paulfellows__1_1_1_2 PUNC n7_a_paulfellows__1_1_1->n7_a_paulfellows__1_1_1_2 n7_a_paulfellows__1_1_1_3 NP-SBJ n7_a_paulfellows__1_1_1->n7_a_paulfellows__1_1_1_3 n7_a_paulfellows__1_1_1_4 VBD;_Tn.pr_ n7_a_paulfellows__1_1_1->n7_a_paulfellows__1_1_1_4 n7_a_paulfellows__1_1_1_5 NP-OB1 n7_a_paulfellows__1_1_1->n7_a_paulfellows__1_1_1_5 n7_a_paulfellows__1_1_1_6 PP-CLR n7_a_paulfellows__1_1_1->n7_a_paulfellows__1_1_1_6 n7_a_paulfellows__1_1_1_1_1 IP-PPL2 n7_a_paulfellows__1_1_1_1->n7_a_paulfellows__1_1_1_1_1 n7_a_paulfellows__1_1_1_1_1_1 NEG n7_a_paulfellows__1_1_1_1_1->n7_a_paulfellows__1_1_1_1_1_1 n7_a_paulfellows__1_1_1_1_1_2 HAG;_Tn_ n7_a_paulfellows__1_1_1_1_1->n7_a_paulfellows__1_1_1_1_1_2 n7_a_paulfellows__1_1_1_1_1_3 NP-OB1 n7_a_paulfellows__1_1_1_1_1->n7_a_paulfellows__1_1_1_1_1_3 n7_a_paulfellows__1_1_1_1_1_1->n7_a_paulfellows__1_1_1_1_1_1_1 n7_a_paulfellows__1_1_1_1_1_2->n7_a_paulfellows__1_1_1_1_1_2_1 n7_a_paulfellows__1_1_1_1_1_3_1 D n7_a_paulfellows__1_1_1_1_1_3->n7_a_paulfellows__1_1_1_1_1_3_1 n7_a_paulfellows__1_1_1_1_1_3_2 N n7_a_paulfellows__1_1_1_1_1_3->n7_a_paulfellows__1_1_1_1_1_3_2 n7_a_paulfellows__1_1_1_1_1_3_3 IP-REL n7_a_paulfellows__1_1_1_1_1_3->n7_a_paulfellows__1_1_1_1_1_3_3 n7_a_paulfellows__1_1_1_1_1_3_1->n7_a_paulfellows__1_1_1_1_1_3_1_1 n7_a_paulfellows__1_1_1_1_1_3_2->n7_a_paulfellows__1_1_1_1_1_3_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_1 C n7_a_paulfellows__1_1_1_1_1_3_3->n7_a_paulfellows__1_1_1_1_1_3_3_1 n7_a_paulfellows__1_1_1_1_1_3_3_2 NP-SBJ n7_a_paulfellows__1_1_1_1_1_3_3->n7_a_paulfellows__1_1_1_1_1_3_3_2 n7_a_paulfellows__1_1_1_1_1_3_3_3 VBD;_I_ n7_a_paulfellows__1_1_1_1_1_3_3->n7_a_paulfellows__1_1_1_1_1_3_3_3 n7_a_paulfellows__1_1_1_1_1_3_3_4 PP-NIM n7_a_paulfellows__1_1_1_1_1_3_3->n7_a_paulfellows__1_1_1_1_1_3_3_4 n7_a_paulfellows__1_1_1_1_1_3_3_1->n7_a_paulfellows__1_1_1_1_1_3_3_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_2->n7_a_paulfellows__1_1_1_1_1_3_3_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_3->n7_a_paulfellows__1_1_1_1_1_3_3_3_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_1 P-ROLE n7_a_paulfellows__1_1_1_1_1_3_3_4->n7_a_paulfellows__1_1_1_1_1_3_3_4_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2 NP n7_a_paulfellows__1_1_1_1_1_3_3_4->n7_a_paulfellows__1_1_1_1_1_3_3_4_2 n7_a_paulfellows__1_1_1_1_1_3_3_4_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_1 D n7_a_paulfellows__1_1_1_1_1_3_3_4_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2 ADJP n7_a_paulfellows__1_1_1_1_1_3_3_4_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_3 N n7_a_paulfellows__1_1_1_1_1_3_3_4_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_3 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4 PP n7_a_paulfellows__1_1_1_1_1_3_3_4_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5 IP-REL n7_a_paulfellows__1_1_1_1_1_3_3_4_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2_1 ADJ n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_2_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_3->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_3_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_1 P-ROLE n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2 NP n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2_1 NPR n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_4_2_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_1 C n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_2 NP-OB1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_2 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3 NP-SBJ n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_4 HVD;_Tn_ n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_4 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5 PP-NIM n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3_1 PRO n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_3_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_4->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_4_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_1 P-ROLE n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2 NP n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_1 D n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_2 N n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_2 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_1->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_1_1 n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_2->n7_a_paulfellows__1_1_1_1_1_3_3_4_2_5_5_2_2_1 n7_a_paulfellows__1_1_1_2->n7_a_paulfellows__1_1_1_2_1 n7_a_paulfellows__1_1_1_3_1 PRO n7_a_paulfellows__1_1_1_3->n7_a_paulfellows__1_1_1_3_1 n7_a_paulfellows__1_1_1_3_1->n7_a_paulfellows__1_1_1_3_1_1 n7_a_paulfellows__1_1_1_4->n7_a_paulfellows__1_1_1_4_1 n7_a_paulfellows__1_1_1_5_1 PRO n7_a_paulfellows__1_1_1_5->n7_a_paulfellows__1_1_1_5_1 n7_a_paulfellows__1_1_1_5_2 PRN n7_a_paulfellows__1_1_1_5->n7_a_paulfellows__1_1_1_5_2 n7_a_paulfellows__1_1_1_5_1->n7_a_paulfellows__1_1_1_5_1_1 n7_a_paulfellows__1_1_1_5_2_1 NP n7_a_paulfellows__1_1_1_5_2->n7_a_paulfellows__1_1_1_5_2_1 n7_a_paulfellows__1_1_1_5_2_1_1 Q;_nphd_ n7_a_paulfellows__1_1_1_5_2_1->n7_a_paulfellows__1_1_1_5_2_1_1 n7_a_paulfellows__1_1_1_5_2_1_1->n7_a_paulfellows__1_1_1_5_2_1_1_1 n7_a_paulfellows__1_1_1_6_1 P-ROLE n7_a_paulfellows__1_1_1_6->n7_a_paulfellows__1_1_1_6_1 n7_a_paulfellows__1_1_1_6_2 NP n7_a_paulfellows__1_1_1_6->n7_a_paulfellows__1_1_1_6_2 n7_a_paulfellows__1_1_1_6_1->n7_a_paulfellows__1_1_1_6_1_1 n7_a_paulfellows__1_1_1_6_2_1 NPR n7_a_paulfellows__1_1_1_6_2->n7_a_paulfellows__1_1_1_6_2_1 n7_a_paulfellows__1_1_1_6_2_1->n7_a_paulfellows__1_1_1_6_2_1_1 n7_a_paulfellows__1_1_2->n7_a_paulfellows__1_1_2_1 n7_a_paulfellows__1_1_3_1 ILYR n7_a_paulfellows__1_1_3->n7_a_paulfellows__1_1_3_1 n7_a_paulfellows__1_1_3_1_1 NP-SBJ n7_a_paulfellows__1_1_3_1->n7_a_paulfellows__1_1_3_1_1 n7_a_paulfellows__1_1_3_1_2 VBD;_I_ n7_a_paulfellows__1_1_3_1->n7_a_paulfellows__1_1_3_1_2 n7_a_paulfellows__1_1_3_1_3 ADVP-NIM n7_a_paulfellows__1_1_3_1->n7_a_paulfellows__1_1_3_1_3 n7_a_paulfellows__1_1_3_1_1_1 PRO n7_a_paulfellows__1_1_3_1_1->n7_a_paulfellows__1_1_3_1_1_1 n7_a_paulfellows__1_1_3_1_1_1->n7_a_paulfellows__1_1_3_1_1_1_1 n7_a_paulfellows__1_1_3_1_2->n7_a_paulfellows__1_1_3_1_2_1 n7_a_paulfellows__1_1_3_1_3_1 NP n7_a_paulfellows__1_1_3_1_3->n7_a_paulfellows__1_1_3_1_3_1 n7_a_paulfellows__1_1_3_1_3_2 ADVR n7_a_paulfellows__1_1_3_1_3->n7_a_paulfellows__1_1_3_1_3_2 n7_a_paulfellows__1_1_3_1_3_1_1 NUM n7_a_paulfellows__1_1_3_1_3_1->n7_a_paulfellows__1_1_3_1_3_1_1 n7_a_paulfellows__1_1_3_1_3_1_2 NS n7_a_paulfellows__1_1_3_1_3_1->n7_a_paulfellows__1_1_3_1_3_1_2 n7_a_paulfellows__1_1_3_1_3_1_1->n7_a_paulfellows__1_1_3_1_3_1_1_1 n7_a_paulfellows__1_1_3_1_3_1_2->n7_a_paulfellows__1_1_3_1_3_1_2_1 n7_a_paulfellows__1_1_3_1_3_2->n7_a_paulfellows__1_1_3_1_3_2_1 n7_a_paulfellows__1_1_4_1 CONJ n7_a_paulfellows__1_1_4->n7_a_paulfellows__1_1_4_1 n7_a_paulfellows__1_1_4_2 ILYR n7_a_paulfellows__1_1_4->n7_a_paulfellows__1_1_4_2 n7_a_paulfellows__1_1_4_1->n7_a_paulfellows__1_1_4_1_1 n7_a_paulfellows__1_1_4_2_1 NP-SBJ n7_a_paulfellows__1_1_4_2->n7_a_paulfellows__1_1_4_2_1 n7_a_paulfellows__1_1_4_2_2 VBD;_La_ n7_a_paulfellows__1_1_4_2->n7_a_paulfellows__1_1_4_2_2 n7_a_paulfellows__1_1_4_2_3 ADJP-PRD n7_a_paulfellows__1_1_4_2->n7_a_paulfellows__1_1_4_2_3 n7_a_paulfellows__1_1_4_2_1_1 PRO n7_a_paulfellows__1_1_4_2_1->n7_a_paulfellows__1_1_4_2_1_1 n7_a_paulfellows__1_1_4_2_1_1->n7_a_paulfellows__1_1_4_2_1_1_1 n7_a_paulfellows__1_1_4_2_2->n7_a_paulfellows__1_1_4_2_2_1 n7_a_paulfellows__1_1_4_2_3_1 ADVP n7_a_paulfellows__1_1_4_2_3->n7_a_paulfellows__1_1_4_2_3_1 n7_a_paulfellows__1_1_4_2_3_2 ADJ n7_a_paulfellows__1_1_4_2_3->n7_a_paulfellows__1_1_4_2_3_2 n7_a_paulfellows__1_1_4_2_3_3 CP-THT n7_a_paulfellows__1_1_4_2_3->n7_a_paulfellows__1_1_4_2_3_3 n7_a_paulfellows__1_1_4_2_3_1_1 ADV n7_a_paulfellows__1_1_4_2_3_1->n7_a_paulfellows__1_1_4_2_3_1_1 n7_a_paulfellows__1_1_4_2_3_1_1->n7_a_paulfellows__1_1_4_2_3_1_1_1 n7_a_paulfellows__1_1_4_2_3_2->n7_a_paulfellows__1_1_4_2_3_2_1 n7_a_paulfellows__1_1_4_2_3_3_1 IP-SUB n7_a_paulfellows__1_1_4_2_3_3->n7_a_paulfellows__1_1_4_2_3_3_1 n7_a_paulfellows__1_1_4_2_3_3_1_1 C n7_a_paulfellows__1_1_4_2_3_3_1->n7_a_paulfellows__1_1_4_2_3_3_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_2 NP-SBJ n7_a_paulfellows__1_1_4_2_3_3_1->n7_a_paulfellows__1_1_4_2_3_3_1_2 n7_a_paulfellows__1_1_4_2_3_3_1_3 BED;_cat_Vg_ n7_a_paulfellows__1_1_4_2_3_3_1->n7_a_paulfellows__1_1_4_2_3_3_1_3 n7_a_paulfellows__1_1_4_2_3_3_1_4 IP-PPL-CAT n7_a_paulfellows__1_1_4_2_3_3_1->n7_a_paulfellows__1_1_4_2_3_3_1_4 n7_a_paulfellows__1_1_4_2_3_3_1_1->n7_a_paulfellows__1_1_4_2_3_3_1_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_2_1 PRO n7_a_paulfellows__1_1_4_2_3_3_1_2->n7_a_paulfellows__1_1_4_2_3_3_1_2_1 n7_a_paulfellows__1_1_4_2_3_3_1_2_1->n7_a_paulfellows__1_1_4_2_3_3_1_2_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_3->n7_a_paulfellows__1_1_4_2_3_3_1_3_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_1 VAG;_Tn_ n7_a_paulfellows__1_1_4_2_3_3_1_4->n7_a_paulfellows__1_1_4_2_3_3_1_4_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_2 NP-OB1 n7_a_paulfellows__1_1_4_2_3_3_1_4->n7_a_paulfellows__1_1_4_2_3_3_1_4_2 n7_a_paulfellows__1_1_4_2_3_3_1_4_3 ADVP-NIM n7_a_paulfellows__1_1_4_2_3_3_1_4->n7_a_paulfellows__1_1_4_2_3_3_1_4_3 n7_a_paulfellows__1_1_4_2_3_3_1_4_1->n7_a_paulfellows__1_1_4_2_3_3_1_4_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_2_1 D n7_a_paulfellows__1_1_4_2_3_3_1_4_2->n7_a_paulfellows__1_1_4_2_3_3_1_4_2_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_2_2 N n7_a_paulfellows__1_1_4_2_3_3_1_4_2->n7_a_paulfellows__1_1_4_2_3_3_1_4_2_2 n7_a_paulfellows__1_1_4_2_3_3_1_4_2_1->n7_a_paulfellows__1_1_4_2_3_3_1_4_2_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_2_2->n7_a_paulfellows__1_1_4_2_3_3_1_4_2_2_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1 ADVP n7_a_paulfellows__1_1_4_2_3_3_1_4_3->n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_3_2 ADV n7_a_paulfellows__1_1_4_2_3_3_1_4_3->n7_a_paulfellows__1_1_4_2_3_3_1_4_3_2 n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1_1 ADV n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1->n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1_1->n7_a_paulfellows__1_1_4_2_3_3_1_4_3_1_1_1 n7_a_paulfellows__1_1_4_2_3_3_1_4_3_2->n7_a_paulfellows__1_1_4_2_3_3_1_4_3_2_1 n7_a_paulfellows__1_2->n7_a_paulfellows__1_2_1
( (IP-MAT (ILYR (ILYR (PP-SCON (IP-PPL2 (NEG Not;{not})
                                        (HAG;_Tn_ having;{have})
                                        (NP-OB1 (D a;{a})
                                                (N compiler;{compiler})
                                                (IP-REL (C that;{that})
                                                        (NP-SBJ *T*)
                                                        (VBD;_I_ worked;{work})
                                                        (PP-NIM (P-ROLE on;{on})
                                                                (NP (D the;{the})
                                                                    (ADJP (ADJ nascent;{nascent}))
                                                                    (N version;{version})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (NPR Arthur;{Arthur})))
                                                                    (IP-REL (C that;{that})
                                                                            (NP-OB1 *T*)
                                                                            (NP-SBJ (PRO we;{we}))
                                                                            (HVD;_Tn_ had;{have})
                                                                            (PP-NIM (P-ROLE at;{at})
                                                                                    (NP (D the;{the})
                                                                                        (N time;{time}))))))))))
                      (PUNC ,)
                      (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn.pr_ transliterated;{transliterate[into]})
                      (NP-OB1 (PRO it;{it})
                              (PRN (NP (Q;_nphd_ all;{all}))))
                      (PP-CLR (P-ROLE into;{into})
                              (NP (NPR assembler;{assembler}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (PRO it;{it}))
                             (VBD;_I_ went;{go})
                             (ADVP-NIM (NP (NUM 400)
                                           (NS times;{time}))
                                       (ADVR faster;{fast}))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO it;{it}))
                             (VBD;_La_ got;{get})
                             (ADJP-PRD (ADVP (ADV slightly;{slightly}))
                                       (ADJ upset;{upset})
                                       (CP-THT (IP-SUB (C that;{that})
                                                       (NP-SBJ (PRO I;{I}))
                                                       (BED;_cat_Vg_ was;{be})
                                                       (IP-PPL-CAT (VAG;_Tn_ driving;{drive})
                                                                   (NP-OB1 (D the;{the})
                                                                           (N bus;{bus}))
                                                                   (ADVP-NIM (ADVP (ADV too;{too}))
                                                                             (ADV fast;{fast})))))))))
          (PUNC .))
  (ID 7_a_paulfellows))



%3 z_0007_5014 z_0007_5013 z_0007_5014->z_0007_5013 [prd] r_0007_0022__it it z_0007_5014->r_0007_0022__it [arg0] z_0007_5001 r_0007_0021__transliterated_r_0007_0024__into transliterated into z_0007_5001->r_0007_0021__transliterated_r_0007_0024__into [scope] r_0007_0001__Not Not z_0007_5001->r_0007_0001__Not [restriction] r_0007_0021__transliterated_r_0007_0024__into->r_0007_0022__it [arg1] r_0007_0020__I I r_0007_0021__transliterated_r_0007_0024__into->r_0007_0020__I [arg0] r_0007_0025__assembler assembler r_0007_0021__transliterated_r_0007_0024__into->r_0007_0025__assembler [arg2] r_0007_0002__having having r_0007_0001__Not->r_0007_0002__having [keep_scope] r_0007_0044__fast fast r_0007_0043__too too r_0007_0044__fast->r_0007_0043__too [qual] r_0007_0040__driving driving r_0007_0040__driving->r_0007_0044__fast [nim] r_0007_0041__the_r_0007_0042__bus the bus r_0007_0040__driving->r_0007_0041__the_r_0007_0042__bus [arg1] r_0007_0040__driving->r_0007_0020__I [arg0] r_0007_0039__was was r_0007_0039__was->r_0007_0040__driving [scope] r_0007_0036__upset upset r_0007_0036__upset->r_0007_0039__was [emb] r_0007_0035__slightly slightly r_0007_0036__upset->r_0007_0035__slightly [qual] r_0007_0034__got got r_0007_0034__got->r_0007_0036__upset [prd] r_0007_0033__it it r_0007_0034__got->r_0007_0033__it [arg0] r_0007_0032__and and r_0007_0032__and->z_0007_5001 [conj1] r_0007_0032__and->r_0007_0034__got [conj3] r_0007_0028__went went r_0007_0032__and->r_0007_0028__went [conj2] r_0007_0031__faster faster r_0007_0028__went->r_0007_0031__faster [nim] r_0007_0027__it it r_0007_0028__went->r_0007_0027__it [arg0] r_0007_0029__400_r_0007_0030__times 400 times r_0007_0031__faster->r_0007_0029__400_r_0007_0030__times [nim] r_0007_0023__all__quant all [quant] r_0007_0023__all__quant->z_0007_5014 [scope] r_0007_0023__all__quant->z_0007_5013 [restriction] r_0007_0015__had had r_0007_0017__the_r_0007_0018__time the time r_0007_0015__had->r_0007_0017__the_r_0007_0018__time at [nim] r_0007_0014__we we r_0007_0015__had->r_0007_0014__we [arg0] r_0007_0008__the_r_0007_0010__version the version r_0007_0015__had->r_0007_0008__the_r_0007_0010__version [inv_arg1] r_0007_0012__Arthur Arthur r_0007_0008__the_r_0007_0010__version->r_0007_0012__Arthur of r_0007_0009__nascent nascent r_0007_0008__the_r_0007_0010__version->r_0007_0009__nascent [attrib] r_0007_0006__worked worked r_0007_0006__worked->r_0007_0008__the_r_0007_0010__version on [nim] r_0007_0003__a_r_0007_0004__compiler a compiler r_0007_0006__worked->r_0007_0003__a_r_0007_0004__compiler [inv_arg0] r_0007_0002__having->r_0007_0020__I [arg0] r_0007_0002__having->r_0007_0003__a_r_0007_0004__compiler [arg1]
arc(r_0007_0001__Not,r_0007_0002__having,keep_scope).
arc(r_0007_0002__having,r_0007_0003__a_r_0007_0004__compiler,arg1).
arc(r_0007_0002__having,r_0007_0020__I,arg0).
arc(r_0007_0006__worked,r_0007_0003__a_r_0007_0004__compiler,inv_arg0).
arc(r_0007_0006__worked,r_0007_0008__the_r_0007_0010__version,r_0007_0007__on__nim).
arc(r_0007_0008__the_r_0007_0010__version,r_0007_0009__nascent,attrib).
arc(r_0007_0008__the_r_0007_0010__version,r_0007_0012__Arthur,r_0007_0011__of).
arc(r_0007_0015__had,r_0007_0008__the_r_0007_0010__version,inv_arg1).
arc(r_0007_0015__had,r_0007_0014__we,arg0).
arc(r_0007_0015__had,r_0007_0017__the_r_0007_0018__time,r_0007_0016__at__nim).
arc(r_0007_0021__transliterated_r_0007_0024__into,r_0007_0020__I,arg0).
arc(r_0007_0021__transliterated_r_0007_0024__into,r_0007_0022__it,arg1).
arc(r_0007_0021__transliterated_r_0007_0024__into,r_0007_0025__assembler,arg2).
arc(r_0007_0023__all__quant,z_0007_5013,restriction).
arc(r_0007_0023__all__quant,z_0007_5014,scope).
arc(r_0007_0028__went,r_0007_0027__it,arg0).
arc(r_0007_0028__went,r_0007_0031__faster,nim).
arc(r_0007_0031__faster,r_0007_0029__400_r_0007_0030__times,nim).
arc(r_0007_0032__and,r_0007_0028__went,conj2).
arc(r_0007_0032__and,r_0007_0034__got,conj3).
arc(r_0007_0032__and,z_0007_5001,conj1).
arc(r_0007_0034__got,r_0007_0033__it,arg0).
arc(r_0007_0034__got,r_0007_0036__upset,prd).
arc(r_0007_0036__upset,r_0007_0035__slightly,qual).
arc(r_0007_0036__upset,r_0007_0039__was,emb).
arc(r_0007_0039__was,r_0007_0040__driving,scope).
arc(r_0007_0040__driving,r_0007_0020__I,arg0).
arc(r_0007_0040__driving,r_0007_0041__the_r_0007_0042__bus,arg1).
arc(r_0007_0040__driving,r_0007_0044__fast,nim).
arc(r_0007_0044__fast,r_0007_0043__too,qual).
arc(z_0007_5001,r_0007_0001__Not,restriction).
arc(z_0007_5001,r_0007_0021__transliterated_r_0007_0024__into,scope).
arc(z_0007_5014,r_0007_0022__it,arg0).
arc(z_0007_5014,z_0007_5013,prd).



%3 r_0007_0001__Not Not r_0007_0002__having having r_0007_0001__Not->r_0007_0002__having [keep_scope] r_0007_0003__a_r_0007_0004__compiler a compiler r_0007_0002__having->r_0007_0003__a_r_0007_0004__compiler [arg1] r_0007_0020__I I r_0007_0002__having->r_0007_0020__I [arg0] r_0007_0006__worked worked r_0007_0003__a_r_0007_0004__compiler->r_0007_0006__worked [inv_arg0] r_0007_0008__the_r_0007_0010__version the version r_0007_0006__worked->r_0007_0008__the_r_0007_0010__version on [nim] r_0007_0009__nascent nascent r_0007_0008__the_r_0007_0010__version->r_0007_0009__nascent [attrib] r_0007_0012__Arthur Arthur r_0007_0008__the_r_0007_0010__version->r_0007_0012__Arthur of r_0007_0015__had had r_0007_0008__the_r_0007_0010__version->r_0007_0015__had [inv_arg1] r_0007_0014__we we r_0007_0015__had->r_0007_0014__we [arg0] r_0007_0017__the_r_0007_0018__time the time r_0007_0015__had->r_0007_0017__the_r_0007_0018__time at [nim] r_0007_0021__transliterated_r_0007_0024__into transliterated into r_0007_0021__transliterated_r_0007_0024__into->r_0007_0020__I [arg0] r_0007_0022__it it r_0007_0021__transliterated_r_0007_0024__into->r_0007_0022__it [arg1] r_0007_0025__assembler assembler r_0007_0021__transliterated_r_0007_0024__into->r_0007_0025__assembler [arg2] r_0007_0023__all__quant all [quant] z_0007_5013 r_0007_0023__all__quant->z_0007_5013 [restriction] z_0007_5014 r_0007_0023__all__quant->z_0007_5014 [scope] z_0007_5014->r_0007_0022__it [arg0] z_0007_5014->z_0007_5013 [prd] r_0007_0028__went went r_0007_0027__it it r_0007_0028__went->r_0007_0027__it [arg0] r_0007_0031__faster faster r_0007_0028__went->r_0007_0031__faster [nim] r_0007_0029__400_r_0007_0030__times 400 times r_0007_0031__faster->r_0007_0029__400_r_0007_0030__times [nim] r_0007_0032__and and r_0007_0032__and->r_0007_0028__went [conj2] r_0007_0034__got got r_0007_0032__and->r_0007_0034__got [conj3] z_0007_5001 r_0007_0032__and->z_0007_5001 [conj1] r_0007_0033__it it r_0007_0034__got->r_0007_0033__it [arg0] r_0007_0036__upset upset r_0007_0034__got->r_0007_0036__upset [prd] z_0007_5001->r_0007_0001__Not [conj1] z_0007_5001->r_0007_0021__transliterated_r_0007_0024__into [conj2] r_0007_0035__slightly slightly r_0007_0036__upset->r_0007_0035__slightly [qual] r_0007_0039__was_r_0007_0040__driving was driving r_0007_0036__upset->r_0007_0039__was_r_0007_0040__driving [emb] r_0007_0039__was_r_0007_0040__driving->r_0007_0020__I [arg0] r_0007_0041__the_r_0007_0042__bus the bus r_0007_0039__was_r_0007_0040__driving->r_0007_0041__the_r_0007_0042__bus [arg1] r_0007_0044__fast fast r_0007_0039__was_r_0007_0040__driving->r_0007_0044__fast [nim] r_0007_0043__too too r_0007_0044__fast->r_0007_0043__too [qual]
fof(formula,axiom,
    ? [R_0007_0027__IT,R_0007_0029__400_R_0007_0030__TIMES,R_0007_0031__FASTER,R_0007_0028__WENT,R_0007_0033__IT,R_0007_0035__SLIGHTLY,R_0007_0020__I,R_0007_0041__THE_R_0007_0042__BUS,R_0007_0043__TOO,R_0007_0044__FAST,R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0036__UPSET,R_0007_0034__GOT,R_0007_0022__IT,R_0007_0025__ASSEMBLER,R_0007_0021__TRANSLITERATED_R_0007_0024__INTO,Z_0007_5001,R_0007_0032__AND] :
      ( r_0007_0020__I(R_0007_0020__I)
      & r_0007_0022__it(R_0007_0022__IT)
      & r_0007_0025__assembler(R_0007_0025__ASSEMBLER)
      & r_0007_0027__it(R_0007_0027__IT)
      & r_0007_0029__400_r_0007_0030__times(R_0007_0029__400_R_0007_0030__TIMES)
      & r_0007_0033__it(R_0007_0033__IT)
      & r_0007_0035__slightly(R_0007_0035__SLIGHTLY)
      & r_0007_0041__the_r_0007_0042__bus(R_0007_0041__THE_R_0007_0042__BUS)
      & r_0007_0043__too(R_0007_0043__TOO)
      & r_0007_0032__and(R_0007_0032__AND)
      & has_conj1(R_0007_0032__AND,Z_0007_5001)
      & z_0007_5001(Z_0007_5001)
      & has_conj2(Z_0007_5001,R_0007_0021__TRANSLITERATED_R_0007_0024__INTO)
      & r_0007_0021__transliterated_r_0007_0024__into(R_0007_0021__TRANSLITERATED_R_0007_0024__INTO)
      & has_arg2(R_0007_0021__TRANSLITERATED_R_0007_0024__INTO,R_0007_0025__ASSEMBLER)
      & has_arg1(R_0007_0021__TRANSLITERATED_R_0007_0024__INTO,R_0007_0022__IT)
      & has_arg0(R_0007_0021__TRANSLITERATED_R_0007_0024__INTO,R_0007_0020__I)
      & has_conj1(Z_0007_5001,R_0007_0001__NOT)
      & ~ ? [R_0007_0009__NASCENT,R_0007_0012__ARTHUR,R_0007_0014__WE,R_0007_0017__THE_R_0007_0018__TIME,R_0007_0015__HAD,R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0006__WORKED,R_0007_0003__A_R_0007_0004__COMPILER,R_0007_0002__HAVING] :
            ( r_0007_0009__nascent(R_0007_0009__NASCENT)
            & r_0007_0012__Arthur(R_0007_0012__ARTHUR)
            & r_0007_0014__we(R_0007_0014__WE)
            & r_0007_0017__the_r_0007_0018__time(R_0007_0017__THE_R_0007_0018__TIME)
            & r_0007_0002__having(R_0007_0002__HAVING)
            & has_arg0(R_0007_0002__HAVING,R_0007_0020__I)
            & has_arg1(R_0007_0002__HAVING,R_0007_0003__A_R_0007_0004__COMPILER)
            & r_0007_0003__a_r_0007_0004__compiler(R_0007_0003__A_R_0007_0004__COMPILER)
            & has_inv_arg0(R_0007_0003__A_R_0007_0004__COMPILER,R_0007_0006__WORKED)
            & r_0007_0006__worked(R_0007_0006__WORKED)
            & has_r_0007_0007__on__nim(R_0007_0006__WORKED,R_0007_0008__THE_R_0007_0010__VERSION)
            & r_0007_0008__the_r_0007_0010__version(R_0007_0008__THE_R_0007_0010__VERSION)
            & has_inv_arg1(R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0015__HAD)
            & r_0007_0015__had(R_0007_0015__HAD)
            & has_r_0007_0016__at__nim(R_0007_0015__HAD,R_0007_0017__THE_R_0007_0018__TIME)
            & has_arg0(R_0007_0015__HAD,R_0007_0014__WE)
            & has_r_0007_0011__of(R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0012__ARTHUR)
            & has_attrib(R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0009__NASCENT) )
      & has_conj3(R_0007_0032__AND,R_0007_0034__GOT)
      & r_0007_0034__got(R_0007_0034__GOT)
      & has_prd(R_0007_0034__GOT,R_0007_0036__UPSET)
      & r_0007_0036__upset(R_0007_0036__UPSET)
      & has_emb(R_0007_0036__UPSET,R_0007_0039__WAS_R_0007_0040__DRIVING)
      & r_0007_0039__was_r_0007_0040__driving(R_0007_0039__WAS_R_0007_0040__DRIVING)
      & has_nim(R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0044__FAST)
      & r_0007_0044__fast(R_0007_0044__FAST)
      & has_qual(R_0007_0044__FAST,R_0007_0043__TOO)
      & has_arg1(R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0041__THE_R_0007_0042__BUS)
      & has_arg0(R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0020__I)
      & has_qual(R_0007_0036__UPSET,R_0007_0035__SLIGHTLY)
      & has_arg0(R_0007_0034__GOT,R_0007_0033__IT)
      & has_conj2(R_0007_0032__AND,R_0007_0028__WENT)
      & r_0007_0028__went(R_0007_0028__WENT)
      & has_nim(R_0007_0028__WENT,R_0007_0031__FASTER)
      & r_0007_0031__faster(R_0007_0031__FASTER)
      & has_nim(R_0007_0031__FASTER,R_0007_0029__400_R_0007_0030__TIMES)
      & has_arg0(R_0007_0028__WENT,R_0007_0027__IT)
      & ! [Z_0007_5013] :
          ( z_0007_5013(Z_0007_5013)
         => ? [Z_0007_5014] :
              ( z_0007_5014(Z_0007_5014)
              & has_prd(Z_0007_5014,Z_0007_5013)
              & has_arg0(Z_0007_5014,R_0007_0022__IT) ) ) ) ).