74_a_paulfellows
So they did their demonstration and we turned up, Tim Dobson had written a clock program, we turned up with an A305 with 256 KB RAM, an Arthur desktop and a ticking clock program, and we ran 16 of them which ticked smoothly, and ARX got cancelled the next day.

n74_a_paulfellows n74_a_paulfellows__1_1_1_1_1_1_1_1 So n74_a_paulfellows__1_1_1_1_1_2_1_1 they n74_a_paulfellows__1_1_1_1_1_3_1 did n74_a_paulfellows__1_1_1_1_1_4_1_1_1 their n74_a_paulfellows__1_1_1_1_1_4_2_1 demonstration n74_a_paulfellows__1_1_1_1_2_1_1 and n74_a_paulfellows__1_1_1_1_2_2_1_1_1 we n74_a_paulfellows__1_1_1_1_2_2_2_1 turned n74_a_paulfellows__1_1_1_1_2_2_3_1 up n74_a_paulfellows__1_1_1_1_2_2_4_1 , n74_a_paulfellows__1_1_1_1_2_2_5_1_1_1_1 Tim n74_a_paulfellows__1_1_1_1_2_2_5_1_1_2_1 Dobson n74_a_paulfellows__1_1_1_1_2_2_5_1_2_1 had n74_a_paulfellows__1_1_1_1_2_2_5_1_3_1_1 written n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_1_1 a n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_2_1 clock n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_3_1 program n74_a_paulfellows__1_1_2_1 , n74_a_paulfellows__1_1_3_1_1_1_1_1_1_1_1 we n74_a_paulfellows__1_1_3_1_1_1_1_1_2_1 turned n74_a_paulfellows__1_1_3_1_1_1_1_1_3_1 up n74_a_paulfellows__1_1_3_1_1_1_1_1_4_1_1 with n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_1_1 an n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_2_1 A305 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_1_1 with n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_1_1 256 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_2_1 KB n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_2_1 RAM n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_2_1 , n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_1_1 an n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_2_1 Arthur n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_3_1 desktop n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_1_1 and n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_1_1 a n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2_1_1 ticking n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_3_1 clock n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_4_1 program n74_a_paulfellows__1_1_3_1_1_1_1_2_1 , n74_a_paulfellows__1_1_3_1_1_1_1_3_1_1 and n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1_1_1 we n74_a_paulfellows__1_1_3_1_1_1_1_3_2_2_1 ran n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_1_1 16 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_1_1 of n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2_1_1 them n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1_1_1 which n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_2_1 ticked n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3_1_1 smoothly n74_a_paulfellows__1_1_3_1_1_2_1 , n74_a_paulfellows__1_1_3_1_1_3_1_1 and n74_a_paulfellows__1_1_3_1_1_3_2_1_1_1 ARX n74_a_paulfellows__1_1_3_1_1_3_2_2_1 got n74_a_paulfellows__1_1_3_1_1_3_2_3_1_1 * n74_a_paulfellows__1_1_3_1_1_3_2_3_2_1 cancelled n74_a_paulfellows__1_1_3_1_1_3_2_3_3_1_1 the n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2_1_1 next n74_a_paulfellows__1_1_3_1_1_3_2_3_3_3_1 day n74_a_paulfellows__1_2_1 . n74_a_paulfellows__1 IP-MAT n74_a_paulfellows__1_1 ILYR n74_a_paulfellows__1->n74_a_paulfellows__1_1 n74_a_paulfellows__1_2 PUNC n74_a_paulfellows__1->n74_a_paulfellows__1_2 n74_a_paulfellows__1_1_1 ILYR n74_a_paulfellows__1_1->n74_a_paulfellows__1_1_1 n74_a_paulfellows__1_1_2 PUNC n74_a_paulfellows__1_1->n74_a_paulfellows__1_1_2 n74_a_paulfellows__1_1_3 CONJP n74_a_paulfellows__1_1->n74_a_paulfellows__1_1_3 n74_a_paulfellows__1_1_1_1 ILYR n74_a_paulfellows__1_1_1->n74_a_paulfellows__1_1_1_1 n74_a_paulfellows__1_1_1_1_1 ILYR n74_a_paulfellows__1_1_1_1->n74_a_paulfellows__1_1_1_1_1 n74_a_paulfellows__1_1_1_1_2 CONJP n74_a_paulfellows__1_1_1_1->n74_a_paulfellows__1_1_1_1_2 n74_a_paulfellows__1_1_1_1_1_1 ADVP-NIM n74_a_paulfellows__1_1_1_1_1->n74_a_paulfellows__1_1_1_1_1_1 n74_a_paulfellows__1_1_1_1_1_2 NP-SBJ n74_a_paulfellows__1_1_1_1_1->n74_a_paulfellows__1_1_1_1_1_2 n74_a_paulfellows__1_1_1_1_1_3 DOD;_Tn_ n74_a_paulfellows__1_1_1_1_1->n74_a_paulfellows__1_1_1_1_1_3 n74_a_paulfellows__1_1_1_1_1_4 NP-OB1 n74_a_paulfellows__1_1_1_1_1->n74_a_paulfellows__1_1_1_1_1_4 n74_a_paulfellows__1_1_1_1_1_1_1 ADV n74_a_paulfellows__1_1_1_1_1_1->n74_a_paulfellows__1_1_1_1_1_1_1 n74_a_paulfellows__1_1_1_1_1_1_1->n74_a_paulfellows__1_1_1_1_1_1_1_1 n74_a_paulfellows__1_1_1_1_1_2_1 PRO n74_a_paulfellows__1_1_1_1_1_2->n74_a_paulfellows__1_1_1_1_1_2_1 n74_a_paulfellows__1_1_1_1_1_2_1->n74_a_paulfellows__1_1_1_1_1_2_1_1 n74_a_paulfellows__1_1_1_1_1_3->n74_a_paulfellows__1_1_1_1_1_3_1 n74_a_paulfellows__1_1_1_1_1_4_1 NP-GEN n74_a_paulfellows__1_1_1_1_1_4->n74_a_paulfellows__1_1_1_1_1_4_1 n74_a_paulfellows__1_1_1_1_1_4_2 N n74_a_paulfellows__1_1_1_1_1_4->n74_a_paulfellows__1_1_1_1_1_4_2 n74_a_paulfellows__1_1_1_1_1_4_1_1 PRO;_genm_ n74_a_paulfellows__1_1_1_1_1_4_1->n74_a_paulfellows__1_1_1_1_1_4_1_1 n74_a_paulfellows__1_1_1_1_1_4_1_1->n74_a_paulfellows__1_1_1_1_1_4_1_1_1 n74_a_paulfellows__1_1_1_1_1_4_2->n74_a_paulfellows__1_1_1_1_1_4_2_1 n74_a_paulfellows__1_1_1_1_2_1 CONJ n74_a_paulfellows__1_1_1_1_2->n74_a_paulfellows__1_1_1_1_2_1 n74_a_paulfellows__1_1_1_1_2_2 ILYR n74_a_paulfellows__1_1_1_1_2->n74_a_paulfellows__1_1_1_1_2_2 n74_a_paulfellows__1_1_1_1_2_1->n74_a_paulfellows__1_1_1_1_2_1_1 n74_a_paulfellows__1_1_1_1_2_2_1 NP-SBJ n74_a_paulfellows__1_1_1_1_2_2->n74_a_paulfellows__1_1_1_1_2_2_1 n74_a_paulfellows__1_1_1_1_2_2_2 VBD;_phr_Vp_ n74_a_paulfellows__1_1_1_1_2_2->n74_a_paulfellows__1_1_1_1_2_2_2 n74_a_paulfellows__1_1_1_1_2_2_3 RP n74_a_paulfellows__1_1_1_1_2_2->n74_a_paulfellows__1_1_1_1_2_2_3 n74_a_paulfellows__1_1_1_1_2_2_4 PUNC n74_a_paulfellows__1_1_1_1_2_2->n74_a_paulfellows__1_1_1_1_2_2_4 n74_a_paulfellows__1_1_1_1_2_2_5 PRN n74_a_paulfellows__1_1_1_1_2_2->n74_a_paulfellows__1_1_1_1_2_2_5 n74_a_paulfellows__1_1_1_1_2_2_1_1 PRO n74_a_paulfellows__1_1_1_1_2_2_1->n74_a_paulfellows__1_1_1_1_2_2_1_1 n74_a_paulfellows__1_1_1_1_2_2_1_1->n74_a_paulfellows__1_1_1_1_2_2_1_1_1 n74_a_paulfellows__1_1_1_1_2_2_2->n74_a_paulfellows__1_1_1_1_2_2_2_1 n74_a_paulfellows__1_1_1_1_2_2_3->n74_a_paulfellows__1_1_1_1_2_2_3_1 n74_a_paulfellows__1_1_1_1_2_2_4->n74_a_paulfellows__1_1_1_1_2_2_4_1 n74_a_paulfellows__1_1_1_1_2_2_5_1 IP-MAT n74_a_paulfellows__1_1_1_1_2_2_5->n74_a_paulfellows__1_1_1_1_2_2_5_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_1 NP-SBJ n74_a_paulfellows__1_1_1_1_2_2_5_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_2 HVD;_cat_Ve_ n74_a_paulfellows__1_1_1_1_2_2_5_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_2 n74_a_paulfellows__1_1_1_1_2_2_5_1_3 IP-PPL-CAT n74_a_paulfellows__1_1_1_1_2_2_5_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_3 n74_a_paulfellows__1_1_1_1_2_2_5_1_1_1 NPR n74_a_paulfellows__1_1_1_1_2_2_5_1_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_1_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_1_2 NPR n74_a_paulfellows__1_1_1_1_2_2_5_1_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_1_2 n74_a_paulfellows__1_1_1_1_2_2_5_1_1_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_1_1_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_1_2->n74_a_paulfellows__1_1_1_1_2_2_5_1_1_2_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_2->n74_a_paulfellows__1_1_1_1_2_2_5_1_2_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_1 VVN;__ n74_a_paulfellows__1_1_1_1_2_2_5_1_3->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2 NP-OB1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_1_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_1 D n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_2 N n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_2 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_3 N n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_3 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_1->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_1_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_2->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_2_1 n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_3->n74_a_paulfellows__1_1_1_1_2_2_5_1_3_2_3_1 n74_a_paulfellows__1_1_2->n74_a_paulfellows__1_1_2_1 n74_a_paulfellows__1_1_3_1 ILYR n74_a_paulfellows__1_1_3->n74_a_paulfellows__1_1_3_1 n74_a_paulfellows__1_1_3_1_1 ILYR n74_a_paulfellows__1_1_3_1->n74_a_paulfellows__1_1_3_1_1 n74_a_paulfellows__1_1_3_1_1_1 ILYR n74_a_paulfellows__1_1_3_1_1->n74_a_paulfellows__1_1_3_1_1_1 n74_a_paulfellows__1_1_3_1_1_2 PUNC n74_a_paulfellows__1_1_3_1_1->n74_a_paulfellows__1_1_3_1_1_2 n74_a_paulfellows__1_1_3_1_1_3 CONJP n74_a_paulfellows__1_1_3_1_1->n74_a_paulfellows__1_1_3_1_1_3 n74_a_paulfellows__1_1_3_1_1_1_1 ILYR n74_a_paulfellows__1_1_3_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1 ILYR n74_a_paulfellows__1_1_3_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_2 PUNC n74_a_paulfellows__1_1_3_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_2 n74_a_paulfellows__1_1_3_1_1_1_1_3 CONJP n74_a_paulfellows__1_1_3_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_3 n74_a_paulfellows__1_1_3_1_1_1_1_1_1 NP-SBJ n74_a_paulfellows__1_1_3_1_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_2 VBD;_phr_Vp_ n74_a_paulfellows__1_1_3_1_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_3 RP n74_a_paulfellows__1_1_3_1_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_3 n74_a_paulfellows__1_1_3_1_1_1_1_1_4 PP-NIM n74_a_paulfellows__1_1_3_1_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4 n74_a_paulfellows__1_1_3_1_1_1_1_1_1_1 PRO n74_a_paulfellows__1_1_3_1_1_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_1_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_1 P-ROLE n74_a_paulfellows__1_1_3_1_1_1_1_1_4->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2 NP n74_a_paulfellows__1_1_3_1_1_1_1_1_4->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1 NLYR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1 NLYR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_2 PUNC n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3 CONJP n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4 CONJP n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_1 D n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_2 NPR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3 PP n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_1 P-ROLE n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2 NP n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1 NLYR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_2 N n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_1 NUM n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_2 N n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_1_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_1_3_2_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1 NLYR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_1 D n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_2 NPR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_3 N n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_3 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_3_1_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_1 CONJ n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2 NLYR n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_1 D n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2 IP-PPL n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_3 N n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_3 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_4 N n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_4 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2_1 VAG;__ n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_3->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_4->n74_a_paulfellows__1_1_3_1_1_1_1_1_4_2_1_4_2_4_1 n74_a_paulfellows__1_1_3_1_1_1_1_2->n74_a_paulfellows__1_1_3_1_1_1_1_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_1 CONJ n74_a_paulfellows__1_1_3_1_1_1_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2 ILYR n74_a_paulfellows__1_1_3_1_1_1_1_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2 n74_a_paulfellows__1_1_3_1_1_1_1_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1 NP-SBJ n74_a_paulfellows__1_1_3_1_1_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_2 VBD;__ n74_a_paulfellows__1_1_3_1_1_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_2 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3 NP-OB1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1_1 PRO n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_1 NUM n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2 PP n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3 IP-REL n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_1 P-ROLE n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2 NP n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2_1 PRO n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_2_2_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1 NP-SBJ n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_2 VBD;__ n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_2 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3 ADVP-NIM n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1_1 RPRO n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_1_1_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_2->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_2_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3_1 ADV n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3_1 n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3_1->n74_a_paulfellows__1_1_3_1_1_1_1_3_2_3_3_3_1_1 n74_a_paulfellows__1_1_3_1_1_2->n74_a_paulfellows__1_1_3_1_1_2_1 n74_a_paulfellows__1_1_3_1_1_3_1 CONJ n74_a_paulfellows__1_1_3_1_1_3->n74_a_paulfellows__1_1_3_1_1_3_1 n74_a_paulfellows__1_1_3_1_1_3_2 ILYR n74_a_paulfellows__1_1_3_1_1_3->n74_a_paulfellows__1_1_3_1_1_3_2 n74_a_paulfellows__1_1_3_1_1_3_1->n74_a_paulfellows__1_1_3_1_1_3_1_1 n74_a_paulfellows__1_1_3_1_1_3_2_1 NP-SBJ n74_a_paulfellows__1_1_3_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_3_2_1 n74_a_paulfellows__1_1_3_1_1_3_2_2 VBD;_cat_VePASS_ n74_a_paulfellows__1_1_3_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_3_2_2 n74_a_paulfellows__1_1_3_1_1_3_2_3 IP-PPL-CAT n74_a_paulfellows__1_1_3_1_1_3_2->n74_a_paulfellows__1_1_3_1_1_3_2_3 n74_a_paulfellows__1_1_3_1_1_3_2_1_1 NPR n74_a_paulfellows__1_1_3_1_1_3_2_1->n74_a_paulfellows__1_1_3_1_1_3_2_1_1 n74_a_paulfellows__1_1_3_1_1_3_2_1_1->n74_a_paulfellows__1_1_3_1_1_3_2_1_1_1 n74_a_paulfellows__1_1_3_1_1_3_2_2->n74_a_paulfellows__1_1_3_1_1_3_2_2_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_1 NP-LGS n74_a_paulfellows__1_1_3_1_1_3_2_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_2 VVN;_Tn_ n74_a_paulfellows__1_1_3_1_1_3_2_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_2 n74_a_paulfellows__1_1_3_1_1_3_2_3_3 NP-NIM n74_a_paulfellows__1_1_3_1_1_3_2_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_3 n74_a_paulfellows__1_1_3_1_1_3_2_3_1->n74_a_paulfellows__1_1_3_1_1_3_2_3_1_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_2->n74_a_paulfellows__1_1_3_1_1_3_2_3_2_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_1 D n74_a_paulfellows__1_1_3_1_1_3_2_3_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2 ADJP n74_a_paulfellows__1_1_3_1_1_3_2_3_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_3 N n74_a_paulfellows__1_1_3_1_1_3_2_3_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_3 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_1->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_1_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2_1 ADJ n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2_1->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_2_1_1 n74_a_paulfellows__1_1_3_1_1_3_2_3_3_3->n74_a_paulfellows__1_1_3_1_1_3_2_3_3_3_1 n74_a_paulfellows__1_2->n74_a_paulfellows__1_2_1
( (IP-MAT (ILYR (ILYR (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                                  (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                                  (DOD;_Tn_ did;{do})
                                  (NP-OB1 (NP-GEN;{PA_TEAM} (PRO;_genm_ their;{their}))
                                          (N demonstration;{demonstration})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-SBJ (PRO we;{we}))
                                         (VBD;_phr_Vp_ turned;{turn[up]})
                                         (RP up;{up})
                                         (PUNC ,)
                                         (PRN (IP-MAT (NP-SBJ (NPR Tim;{Tim})
                                                              (NPR Dobson;{Dobson}))
                                                      (HVD;_cat_Ve_ had;{have})
                                                      (IP-PPL-CAT (VVN;__ written;{write})
                                                                  (NP-OB1;{CLOCK} (D a;{a})
                                                                                  (N clock;{clock})
                                                                                  (N program;{program})))))))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (ILYR (ILYR (NP-SBJ (PRO we;{we}))
                                                     (VBD;_phr_Vp_ turned;{turn[up]})
                                                     (RP up;{up})
                                                     (PP-NIM (P-ROLE with;{with})
                                                             (NP (NLYR (NLYR (D an;{an})
                                                                             (NPR A305;{A305})
                                                                             (PP (P-ROLE with;{with})
                                                                                 (NP (NLYR (NUM 256)
                                                                                           (N KB))
                                                                                     (N RAM;{ram}))))
                                                                       (PUNC ,)
                                                                       (CONJP (NLYR (D an;{an})
                                                                                    (NPR Arthur;{Arthur})
                                                                                    (N desktop;{desktop})))
                                                                       (CONJP (CONJ and;{and})
                                                                              (NLYR (D a;{a})
                                                                                    (IP-PPL (VAG;__ ticking;{tick}))
                                                                                    (N clock;{clock})
                                                                                    (N program;{program})))))))
                                               (PUNC ,)
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (NP-SBJ (PRO we;{we}))
                                                            (VBD;__ ran;{run})
                                                            (NP-OB1 (NUM 16)
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP;{CLOCK} (PRO them;{they})))
                                                                    (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                            (VBD;__ ticked;{tick})
                                                                            (ADVP-NIM (ADV smoothly;{smoothly}))))))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (NPR ARX;{ARX}))
                                                (VBD;_cat_VePASS_ got;{get})
                                                (IP-PPL-CAT (NP-LGS *)
                                                            (VVN;_Tn_ cancelled;{cancel})
                                                            (NP-NIM (D the;{the})
                                                                    (ADJP (ADJ next;{next}))
                                                                    (N day;{day})))))))))
          (PUNC .))
  (ID 74_a_paulfellows))



%3 z_0074_5001 r_0074_0049__and and z_0074_5001->r_0074_0049__and [conj2] r_0074_0006__and and z_0074_5001->r_0074_0006__and [conj1] r_0074_0051__got got r_0074_0049__and->r_0074_0051__got [conj2] r_0074_0039__and and r_0074_0049__and->r_0074_0039__and [conj1] r_0074_0008__turned_r_0074_0009__up turned up r_0074_0006__and->r_0074_0008__turned_r_0074_0009__up [conj2] r_0074_0003__did did r_0074_0006__and->r_0074_0003__did [conj1] r_0074_0053__the_r_0074_0055__day the day r_0074_0054__next next r_0074_0053__the_r_0074_0055__day->r_0074_0054__next [attrib] r_0074_0052__cancelled cancelled r_0074_0052__cancelled->r_0074_0053__the_r_0074_0055__day [nim] z_0074_5031___star_ * r_0074_0052__cancelled->z_0074_5031___star_ [arg0] r_0074_0050__ARX ARX r_0074_0052__cancelled->r_0074_0050__ARX [arg1] r_0074_0051__got->r_0074_0052__cancelled [scope] r_0074_0041__ran ran r_0074_0039__and->r_0074_0041__ran [conj2] r_0074_0020__turned_r_0074_0021__up turned up r_0074_0039__and->r_0074_0020__turned_r_0074_0021__up [conj1] r_0074_0046__ticked ticked r_0074_0047__smoothly smoothly r_0074_0046__ticked->r_0074_0047__smoothly [nim] r_0074_0042__16 16 r_0074_0046__ticked->r_0074_0042__16 [arg0] r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program a clock program r_0074_0042__16->r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program of r_0074_0041__ran->r_0074_0042__16 [arg1] r_0074_0007__we we r_0074_0041__ran->r_0074_0007__we [arg0] r_0074_0020__turned_r_0074_0021__up->r_0074_0007__we [arg0] r_0074_0033__and and r_0074_0020__turned_r_0074_0021__up->r_0074_0033__and with [nim] r_0074_0035__ticking ticking r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program a clock program r_0074_0035__ticking->r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program [inv_arg0] r_0074_0033__and->r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program [conj3] r_0074_0030__an_r_0074_0031__Arthur_r_0074_0032__desktop an Arthur desktop r_0074_0033__and->r_0074_0030__an_r_0074_0031__Arthur_r_0074_0032__desktop [conj2] r_0074_0023__an_r_0074_0024__A305 an A305 r_0074_0033__and->r_0074_0023__an_r_0074_0024__A305 [conj1] r_0074_0028__RAM RAM r_0074_0023__an_r_0074_0024__A305->r_0074_0028__RAM with r_0074_0026__256_r_0074_0027__KB 256 KB r_0074_0028__RAM->r_0074_0026__256_r_0074_0027__KB [nim] r_0074_0014__written written r_0074_0014__written->r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program [arg1] r_0074_0011__Tim_r_0074_0012__Dobson Tim Dobson r_0074_0014__written->r_0074_0011__Tim_r_0074_0012__Dobson [arg0] r_0074_0013__had had r_0074_0013__had->r_0074_0014__written [scope] r_0074_0008__turned_r_0074_0009__up->r_0074_0007__we [arg0] r_0074_0008__turned_r_0074_0009__up->r_0074_0013__had [prn] r_0074_0005__demonstration demonstration r_0074_0003__did->r_0074_0005__demonstration [arg1] r_0074_0002__they they r_0074_0003__did->r_0074_0002__they [arg0] r_0074_0001__So So r_0074_0003__did->r_0074_0001__So [nim] r_0074_0005__demonstration->r_0074_0002__they [gen]
arc(r_0074_0003__did,r_0074_0001__So,nim).
arc(r_0074_0003__did,r_0074_0002__they,arg0).
arc(r_0074_0003__did,r_0074_0005__demonstration,arg1).
arc(r_0074_0005__demonstration,r_0074_0002__they,gen).
arc(r_0074_0006__and,r_0074_0003__did,conj1).
arc(r_0074_0006__and,r_0074_0008__turned_r_0074_0009__up,conj2).
arc(r_0074_0008__turned_r_0074_0009__up,r_0074_0007__we,arg0).
arc(r_0074_0008__turned_r_0074_0009__up,r_0074_0013__had,prn).
arc(r_0074_0013__had,r_0074_0014__written,scope).
arc(r_0074_0014__written,r_0074_0011__Tim_r_0074_0012__Dobson,arg0).
arc(r_0074_0014__written,r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program,arg1).
arc(r_0074_0020__turned_r_0074_0021__up,r_0074_0007__we,arg0).
arc(r_0074_0020__turned_r_0074_0021__up,r_0074_0033__and,r_0074_0022__with__nim).
arc(r_0074_0023__an_r_0074_0024__A305,r_0074_0028__RAM,r_0074_0025__with).
arc(r_0074_0028__RAM,r_0074_0026__256_r_0074_0027__KB,nim).
arc(r_0074_0033__and,r_0074_0023__an_r_0074_0024__A305,conj1).
arc(r_0074_0033__and,r_0074_0030__an_r_0074_0031__Arthur_r_0074_0032__desktop,conj2).
arc(r_0074_0033__and,r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program,conj3).
arc(r_0074_0035__ticking,r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program,inv_arg0).
arc(r_0074_0039__and,r_0074_0020__turned_r_0074_0021__up,conj1).
arc(r_0074_0039__and,r_0074_0041__ran,conj2).
arc(r_0074_0041__ran,r_0074_0007__we,arg0).
arc(r_0074_0041__ran,r_0074_0042__16,arg1).
arc(r_0074_0042__16,r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program,r_0074_0043__of).
arc(r_0074_0046__ticked,r_0074_0042__16,arg0).
arc(r_0074_0046__ticked,r_0074_0047__smoothly,nim).
arc(r_0074_0049__and,r_0074_0039__and,conj1).
arc(r_0074_0049__and,r_0074_0051__got,conj2).
arc(r_0074_0051__got,r_0074_0052__cancelled,scope).
arc(r_0074_0052__cancelled,r_0074_0050__ARX,arg1).
arc(r_0074_0052__cancelled,r_0074_0053__the_r_0074_0055__day,nim).
arc(r_0074_0052__cancelled,z_0074_5031___star_,arg0).
arc(r_0074_0053__the_r_0074_0055__day,r_0074_0054__next,attrib).
arc(z_0074_5001,r_0074_0006__and,conj1).
arc(z_0074_5001,r_0074_0049__and,conj2).



%3 r_0074_0003__did did r_0074_0001__So So r_0074_0003__did->r_0074_0001__So [nim] r_0074_0002__they they r_0074_0003__did->r_0074_0002__they [arg0] r_0074_0005__demonstration demonstration r_0074_0003__did->r_0074_0005__demonstration [arg1] r_0074_0005__demonstration->r_0074_0002__they [gen] r_0074_0006__and and r_0074_0006__and->r_0074_0003__did [conj1] r_0074_0008__turned_r_0074_0009__up turned up r_0074_0006__and->r_0074_0008__turned_r_0074_0009__up [conj2] r_0074_0007__we we r_0074_0008__turned_r_0074_0009__up->r_0074_0007__we [arg0] r_0074_0013__had_r_0074_0014__written had written r_0074_0008__turned_r_0074_0009__up->r_0074_0013__had_r_0074_0014__written [prn] r_0074_0011__Tim_r_0074_0012__Dobson Tim Dobson r_0074_0013__had_r_0074_0014__written->r_0074_0011__Tim_r_0074_0012__Dobson [arg0] r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program a clock program r_0074_0013__had_r_0074_0014__written->r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program [arg1] r_0074_0020__turned_r_0074_0021__up turned up r_0074_0020__turned_r_0074_0021__up->r_0074_0007__we [arg0] r_0074_0033__and and r_0074_0020__turned_r_0074_0021__up->r_0074_0033__and with [nim] r_0074_0023__an_r_0074_0024__A305 an A305 r_0074_0033__and->r_0074_0023__an_r_0074_0024__A305 [conj1] r_0074_0030__an_r_0074_0031__Arthur_r_0074_0032__desktop an Arthur desktop r_0074_0033__and->r_0074_0030__an_r_0074_0031__Arthur_r_0074_0032__desktop [conj2] r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program a clock program r_0074_0033__and->r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program [conj3] r_0074_0028__RAM RAM r_0074_0023__an_r_0074_0024__A305->r_0074_0028__RAM with r_0074_0026__256_r_0074_0027__KB 256 KB r_0074_0028__RAM->r_0074_0026__256_r_0074_0027__KB [nim] r_0074_0035__ticking ticking r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program->r_0074_0035__ticking [inv_arg0] r_0074_0039__and and r_0074_0039__and->r_0074_0020__turned_r_0074_0021__up [conj1] r_0074_0041__ran ran r_0074_0039__and->r_0074_0041__ran [conj2] r_0074_0041__ran->r_0074_0007__we [arg0] r_0074_0042__16 16 r_0074_0041__ran->r_0074_0042__16 [arg1] r_0074_0042__16->r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program of r_0074_0046__ticked ticked r_0074_0046__ticked->r_0074_0042__16 [arg0] r_0074_0047__smoothly smoothly r_0074_0046__ticked->r_0074_0047__smoothly [nim] r_0074_0049__and and r_0074_0049__and->r_0074_0039__and [conj1] r_0074_0051__got_r_0074_0052__cancelled got cancelled r_0074_0049__and->r_0074_0051__got_r_0074_0052__cancelled [conj2] r_0074_0050__ARX ARX r_0074_0051__got_r_0074_0052__cancelled->r_0074_0050__ARX [arg1] r_0074_0053__the_r_0074_0055__day the day r_0074_0051__got_r_0074_0052__cancelled->r_0074_0053__the_r_0074_0055__day [nim] z_0074_5031___star_ * r_0074_0051__got_r_0074_0052__cancelled->z_0074_5031___star_ [arg0] r_0074_0054__next next r_0074_0053__the_r_0074_0055__day->r_0074_0054__next [attrib] z_0074_5001 z_0074_5001->r_0074_0006__and [conj1] z_0074_5001->r_0074_0049__and [conj2]
fof(formula,axiom,
    ? [R_0074_0015__A_R_0074_0016__CLOCK_R_0074_0017__PROGRAM,R_0074_0042__16,R_0074_0047__SMOOTHLY,R_0074_0046__TICKED,R_0074_0001__SO,R_0074_0002__THEY,R_0074_0005__DEMONSTRATION,R_0074_0003__DID,R_0074_0007__WE,R_0074_0011__TIM_R_0074_0012__DOBSON,R_0074_0013__HAD_R_0074_0014__WRITTEN,R_0074_0008__TURNED_R_0074_0009__UP,R_0074_0006__AND,R_0074_0026__256_R_0074_0027__KB,R_0074_0028__RAM,R_0074_0023__AN_R_0074_0024__A305,R_0074_0030__AN_R_0074_0031__ARTHUR_R_0074_0032__DESKTOP,R_0074_0035__TICKING,R_0074_0034__A_R_0074_0036__CLOCK_R_0074_0037__PROGRAM,R_0074_0033__AND,R_0074_0020__TURNED_R_0074_0021__UP,R_0074_0041__RAN,R_0074_0039__AND,R_0074_0050__ARX,R_0074_0054__NEXT,R_0074_0053__THE_R_0074_0055__DAY,Z_0074_5031___STAR_,R_0074_0051__GOT_R_0074_0052__CANCELLED,R_0074_0049__AND,Z_0074_5001] :
      ( r_0074_0001__So(R_0074_0001__SO)
      & r_0074_0002__they(R_0074_0002__THEY)
      & r_0074_0007__we(R_0074_0007__WE)
      & r_0074_0011__Tim_r_0074_0012__Dobson(R_0074_0011__TIM_R_0074_0012__DOBSON)
      & r_0074_0015__a_r_0074_0016__clock_r_0074_0017__program(R_0074_0015__A_R_0074_0016__CLOCK_R_0074_0017__PROGRAM)
      & r_0074_0026__256_r_0074_0027__KB(R_0074_0026__256_R_0074_0027__KB)
      & r_0074_0030__an_r_0074_0031__Arthur_r_0074_0032__desktop(R_0074_0030__AN_R_0074_0031__ARTHUR_R_0074_0032__DESKTOP)
      & r_0074_0035__ticking(R_0074_0035__TICKING)
      & r_0074_0047__smoothly(R_0074_0047__SMOOTHLY)
      & r_0074_0050__ARX(R_0074_0050__ARX)
      & r_0074_0054__next(R_0074_0054__NEXT)
      & z_0074_5031___star_(Z_0074_5031___STAR_)
      & z_0074_5001(Z_0074_5001)
      & has_conj2(Z_0074_5001,R_0074_0049__AND)
      & r_0074_0049__and(R_0074_0049__AND)
      & has_conj2(R_0074_0049__AND,R_0074_0051__GOT_R_0074_0052__CANCELLED)
      & r_0074_0051__got_r_0074_0052__cancelled(R_0074_0051__GOT_R_0074_0052__CANCELLED)
      & has_arg0(R_0074_0051__GOT_R_0074_0052__CANCELLED,Z_0074_5031___STAR_)
      & has_nim(R_0074_0051__GOT_R_0074_0052__CANCELLED,R_0074_0053__THE_R_0074_0055__DAY)
      & r_0074_0053__the_r_0074_0055__day(R_0074_0053__THE_R_0074_0055__DAY)
      & has_attrib(R_0074_0053__THE_R_0074_0055__DAY,R_0074_0054__NEXT)
      & has_arg1(R_0074_0051__GOT_R_0074_0052__CANCELLED,R_0074_0050__ARX)
      & has_conj1(R_0074_0049__AND,R_0074_0039__AND)
      & r_0074_0039__and(R_0074_0039__AND)
      & has_conj2(R_0074_0039__AND,R_0074_0041__RAN)
      & r_0074_0041__ran(R_0074_0041__RAN)
      & has_arg1(R_0074_0041__RAN,R_0074_0042__16)
      & r_0074_0042__16(R_0074_0042__16)
      & has_r_0074_0043__of(R_0074_0042__16,R_0074_0015__A_R_0074_0016__CLOCK_R_0074_0017__PROGRAM)
      & has_arg0(R_0074_0041__RAN,R_0074_0007__WE)
      & has_conj1(R_0074_0039__AND,R_0074_0020__TURNED_R_0074_0021__UP)
      & r_0074_0020__turned_r_0074_0021__up(R_0074_0020__TURNED_R_0074_0021__UP)
      & has_r_0074_0022__with__nim(R_0074_0020__TURNED_R_0074_0021__UP,R_0074_0033__AND)
      & r_0074_0033__and(R_0074_0033__AND)
      & has_conj3(R_0074_0033__AND,R_0074_0034__A_R_0074_0036__CLOCK_R_0074_0037__PROGRAM)
      & r_0074_0034__a_r_0074_0036__clock_r_0074_0037__program(R_0074_0034__A_R_0074_0036__CLOCK_R_0074_0037__PROGRAM)
      & has_inv_arg0(R_0074_0034__A_R_0074_0036__CLOCK_R_0074_0037__PROGRAM,R_0074_0035__TICKING)
      & has_conj2(R_0074_0033__AND,R_0074_0030__AN_R_0074_0031__ARTHUR_R_0074_0032__DESKTOP)
      & has_conj1(R_0074_0033__AND,R_0074_0023__AN_R_0074_0024__A305)
      & r_0074_0023__an_r_0074_0024__A305(R_0074_0023__AN_R_0074_0024__A305)
      & has_r_0074_0025__with(R_0074_0023__AN_R_0074_0024__A305,R_0074_0028__RAM)
      & r_0074_0028__RAM(R_0074_0028__RAM)
      & has_nim(R_0074_0028__RAM,R_0074_0026__256_R_0074_0027__KB)
      & has_arg0(R_0074_0020__TURNED_R_0074_0021__UP,R_0074_0007__WE)
      & has_conj1(Z_0074_5001,R_0074_0006__AND)
      & r_0074_0006__and(R_0074_0006__AND)
      & has_conj2(R_0074_0006__AND,R_0074_0008__TURNED_R_0074_0009__UP)
      & r_0074_0008__turned_r_0074_0009__up(R_0074_0008__TURNED_R_0074_0009__UP)
      & has_prn(R_0074_0008__TURNED_R_0074_0009__UP,R_0074_0013__HAD_R_0074_0014__WRITTEN)
      & r_0074_0013__had_r_0074_0014__written(R_0074_0013__HAD_R_0074_0014__WRITTEN)
      & has_arg1(R_0074_0013__HAD_R_0074_0014__WRITTEN,R_0074_0015__A_R_0074_0016__CLOCK_R_0074_0017__PROGRAM)
      & has_arg0(R_0074_0013__HAD_R_0074_0014__WRITTEN,R_0074_0011__TIM_R_0074_0012__DOBSON)
      & has_arg0(R_0074_0008__TURNED_R_0074_0009__UP,R_0074_0007__WE)
      & has_conj1(R_0074_0006__AND,R_0074_0003__DID)
      & r_0074_0003__did(R_0074_0003__DID)
      & has_arg1(R_0074_0003__DID,R_0074_0005__DEMONSTRATION)
      & r_0074_0005__demonstration(R_0074_0005__DEMONSTRATION)
      & has_gen(R_0074_0005__DEMONSTRATION,R_0074_0002__THEY)
      & has_arg0(R_0074_0003__DID,R_0074_0002__THEY)
      & has_nim(R_0074_0003__DID,R_0074_0001__SO)
      & r_0074_0046__ticked(R_0074_0046__TICKED)
      & has_nim(R_0074_0046__TICKED,R_0074_0047__SMOOTHLY)
      & has_arg0(R_0074_0046__TICKED,R_0074_0042__16) ) ).