Context                Previous, Next                Top


9_a_paulfellows
Tony Thompson, who had done that implementation of BASIC 64, he got to do the core of the operating system, so the real guts of Arthur itself.

n9_a_paulfellows n9_a_paulfellows__1_1_1_1_1_1 Tony n9_a_paulfellows__1_1_1_1_2_1 Thompson n9_a_paulfellows__1_1_1_1_3_1 , n9_a_paulfellows__1_1_1_1_4_1_1_1 who n9_a_paulfellows__1_1_1_1_4_2_1 had n9_a_paulfellows__1_1_1_1_4_3_1_1 done n9_a_paulfellows__1_1_1_1_4_3_2_1_1 that n9_a_paulfellows__1_1_1_1_4_3_2_2_1 implementation n9_a_paulfellows__1_1_1_1_4_3_2_3_1_1 of n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1_1 BASIC n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2_1 64 n9_a_paulfellows__1_1_2_1 , n9_a_paulfellows__1_1_3_1 he n9_a_paulfellows__1_2_1 got n9_a_paulfellows__1_3_1_1 to n9_a_paulfellows__1_3_2_1 do n9_a_paulfellows__1_3_3_1_1 the n9_a_paulfellows__1_3_3_2_1 core n9_a_paulfellows__1_3_3_3_1_1 of n9_a_paulfellows__1_3_3_3_2_1_1 the n9_a_paulfellows__1_3_3_3_2_2_1_1 operating n9_a_paulfellows__1_3_3_3_2_3_1 system n9_a_paulfellows__1_3_3_4_1 , n9_a_paulfellows__1_3_3_5_1_1_1_1 so n9_a_paulfellows__1_3_3_5_1_2_1 the n9_a_paulfellows__1_3_3_5_1_3_1_1 real n9_a_paulfellows__1_3_3_5_1_4_1 guts n9_a_paulfellows__1_3_3_5_1_5_1_1 of n9_a_paulfellows__1_3_3_5_1_5_2_1_1 Arthur n9_a_paulfellows__1_3_3_5_1_5_2_2_1_1 itself n9_a_paulfellows__1_4_1 . n9_a_paulfellows__1 IP-MAT n9_a_paulfellows__1_1 NP-SBJ n9_a_paulfellows__1->n9_a_paulfellows__1_1 n9_a_paulfellows__1_2 VBD;_cat_Vt_ n9_a_paulfellows__1->n9_a_paulfellows__1_2 n9_a_paulfellows__1_3 IP-INF-CAT n9_a_paulfellows__1->n9_a_paulfellows__1_3 n9_a_paulfellows__1_4 PUNC n9_a_paulfellows__1->n9_a_paulfellows__1_4 n9_a_paulfellows__1_1_1 PRN n9_a_paulfellows__1_1->n9_a_paulfellows__1_1_1 n9_a_paulfellows__1_1_2 PUNC n9_a_paulfellows__1_1->n9_a_paulfellows__1_1_2 n9_a_paulfellows__1_1_3 PRO n9_a_paulfellows__1_1->n9_a_paulfellows__1_1_3 n9_a_paulfellows__1_1_1_1 NP n9_a_paulfellows__1_1_1->n9_a_paulfellows__1_1_1_1 n9_a_paulfellows__1_1_1_1_1 NPR n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_1 n9_a_paulfellows__1_1_1_1_2 NPR n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_2 n9_a_paulfellows__1_1_1_1_3 PUNC n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_3 n9_a_paulfellows__1_1_1_1_4 IP-REL n9_a_paulfellows__1_1_1_1->n9_a_paulfellows__1_1_1_1_4 n9_a_paulfellows__1_1_1_1_1->n9_a_paulfellows__1_1_1_1_1_1 n9_a_paulfellows__1_1_1_1_2->n9_a_paulfellows__1_1_1_1_2_1 n9_a_paulfellows__1_1_1_1_3->n9_a_paulfellows__1_1_1_1_3_1 n9_a_paulfellows__1_1_1_1_4_1 NP-SBJ n9_a_paulfellows__1_1_1_1_4->n9_a_paulfellows__1_1_1_1_4_1 n9_a_paulfellows__1_1_1_1_4_2 HVD;_cat_Ve_ n9_a_paulfellows__1_1_1_1_4->n9_a_paulfellows__1_1_1_1_4_2 n9_a_paulfellows__1_1_1_1_4_3 IP-PPL-CAT n9_a_paulfellows__1_1_1_1_4->n9_a_paulfellows__1_1_1_1_4_3 n9_a_paulfellows__1_1_1_1_4_1_1 RPRO n9_a_paulfellows__1_1_1_1_4_1->n9_a_paulfellows__1_1_1_1_4_1_1 n9_a_paulfellows__1_1_1_1_4_1_1->n9_a_paulfellows__1_1_1_1_4_1_1_1 n9_a_paulfellows__1_1_1_1_4_2->n9_a_paulfellows__1_1_1_1_4_2_1 n9_a_paulfellows__1_1_1_1_4_3_1 DON;_Tn_ n9_a_paulfellows__1_1_1_1_4_3->n9_a_paulfellows__1_1_1_1_4_3_1 n9_a_paulfellows__1_1_1_1_4_3_2 NP-OB1 n9_a_paulfellows__1_1_1_1_4_3->n9_a_paulfellows__1_1_1_1_4_3_2 n9_a_paulfellows__1_1_1_1_4_3_1->n9_a_paulfellows__1_1_1_1_4_3_1_1 n9_a_paulfellows__1_1_1_1_4_3_2_1 D n9_a_paulfellows__1_1_1_1_4_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_1 n9_a_paulfellows__1_1_1_1_4_3_2_2 N n9_a_paulfellows__1_1_1_1_4_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_2 n9_a_paulfellows__1_1_1_1_4_3_2_3 PP n9_a_paulfellows__1_1_1_1_4_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_3 n9_a_paulfellows__1_1_1_1_4_3_2_1->n9_a_paulfellows__1_1_1_1_4_3_2_1_1 n9_a_paulfellows__1_1_1_1_4_3_2_2->n9_a_paulfellows__1_1_1_1_4_3_2_2_1 n9_a_paulfellows__1_1_1_1_4_3_2_3_1 P-ROLE n9_a_paulfellows__1_1_1_1_4_3_2_3->n9_a_paulfellows__1_1_1_1_4_3_2_3_1 n9_a_paulfellows__1_1_1_1_4_3_2_3_2 NP n9_a_paulfellows__1_1_1_1_4_3_2_3->n9_a_paulfellows__1_1_1_1_4_3_2_3_2 n9_a_paulfellows__1_1_1_1_4_3_2_3_1->n9_a_paulfellows__1_1_1_1_4_3_2_3_1_1 n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1 NPR n9_a_paulfellows__1_1_1_1_4_3_2_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1 n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2 NUM n9_a_paulfellows__1_1_1_1_4_3_2_3_2->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2 n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_1_1 n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2->n9_a_paulfellows__1_1_1_1_4_3_2_3_2_2_1 n9_a_paulfellows__1_1_2->n9_a_paulfellows__1_1_2_1 n9_a_paulfellows__1_1_3->n9_a_paulfellows__1_1_3_1 n9_a_paulfellows__1_2->n9_a_paulfellows__1_2_1 n9_a_paulfellows__1_3_1 TO n9_a_paulfellows__1_3->n9_a_paulfellows__1_3_1 n9_a_paulfellows__1_3_2 DO;_Tn_ n9_a_paulfellows__1_3->n9_a_paulfellows__1_3_2 n9_a_paulfellows__1_3_3 NP-OB1 n9_a_paulfellows__1_3->n9_a_paulfellows__1_3_3 n9_a_paulfellows__1_3_1->n9_a_paulfellows__1_3_1_1 n9_a_paulfellows__1_3_2->n9_a_paulfellows__1_3_2_1 n9_a_paulfellows__1_3_3_1 D n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_1 n9_a_paulfellows__1_3_3_2 N n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_2 n9_a_paulfellows__1_3_3_3 PP n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_3 n9_a_paulfellows__1_3_3_4 PUNC n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_4 n9_a_paulfellows__1_3_3_5 PRN n9_a_paulfellows__1_3_3->n9_a_paulfellows__1_3_3_5 n9_a_paulfellows__1_3_3_1->n9_a_paulfellows__1_3_3_1_1 n9_a_paulfellows__1_3_3_2->n9_a_paulfellows__1_3_3_2_1 n9_a_paulfellows__1_3_3_3_1 P-ROLE n9_a_paulfellows__1_3_3_3->n9_a_paulfellows__1_3_3_3_1 n9_a_paulfellows__1_3_3_3_2 NP n9_a_paulfellows__1_3_3_3->n9_a_paulfellows__1_3_3_3_2 n9_a_paulfellows__1_3_3_3_1->n9_a_paulfellows__1_3_3_3_1_1 n9_a_paulfellows__1_3_3_3_2_1 D n9_a_paulfellows__1_3_3_3_2->n9_a_paulfellows__1_3_3_3_2_1 n9_a_paulfellows__1_3_3_3_2_2 IP-PPL n9_a_paulfellows__1_3_3_3_2->n9_a_paulfellows__1_3_3_3_2_2 n9_a_paulfellows__1_3_3_3_2_3 N n9_a_paulfellows__1_3_3_3_2->n9_a_paulfellows__1_3_3_3_2_3 n9_a_paulfellows__1_3_3_3_2_1->n9_a_paulfellows__1_3_3_3_2_1_1 n9_a_paulfellows__1_3_3_3_2_2_1 VAG;_I_ n9_a_paulfellows__1_3_3_3_2_2->n9_a_paulfellows__1_3_3_3_2_2_1 n9_a_paulfellows__1_3_3_3_2_2_1->n9_a_paulfellows__1_3_3_3_2_2_1_1 n9_a_paulfellows__1_3_3_3_2_3->n9_a_paulfellows__1_3_3_3_2_3_1 n9_a_paulfellows__1_3_3_4->n9_a_paulfellows__1_3_3_4_1 n9_a_paulfellows__1_3_3_5_1 NP n9_a_paulfellows__1_3_3_5->n9_a_paulfellows__1_3_3_5_1 n9_a_paulfellows__1_3_3_5_1_1 ADVP n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_1 n9_a_paulfellows__1_3_3_5_1_2 D n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_2 n9_a_paulfellows__1_3_3_5_1_3 ADJP n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_3 n9_a_paulfellows__1_3_3_5_1_4 NS n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_4 n9_a_paulfellows__1_3_3_5_1_5 PP n9_a_paulfellows__1_3_3_5_1->n9_a_paulfellows__1_3_3_5_1_5 n9_a_paulfellows__1_3_3_5_1_1_1 ADV n9_a_paulfellows__1_3_3_5_1_1->n9_a_paulfellows__1_3_3_5_1_1_1 n9_a_paulfellows__1_3_3_5_1_1_1->n9_a_paulfellows__1_3_3_5_1_1_1_1 n9_a_paulfellows__1_3_3_5_1_2->n9_a_paulfellows__1_3_3_5_1_2_1 n9_a_paulfellows__1_3_3_5_1_3_1 ADJ n9_a_paulfellows__1_3_3_5_1_3->n9_a_paulfellows__1_3_3_5_1_3_1 n9_a_paulfellows__1_3_3_5_1_3_1->n9_a_paulfellows__1_3_3_5_1_3_1_1 n9_a_paulfellows__1_3_3_5_1_4->n9_a_paulfellows__1_3_3_5_1_4_1 n9_a_paulfellows__1_3_3_5_1_5_1 P-ROLE n9_a_paulfellows__1_3_3_5_1_5->n9_a_paulfellows__1_3_3_5_1_5_1 n9_a_paulfellows__1_3_3_5_1_5_2 NP n9_a_paulfellows__1_3_3_5_1_5->n9_a_paulfellows__1_3_3_5_1_5_2 n9_a_paulfellows__1_3_3_5_1_5_1->n9_a_paulfellows__1_3_3_5_1_5_1_1 n9_a_paulfellows__1_3_3_5_1_5_2_1 NPR n9_a_paulfellows__1_3_3_5_1_5_2->n9_a_paulfellows__1_3_3_5_1_5_2_1 n9_a_paulfellows__1_3_3_5_1_5_2_2 NP-RFL n9_a_paulfellows__1_3_3_5_1_5_2->n9_a_paulfellows__1_3_3_5_1_5_2_2 n9_a_paulfellows__1_3_3_5_1_5_2_1->n9_a_paulfellows__1_3_3_5_1_5_2_1_1 n9_a_paulfellows__1_3_3_5_1_5_2_2_1 PNX n9_a_paulfellows__1_3_3_5_1_5_2_2->n9_a_paulfellows__1_3_3_5_1_5_2_2_1 n9_a_paulfellows__1_3_3_5_1_5_2_2_1->n9_a_paulfellows__1_3_3_5_1_5_2_2_1_1 n9_a_paulfellows__1_4->n9_a_paulfellows__1_4_1 
( (IP-MAT (NP-SBJ (PRN (NP (NPR Tony;{Tony})
                           (NPR Thompson;{Thompson})
                           (PUNC ,)
                           (IP-REL (NP-SBJ (RPRO who;{who}))
                                   (HVD;_cat_Ve_ had;{have})
                                   (IP-PPL-CAT (DON;_Tn_ done;{do})
                                               (NP-OB1 (D that;{that})
                                                       (N implementation;{implementation})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (NPR BASIC;{BASIC})
                                                               (NUM 64))))))))
                  (PUNC ,)
                  (PRO he;{he}))
          (VBD;_cat_Vt_ got;{get})
          (IP-INF-CAT (TO to;{to})
                      (DO;_Tn_ do;{do})
                      (NP-OB1 (D the;{the})
                              (N core;{core})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (IP-PPL (VAG;_I_ operating;{operate}))
                                      (N system;{system})))
                              (PUNC ,)
                              (PRN (NP (ADVP (ADV so;{so}))
                                       (D the;{the})
                                       (ADJP (ADJ real;{real}))
                                       (NS guts;{gut})
                                       (PP (P-ROLE of;{of})
                                           (NP (NPR Arthur;{Arthur})
                                               (NP-RFL (PNX itself;{itself}))))))))
          (PUNC .))
  (ID 9_a_paulfellows))


%3 z_0009_5015 r_0009_0025__the_r_0009_0027__guts the guts z_0009_5015->r_0009_0025__the_r_0009_0027__guts [prd] r_0009_0017__the_r_0009_0018__core the core z_0009_5015->r_0009_0017__the_r_0009_0018__core [arg0] r_0009_0029__Arthur Arthur r_0009_0025__the_r_0009_0027__guts->r_0009_0029__Arthur of r_0009_0026__real real r_0009_0025__the_r_0009_0027__guts->r_0009_0026__real [attrib] r_0009_0024__so so r_0009_0025__the_r_0009_0027__guts->r_0009_0024__so [qual] r_0009_0020__the_r_0009_0022__system the system r_0009_0017__the_r_0009_0018__core->r_0009_0020__the_r_0009_0022__system of z_0009_5006 r_0009_0013__he he z_0009_5006->r_0009_0013__he [arg0] r_0009_0001__Tony_r_0009_0002__Thompson Tony Thompson z_0009_5006->r_0009_0001__Tony_r_0009_0002__Thompson [prd] r_0009_0030__itself itself r_0009_0029__Arthur->r_0009_0030__itself [rfl] r_0009_0021__operating operating r_0009_0021__operating->r_0009_0020__the_r_0009_0022__system [inv_arg0] r_0009_0016__do do r_0009_0016__do->r_0009_0017__the_r_0009_0018__core [arg1] r_0009_0016__do->r_0009_0013__he [arg0] r_0009_0014__got got r_0009_0014__got->r_0009_0016__do [scope] r_0009_0007__that_r_0009_0008__implementation that implementation r_0009_0010__BASIC_r_0009_0011__64 BASIC 64 r_0009_0007__that_r_0009_0008__implementation->r_0009_0010__BASIC_r_0009_0011__64 of r_0009_0006__done done r_0009_0006__done->r_0009_0001__Tony_r_0009_0002__Thompson [arg0] r_0009_0006__done->r_0009_0007__that_r_0009_0008__implementation [arg1] r_0009_0005__had had r_0009_0005__had->r_0009_0006__done [scope] 
arc(r_0009_0005__had,r_0009_0006__done,scope).
arc(r_0009_0006__done,r_0009_0001__Tony_r_0009_0002__Thompson,arg0).
arc(r_0009_0006__done,r_0009_0007__that_r_0009_0008__implementation,arg1).
arc(r_0009_0007__that_r_0009_0008__implementation,r_0009_0010__BASIC_r_0009_0011__64,r_0009_0009__of).
arc(r_0009_0014__got,r_0009_0016__do,scope).
arc(r_0009_0016__do,r_0009_0013__he,arg0).
arc(r_0009_0016__do,r_0009_0017__the_r_0009_0018__core,arg1).
arc(r_0009_0017__the_r_0009_0018__core,r_0009_0020__the_r_0009_0022__system,r_0009_0019__of).
arc(r_0009_0021__operating,r_0009_0020__the_r_0009_0022__system,inv_arg0).
arc(r_0009_0025__the_r_0009_0027__guts,r_0009_0024__so,qual).
arc(r_0009_0025__the_r_0009_0027__guts,r_0009_0026__real,attrib).
arc(r_0009_0025__the_r_0009_0027__guts,r_0009_0029__Arthur,r_0009_0028__of).
arc(r_0009_0029__Arthur,r_0009_0030__itself,rfl).
arc(z_0009_5006,r_0009_0001__Tony_r_0009_0002__Thompson,prd).
arc(z_0009_5006,r_0009_0013__he,arg0).
arc(z_0009_5015,r_0009_0017__the_r_0009_0018__core,arg0).
arc(z_0009_5015,r_0009_0025__the_r_0009_0027__guts,prd).


%3 r_0009_0005__had_r_0009_0006__done had done r_0009_0001__Tony_r_0009_0002__Thompson Tony Thompson r_0009_0005__had_r_0009_0006__done->r_0009_0001__Tony_r_0009_0002__Thompson [arg0] r_0009_0007__that_r_0009_0008__implementation that implementation r_0009_0005__had_r_0009_0006__done->r_0009_0007__that_r_0009_0008__implementation [arg1] r_0009_0010__BASIC_r_0009_0011__64 BASIC 64 r_0009_0007__that_r_0009_0008__implementation->r_0009_0010__BASIC_r_0009_0011__64 of r_0009_0014__got_r_0009_0016__do got do r_0009_0013__he he r_0009_0014__got_r_0009_0016__do->r_0009_0013__he [arg0] r_0009_0017__the_r_0009_0018__core the core r_0009_0014__got_r_0009_0016__do->r_0009_0017__the_r_0009_0018__core [arg1] r_0009_0020__the_r_0009_0022__system the system r_0009_0017__the_r_0009_0018__core->r_0009_0020__the_r_0009_0022__system of r_0009_0021__operating operating r_0009_0020__the_r_0009_0022__system->r_0009_0021__operating [inv_arg0] r_0009_0025__the_r_0009_0027__guts the guts r_0009_0024__so so r_0009_0025__the_r_0009_0027__guts->r_0009_0024__so [qual] r_0009_0026__real real r_0009_0025__the_r_0009_0027__guts->r_0009_0026__real [attrib] r_0009_0029__Arthur Arthur r_0009_0025__the_r_0009_0027__guts->r_0009_0029__Arthur of r_0009_0030__itself itself r_0009_0029__Arthur->r_0009_0030__itself [rfl] z_0009_5006 z_0009_5006->r_0009_0001__Tony_r_0009_0002__Thompson [prd] z_0009_5006->r_0009_0013__he [arg0] z_0009_5015 z_0009_5015->r_0009_0017__the_r_0009_0018__core [arg0] z_0009_5015->r_0009_0025__the_r_0009_0027__guts [prd] 
fof(formula,axiom,
    ? [R_0009_0001__TONY_R_0009_0002__THOMPSON,R_0009_0010__BASIC_R_0009_0011__64,R_0009_0007__THAT_R_0009_0008__IMPLEMENTATION,R_0009_0005__HAD_R_0009_0006__DONE,R_0009_0013__HE,R_0009_0021__OPERATING,R_0009_0020__THE_R_0009_0022__SYSTEM,R_0009_0017__THE_R_0009_0018__CORE,R_0009_0014__GOT_R_0009_0016__DO,Z_0009_5006,R_0009_0024__SO,R_0009_0026__REAL,R_0009_0030__ITSELF,R_0009_0029__ARTHUR,R_0009_0025__THE_R_0009_0027__GUTS,Z_0009_5015] :
      ( r_0009_0001__Tony_r_0009_0002__Thompson(R_0009_0001__TONY_R_0009_0002__THOMPSON)
      & r_0009_0010__BASIC_r_0009_0011__64(R_0009_0010__BASIC_R_0009_0011__64)
      & r_0009_0013__he(R_0009_0013__HE)
      & r_0009_0021__operating(R_0009_0021__OPERATING)
      & r_0009_0024__so(R_0009_0024__SO)
      & r_0009_0026__real(R_0009_0026__REAL)
      & r_0009_0030__itself(R_0009_0030__ITSELF)
      & z_0009_5015(Z_0009_5015)
      & has_prd(Z_0009_5015,R_0009_0025__THE_R_0009_0027__GUTS)
      & r_0009_0025__the_r_0009_0027__guts(R_0009_0025__THE_R_0009_0027__GUTS)
      & has_r_0009_0028__of(R_0009_0025__THE_R_0009_0027__GUTS,R_0009_0029__ARTHUR)
      & r_0009_0029__Arthur(R_0009_0029__ARTHUR)
      & has_rfl(R_0009_0029__ARTHUR,R_0009_0030__ITSELF)
      & has_attrib(R_0009_0025__THE_R_0009_0027__GUTS,R_0009_0026__REAL)
      & has_qual(R_0009_0025__THE_R_0009_0027__GUTS,R_0009_0024__SO)
      & has_arg0(Z_0009_5015,R_0009_0017__THE_R_0009_0018__CORE)
      & r_0009_0017__the_r_0009_0018__core(R_0009_0017__THE_R_0009_0018__CORE)
      & has_r_0009_0019__of(R_0009_0017__THE_R_0009_0018__CORE,R_0009_0020__THE_R_0009_0022__SYSTEM)
      & r_0009_0020__the_r_0009_0022__system(R_0009_0020__THE_R_0009_0022__SYSTEM)
      & has_inv_arg0(R_0009_0020__THE_R_0009_0022__SYSTEM,R_0009_0021__OPERATING)
      & z_0009_5006(Z_0009_5006)
      & has_arg0(Z_0009_5006,R_0009_0013__HE)
      & has_prd(Z_0009_5006,R_0009_0001__TONY_R_0009_0002__THOMPSON)
      & r_0009_0014__got_r_0009_0016__do(R_0009_0014__GOT_R_0009_0016__DO)
      & has_arg1(R_0009_0014__GOT_R_0009_0016__DO,R_0009_0017__THE_R_0009_0018__CORE)
      & has_arg0(R_0009_0014__GOT_R_0009_0016__DO,R_0009_0013__HE)
      & r_0009_0005__had_r_0009_0006__done(R_0009_0005__HAD_R_0009_0006__DONE)
      & has_arg1(R_0009_0005__HAD_R_0009_0006__DONE,R_0009_0007__THAT_R_0009_0008__IMPLEMENTATION)
      & r_0009_0007__that_r_0009_0008__implementation(R_0009_0007__THAT_R_0009_0008__IMPLEMENTATION)
      & has_r_0009_0009__of(R_0009_0007__THAT_R_0009_0008__IMPLEMENTATION,R_0009_0010__BASIC_R_0009_0011__64)
      & has_arg0(R_0009_0005__HAD_R_0009_0006__DONE,R_0009_0001__TONY_R_0009_0002__THOMPSON) ) ).