Context                Previous, Next                Top


15_a_paulfellows
Stuart Swales, wrote fileswitch and I think the Heap manager as well, we couldn't have done it without Stuart, he just fixed everything.

%3 r_0015_0004__wrote wrote r_0015_0001__Stuart_r_0015_0002__Swales Stuart Swales r_0015_0004__wrote->r_0015_0001__Stuart_r_0015_0002__Swales [arg0] r_0015_0006__and and r_0015_0004__wrote->r_0015_0006__and [arg1] r_0015_0005__fileswitch fileswitch r_0015_0006__and->r_0015_0005__fileswitch [conj1] r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager the Heap manager r_0015_0006__and->r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager [conj2] r_0015_0013__well well r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager->r_0015_0013__well [qual] r_0015_0012__as as r_0015_0013__well->r_0015_0012__as [qual] 
arc(r_0015_0004__wrote, r_0015_0001__Stuart_r_0015_0002__Swales, arg0).
arc(r_0015_0004__wrote, r_0015_0006__and, arg1).
arc(r_0015_0006__and, r_0015_0005__fileswitch, conj1).
arc(r_0015_0006__and, r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager, conj2).
arc(r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager, r_0015_0013__well, qual33).
arc(r_0015_0013__well, r_0015_0012__as, qual34).


%3 r_0015_0013__well well r_0015_0012__as as r_0015_0013__well->r_0015_0012__as [qual] r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager the Heap manager r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager->r_0015_0013__well [qual] r_0015_0006__and and r_0015_0006__and->r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager [conj2] r_0015_0005__fileswitch fileswitch r_0015_0006__and->r_0015_0005__fileswitch [conj1] r_0015_0004__wrote wrote r_0015_0004__wrote->r_0015_0006__and [arg1] r_0015_0001__Stuart_r_0015_0002__Swales Stuart Swales r_0015_0004__wrote->r_0015_0001__Stuart_r_0015_0002__Swales [arg0] 
fof(formula,axiom,
    ? [R_0015_0001__STUART_R_0015_0002__SWALES,R_0015_0005__FILESWITCH,R_0015_0012__AS,R_0015_0013__WELL,R_0015_0009__THE_R_0015_0010__HEAP_R_0015_0011__MANAGER,R_0015_0006__AND,R_0015_0004__WROTE] :
      ( r_0015_0001__Stuart_r_0015_0002__Swales(R_0015_0001__STUART_R_0015_0002__SWALES)
      & r_0015_0005__fileswitch(R_0015_0005__FILESWITCH)
      & r_0015_0012__as(R_0015_0012__AS)
      & r_0015_0004__wrote(R_0015_0004__WROTE)
      & has_arg1(R_0015_0004__WROTE,R_0015_0006__AND)
      & r_0015_0006__and(R_0015_0006__AND)
      & has_conj2(R_0015_0006__AND,R_0015_0009__THE_R_0015_0010__HEAP_R_0015_0011__MANAGER)
      & r_0015_0009__the_r_0015_0010__Heap_r_0015_0011__manager(R_0015_0009__THE_R_0015_0010__HEAP_R_0015_0011__MANAGER)
      & has_qual33(R_0015_0009__THE_R_0015_0010__HEAP_R_0015_0011__MANAGER,R_0015_0013__WELL)
      & r_0015_0013__well(R_0015_0013__WELL)
      & has_qual34(R_0015_0013__WELL,R_0015_0012__AS)
      & has_conj1(R_0015_0006__AND,R_0015_0005__FILESWITCH)
      & has_arg0(R_0015_0004__WROTE,R_0015_0001__STUART_R_0015_0002__SWALES) ) ).


n15_a_paulfellows n15_a_paulfellows__1_1_1_1 Stuart n15_a_paulfellows__1_1_2_1 Swales n15_a_paulfellows__1_2_1 , n15_a_paulfellows__1_3_1 wrote n15_a_paulfellows__1_4_1_1_1_1 fileswitch n15_a_paulfellows__1_4_1_2_1_1 and n15_a_paulfellows__1_4_1_2_2_1_1_1_1_1 I n15_a_paulfellows__1_4_1_2_2_1_1_2_1 think n15_a_paulfellows__1_4_1_2_2_2_1 the n15_a_paulfellows__1_4_1_2_2_3_1 Heap n15_a_paulfellows__1_4_1_2_2_4_1 manager n15_a_paulfellows__1_4_1_2_2_5_1_1_1 as n15_a_paulfellows__1_4_1_2_2_5_2_1 well n15_a_paulfellows__1_5_1 , n15_a_paulfellows__1_6_1_1_1_1 we n15_a_paulfellows__1_6_1_2_1 could n15_a_paulfellows__1_6_1_3_1 n't n15_a_paulfellows__1_6_1_4_1_1 have n15_a_paulfellows__1_6_1_4_2_1_1 done n15_a_paulfellows__1_6_1_4_2_2_1_1 it n15_a_paulfellows__1_6_1_4_2_3_1_1 without n15_a_paulfellows__1_6_1_4_2_3_2_1_1 Stuart n15_a_paulfellows__1_6_1_4_3_1 , n15_a_paulfellows__1_6_1_4_4_1_1_1_1 he n15_a_paulfellows__1_6_1_4_4_1_2_1_1 just n15_a_paulfellows__1_6_1_4_4_1_3_1 fixed n15_a_paulfellows__1_6_1_4_4_1_4_1_1 everything n15_a_paulfellows__1_7_1 . n15_a_paulfellows__1 IP-MAT n15_a_paulfellows__1_1 NP-SBJ n15_a_paulfellows__1->n15_a_paulfellows__1_1 n15_a_paulfellows__1_2 PUNC n15_a_paulfellows__1->n15_a_paulfellows__1_2 n15_a_paulfellows__1_3 VBD;__ n15_a_paulfellows__1->n15_a_paulfellows__1_3 n15_a_paulfellows__1_4 NP-OB1 n15_a_paulfellows__1->n15_a_paulfellows__1_4 n15_a_paulfellows__1_5 PUNC n15_a_paulfellows__1->n15_a_paulfellows__1_5 n15_a_paulfellows__1_6 PRN n15_a_paulfellows__1->n15_a_paulfellows__1_6 n15_a_paulfellows__1_7 PUNC n15_a_paulfellows__1->n15_a_paulfellows__1_7 n15_a_paulfellows__1_1_1 NPR n15_a_paulfellows__1_1->n15_a_paulfellows__1_1_1 n15_a_paulfellows__1_1_2 NPR n15_a_paulfellows__1_1->n15_a_paulfellows__1_1_2 n15_a_paulfellows__1_1_1->n15_a_paulfellows__1_1_1_1 n15_a_paulfellows__1_1_2->n15_a_paulfellows__1_1_2_1 n15_a_paulfellows__1_2->n15_a_paulfellows__1_2_1 n15_a_paulfellows__1_3->n15_a_paulfellows__1_3_1 n15_a_paulfellows__1_4_1 NLYR n15_a_paulfellows__1_4->n15_a_paulfellows__1_4_1 n15_a_paulfellows__1_4_1_1 NLYR n15_a_paulfellows__1_4_1->n15_a_paulfellows__1_4_1_1 n15_a_paulfellows__1_4_1_2 CONJP n15_a_paulfellows__1_4_1->n15_a_paulfellows__1_4_1_2 n15_a_paulfellows__1_4_1_1_1 NPR n15_a_paulfellows__1_4_1_1->n15_a_paulfellows__1_4_1_1_1 n15_a_paulfellows__1_4_1_1_1->n15_a_paulfellows__1_4_1_1_1_1 n15_a_paulfellows__1_4_1_2_1 CONJ n15_a_paulfellows__1_4_1_2->n15_a_paulfellows__1_4_1_2_1 n15_a_paulfellows__1_4_1_2_2 NLYR n15_a_paulfellows__1_4_1_2->n15_a_paulfellows__1_4_1_2_2 n15_a_paulfellows__1_4_1_2_1->n15_a_paulfellows__1_4_1_2_1_1 n15_a_paulfellows__1_4_1_2_2_1 PRN n15_a_paulfellows__1_4_1_2_2->n15_a_paulfellows__1_4_1_2_2_1 n15_a_paulfellows__1_4_1_2_2_2 D n15_a_paulfellows__1_4_1_2_2->n15_a_paulfellows__1_4_1_2_2_2 n15_a_paulfellows__1_4_1_2_2_3 N n15_a_paulfellows__1_4_1_2_2->n15_a_paulfellows__1_4_1_2_2_3 n15_a_paulfellows__1_4_1_2_2_4 N n15_a_paulfellows__1_4_1_2_2->n15_a_paulfellows__1_4_1_2_2_4 n15_a_paulfellows__1_4_1_2_2_5 ADVP n15_a_paulfellows__1_4_1_2_2->n15_a_paulfellows__1_4_1_2_2_5 n15_a_paulfellows__1_4_1_2_2_1_1 IP-MAT n15_a_paulfellows__1_4_1_2_2_1->n15_a_paulfellows__1_4_1_2_2_1_1 n15_a_paulfellows__1_4_1_2_2_1_1_1 NP-SBJ n15_a_paulfellows__1_4_1_2_2_1_1->n15_a_paulfellows__1_4_1_2_2_1_1_1 n15_a_paulfellows__1_4_1_2_2_1_1_2 VBP;__ n15_a_paulfellows__1_4_1_2_2_1_1->n15_a_paulfellows__1_4_1_2_2_1_1_2 n15_a_paulfellows__1_4_1_2_2_1_1_1_1 PRO n15_a_paulfellows__1_4_1_2_2_1_1_1->n15_a_paulfellows__1_4_1_2_2_1_1_1_1 n15_a_paulfellows__1_4_1_2_2_1_1_1_1->n15_a_paulfellows__1_4_1_2_2_1_1_1_1_1 n15_a_paulfellows__1_4_1_2_2_1_1_2->n15_a_paulfellows__1_4_1_2_2_1_1_2_1 n15_a_paulfellows__1_4_1_2_2_2->n15_a_paulfellows__1_4_1_2_2_2_1 n15_a_paulfellows__1_4_1_2_2_3->n15_a_paulfellows__1_4_1_2_2_3_1 n15_a_paulfellows__1_4_1_2_2_4->n15_a_paulfellows__1_4_1_2_2_4_1 n15_a_paulfellows__1_4_1_2_2_5_1 ADVP n15_a_paulfellows__1_4_1_2_2_5->n15_a_paulfellows__1_4_1_2_2_5_1 n15_a_paulfellows__1_4_1_2_2_5_2 ADV n15_a_paulfellows__1_4_1_2_2_5->n15_a_paulfellows__1_4_1_2_2_5_2 n15_a_paulfellows__1_4_1_2_2_5_1_1 ADV n15_a_paulfellows__1_4_1_2_2_5_1->n15_a_paulfellows__1_4_1_2_2_5_1_1 n15_a_paulfellows__1_4_1_2_2_5_1_1->n15_a_paulfellows__1_4_1_2_2_5_1_1_1 n15_a_paulfellows__1_4_1_2_2_5_2->n15_a_paulfellows__1_4_1_2_2_5_2_1 n15_a_paulfellows__1_5->n15_a_paulfellows__1_5_1 n15_a_paulfellows__1_6_1 IP-MAT n15_a_paulfellows__1_6->n15_a_paulfellows__1_6_1 n15_a_paulfellows__1_6_1_1 NP-SBJ n15_a_paulfellows__1_6_1->n15_a_paulfellows__1_6_1_1 n15_a_paulfellows__1_6_1_2 MD;_cat_Vi_ n15_a_paulfellows__1_6_1->n15_a_paulfellows__1_6_1_2 n15_a_paulfellows__1_6_1_3 NEG;_clitic_ n15_a_paulfellows__1_6_1->n15_a_paulfellows__1_6_1_3 n15_a_paulfellows__1_6_1_4 IP-INF-CAT n15_a_paulfellows__1_6_1->n15_a_paulfellows__1_6_1_4 n15_a_paulfellows__1_6_1_1_1 PRO n15_a_paulfellows__1_6_1_1->n15_a_paulfellows__1_6_1_1_1 n15_a_paulfellows__1_6_1_1_1->n15_a_paulfellows__1_6_1_1_1_1 n15_a_paulfellows__1_6_1_2->n15_a_paulfellows__1_6_1_2_1 n15_a_paulfellows__1_6_1_3->n15_a_paulfellows__1_6_1_3_1 n15_a_paulfellows__1_6_1_4_1 HV;_cat_Ve_ n15_a_paulfellows__1_6_1_4->n15_a_paulfellows__1_6_1_4_1 n15_a_paulfellows__1_6_1_4_2 IP-PPL-CAT n15_a_paulfellows__1_6_1_4->n15_a_paulfellows__1_6_1_4_2 n15_a_paulfellows__1_6_1_4_3 PUNC n15_a_paulfellows__1_6_1_4->n15_a_paulfellows__1_6_1_4_3 n15_a_paulfellows__1_6_1_4_4 PRN n15_a_paulfellows__1_6_1_4->n15_a_paulfellows__1_6_1_4_4 n15_a_paulfellows__1_6_1_4_1->n15_a_paulfellows__1_6_1_4_1_1 n15_a_paulfellows__1_6_1_4_2_1 DON;_Tn_ n15_a_paulfellows__1_6_1_4_2->n15_a_paulfellows__1_6_1_4_2_1 n15_a_paulfellows__1_6_1_4_2_2 NP-OB1 n15_a_paulfellows__1_6_1_4_2->n15_a_paulfellows__1_6_1_4_2_2 n15_a_paulfellows__1_6_1_4_2_3 PP-NIM n15_a_paulfellows__1_6_1_4_2->n15_a_paulfellows__1_6_1_4_2_3 n15_a_paulfellows__1_6_1_4_2_1->n15_a_paulfellows__1_6_1_4_2_1_1 n15_a_paulfellows__1_6_1_4_2_2_1 PRO n15_a_paulfellows__1_6_1_4_2_2->n15_a_paulfellows__1_6_1_4_2_2_1 n15_a_paulfellows__1_6_1_4_2_2_1->n15_a_paulfellows__1_6_1_4_2_2_1_1 n15_a_paulfellows__1_6_1_4_2_3_1 P-ROLE n15_a_paulfellows__1_6_1_4_2_3->n15_a_paulfellows__1_6_1_4_2_3_1 n15_a_paulfellows__1_6_1_4_2_3_2 NP n15_a_paulfellows__1_6_1_4_2_3->n15_a_paulfellows__1_6_1_4_2_3_2 n15_a_paulfellows__1_6_1_4_2_3_1->n15_a_paulfellows__1_6_1_4_2_3_1_1 n15_a_paulfellows__1_6_1_4_2_3_2_1 NPR n15_a_paulfellows__1_6_1_4_2_3_2->n15_a_paulfellows__1_6_1_4_2_3_2_1 n15_a_paulfellows__1_6_1_4_2_3_2_1->n15_a_paulfellows__1_6_1_4_2_3_2_1_1 n15_a_paulfellows__1_6_1_4_3->n15_a_paulfellows__1_6_1_4_3_1 n15_a_paulfellows__1_6_1_4_4_1 IP-MAT n15_a_paulfellows__1_6_1_4_4->n15_a_paulfellows__1_6_1_4_4_1 n15_a_paulfellows__1_6_1_4_4_1_1 NP-SBJ n15_a_paulfellows__1_6_1_4_4_1->n15_a_paulfellows__1_6_1_4_4_1_1 n15_a_paulfellows__1_6_1_4_4_1_2 ADVP-NIM n15_a_paulfellows__1_6_1_4_4_1->n15_a_paulfellows__1_6_1_4_4_1_2 n15_a_paulfellows__1_6_1_4_4_1_3 VBD;_Tn_ n15_a_paulfellows__1_6_1_4_4_1->n15_a_paulfellows__1_6_1_4_4_1_3 n15_a_paulfellows__1_6_1_4_4_1_4 NP-OB1 n15_a_paulfellows__1_6_1_4_4_1->n15_a_paulfellows__1_6_1_4_4_1_4 n15_a_paulfellows__1_6_1_4_4_1_1_1 PRO n15_a_paulfellows__1_6_1_4_4_1_1->n15_a_paulfellows__1_6_1_4_4_1_1_1 n15_a_paulfellows__1_6_1_4_4_1_1_1->n15_a_paulfellows__1_6_1_4_4_1_1_1_1 n15_a_paulfellows__1_6_1_4_4_1_2_1 ADV n15_a_paulfellows__1_6_1_4_4_1_2->n15_a_paulfellows__1_6_1_4_4_1_2_1 n15_a_paulfellows__1_6_1_4_4_1_2_1->n15_a_paulfellows__1_6_1_4_4_1_2_1_1 n15_a_paulfellows__1_6_1_4_4_1_3->n15_a_paulfellows__1_6_1_4_4_1_3_1 n15_a_paulfellows__1_6_1_4_4_1_4_1 Q;_nphd_ n15_a_paulfellows__1_6_1_4_4_1_4->n15_a_paulfellows__1_6_1_4_4_1_4_1 n15_a_paulfellows__1_6_1_4_4_1_4_1->n15_a_paulfellows__1_6_1_4_4_1_4_1_1 n15_a_paulfellows__1_7->n15_a_paulfellows__1_7_1 
( (IP-MAT (NP-SBJ;{STUART} (NPR Stuart;{Stuart})
                           (NPR Swales;{Swales}))
          (PUNC ,)
          (VBD;__ wrote;{write})
          (NP-OB1 (NLYR (NLYR (NPR fileswitch;{fileswitch}))
                        (CONJP (CONJ and;{and})
                               (NLYR (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                                                  (VBP;__ think;{think})))
                                     (D the;{the})
                                     (N Heap;{heap})
                                     (N manager;{manager})
                                     (ADVP (ADVP (ADV as;{as}))
                                           (ADV well;{well}))))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO we;{we}))
                       (MD;_cat_Vi_ could;{can})
                       (NEG;_clitic_ n<apos>t;{not})
                       (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                   (IP-PPL-CAT (DON;_Tn_ done;{do})
                                               (NP-OB1 (PRO it;{it}))
                                               (PP-NIM (P-ROLE without;{without})
                                                       (NP;{STUART} (NPR Stuart;{Stuart}))))
                                   (PUNC ,)
                                   (PRN (IP-MAT (NP-SBJ;{STUART} (PRO he;{he}))
                                                (ADVP-NIM (ADV just;{just}))
                                                (VBD;_Tn_ fixed;{fix})
                                                (NP-OB1 (Q;_nphd_ everything;{everything})))))))
          (PUNC .))
  (ID 15_a_paulfellows))