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_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] 
fof(formula,axiom,
    ? [R_15_4_WROTE,R_15_1_STUART_SWALES,R_15_6_AND,R_15_5_FILESWITCH,R_15_9_THE_HEAP_MANAGER,R_15_13_WELL,R_15_12_AS] :
      ( stuart_Swales(R_15_1_STUART_SWALES)
      & fileswitch(R_15_5_FILESWITCH)
      & as(R_15_12_AS)
      & wrote(R_15_4_WROTE,R_15_1_STUART_SWALES,R_15_6_AND)
      & and(R_15_6_AND)
      & conj1(R_15_6_AND,R_15_5_FILESWITCH)
      & conj2(R_15_6_AND,R_15_9_THE_HEAP_MANAGER)
      & the_Heap_manager(R_15_9_THE_HEAP_MANAGER)
      & qual33(R_15_9_THE_HEAP_MANAGER,R_15_13_WELL)
      & well(R_15_13_WELL)
      & qual34(R_15_13_WELL,R_15_12_AS) ) ).


n15_a_paulfellows n15_a_paulfellows_4 Stuart n15_a_paulfellows_6 Swales n15_a_paulfellows_8 , n15_a_paulfellows_10 wrote n15_a_paulfellows_15 fileswitch n15_a_paulfellows_18 and n15_a_paulfellows_24 I n15_a_paulfellows_26 think n15_a_paulfellows_28 the n15_a_paulfellows_30 Heap n15_a_paulfellows_32 manager n15_a_paulfellows_36 as n15_a_paulfellows_38 well n15_a_paulfellows_40 , n15_a_paulfellows_45 we n15_a_paulfellows_47 could n15_a_paulfellows_49 n't n15_a_paulfellows_52 have n15_a_paulfellows_55 done n15_a_paulfellows_58 it n15_a_paulfellows_61 without n15_a_paulfellows_64 Stuart n15_a_paulfellows_66 , n15_a_paulfellows_71 he n15_a_paulfellows_74 just n15_a_paulfellows_76 fixed n15_a_paulfellows_79 everything n15_a_paulfellows_81 . n15_a_paulfellows_1 IP-MAT n15_a_paulfellows_2 NP-SBJ n15_a_paulfellows_1->n15_a_paulfellows_2 n15_a_paulfellows_7 PUNC n15_a_paulfellows_1->n15_a_paulfellows_7 n15_a_paulfellows_9 VBD;__ n15_a_paulfellows_1->n15_a_paulfellows_9 n15_a_paulfellows_11 NP-OB1 n15_a_paulfellows_1->n15_a_paulfellows_11 n15_a_paulfellows_39 PUNC n15_a_paulfellows_1->n15_a_paulfellows_39 n15_a_paulfellows_41 PRN n15_a_paulfellows_1->n15_a_paulfellows_41 n15_a_paulfellows_80 PUNC n15_a_paulfellows_1->n15_a_paulfellows_80 n15_a_paulfellows_3 NPR n15_a_paulfellows_2->n15_a_paulfellows_3 n15_a_paulfellows_5 NPR n15_a_paulfellows_2->n15_a_paulfellows_5 n15_a_paulfellows_3->n15_a_paulfellows_4 n15_a_paulfellows_5->n15_a_paulfellows_6 n15_a_paulfellows_7->n15_a_paulfellows_8 n15_a_paulfellows_9->n15_a_paulfellows_10 n15_a_paulfellows_12 NLYR n15_a_paulfellows_11->n15_a_paulfellows_12 n15_a_paulfellows_13 NLYR n15_a_paulfellows_12->n15_a_paulfellows_13 n15_a_paulfellows_16 CONJP n15_a_paulfellows_12->n15_a_paulfellows_16 n15_a_paulfellows_14 NPR n15_a_paulfellows_13->n15_a_paulfellows_14 n15_a_paulfellows_14->n15_a_paulfellows_15 n15_a_paulfellows_17 CONJ n15_a_paulfellows_16->n15_a_paulfellows_17 n15_a_paulfellows_19 NLYR n15_a_paulfellows_16->n15_a_paulfellows_19 n15_a_paulfellows_17->n15_a_paulfellows_18 n15_a_paulfellows_20 PRN n15_a_paulfellows_19->n15_a_paulfellows_20 n15_a_paulfellows_27 D n15_a_paulfellows_19->n15_a_paulfellows_27 n15_a_paulfellows_29 N n15_a_paulfellows_19->n15_a_paulfellows_29 n15_a_paulfellows_31 N n15_a_paulfellows_19->n15_a_paulfellows_31 n15_a_paulfellows_33 ADVP n15_a_paulfellows_19->n15_a_paulfellows_33 n15_a_paulfellows_21 IP-MAT n15_a_paulfellows_20->n15_a_paulfellows_21 n15_a_paulfellows_22 NP-SBJ n15_a_paulfellows_21->n15_a_paulfellows_22 n15_a_paulfellows_25 VBP;__ n15_a_paulfellows_21->n15_a_paulfellows_25 n15_a_paulfellows_23 PRO n15_a_paulfellows_22->n15_a_paulfellows_23 n15_a_paulfellows_23->n15_a_paulfellows_24 n15_a_paulfellows_25->n15_a_paulfellows_26 n15_a_paulfellows_27->n15_a_paulfellows_28 n15_a_paulfellows_29->n15_a_paulfellows_30 n15_a_paulfellows_31->n15_a_paulfellows_32 n15_a_paulfellows_34 ADVP n15_a_paulfellows_33->n15_a_paulfellows_34 n15_a_paulfellows_37 ADV n15_a_paulfellows_33->n15_a_paulfellows_37 n15_a_paulfellows_35 ADV n15_a_paulfellows_34->n15_a_paulfellows_35 n15_a_paulfellows_35->n15_a_paulfellows_36 n15_a_paulfellows_37->n15_a_paulfellows_38 n15_a_paulfellows_39->n15_a_paulfellows_40 n15_a_paulfellows_42 IP-MAT n15_a_paulfellows_41->n15_a_paulfellows_42 n15_a_paulfellows_43 NP-SBJ n15_a_paulfellows_42->n15_a_paulfellows_43 n15_a_paulfellows_46 MD;_cat_Vi_ n15_a_paulfellows_42->n15_a_paulfellows_46 n15_a_paulfellows_48 NEG;_clitic_ n15_a_paulfellows_42->n15_a_paulfellows_48 n15_a_paulfellows_50 IP-INF-CAT n15_a_paulfellows_42->n15_a_paulfellows_50 n15_a_paulfellows_44 PRO n15_a_paulfellows_43->n15_a_paulfellows_44 n15_a_paulfellows_44->n15_a_paulfellows_45 n15_a_paulfellows_46->n15_a_paulfellows_47 n15_a_paulfellows_48->n15_a_paulfellows_49 n15_a_paulfellows_51 HV;_cat_Ve_ n15_a_paulfellows_50->n15_a_paulfellows_51 n15_a_paulfellows_53 IP-PPL-CAT n15_a_paulfellows_50->n15_a_paulfellows_53 n15_a_paulfellows_65 PUNC n15_a_paulfellows_50->n15_a_paulfellows_65 n15_a_paulfellows_67 PRN n15_a_paulfellows_50->n15_a_paulfellows_67 n15_a_paulfellows_51->n15_a_paulfellows_52 n15_a_paulfellows_54 DON;_Tn_ n15_a_paulfellows_53->n15_a_paulfellows_54 n15_a_paulfellows_56 NP-OB1 n15_a_paulfellows_53->n15_a_paulfellows_56 n15_a_paulfellows_59 PP-NIM n15_a_paulfellows_53->n15_a_paulfellows_59 n15_a_paulfellows_54->n15_a_paulfellows_55 n15_a_paulfellows_57 PRO n15_a_paulfellows_56->n15_a_paulfellows_57 n15_a_paulfellows_57->n15_a_paulfellows_58 n15_a_paulfellows_60 P-ROLE n15_a_paulfellows_59->n15_a_paulfellows_60 n15_a_paulfellows_62 NP n15_a_paulfellows_59->n15_a_paulfellows_62 n15_a_paulfellows_60->n15_a_paulfellows_61 n15_a_paulfellows_63 NPR n15_a_paulfellows_62->n15_a_paulfellows_63 n15_a_paulfellows_63->n15_a_paulfellows_64 n15_a_paulfellows_65->n15_a_paulfellows_66 n15_a_paulfellows_68 IP-MAT n15_a_paulfellows_67->n15_a_paulfellows_68 n15_a_paulfellows_69 NP-SBJ n15_a_paulfellows_68->n15_a_paulfellows_69 n15_a_paulfellows_72 ADVP-NIM n15_a_paulfellows_68->n15_a_paulfellows_72 n15_a_paulfellows_75 VBD;_Tn_ n15_a_paulfellows_68->n15_a_paulfellows_75 n15_a_paulfellows_77 NP-OB1 n15_a_paulfellows_68->n15_a_paulfellows_77 n15_a_paulfellows_70 PRO n15_a_paulfellows_69->n15_a_paulfellows_70 n15_a_paulfellows_70->n15_a_paulfellows_71 n15_a_paulfellows_73 ADV n15_a_paulfellows_72->n15_a_paulfellows_73 n15_a_paulfellows_73->n15_a_paulfellows_74 n15_a_paulfellows_75->n15_a_paulfellows_76 n15_a_paulfellows_78 Q;_nphd_ n15_a_paulfellows_77->n15_a_paulfellows_78 n15_a_paulfellows_78->n15_a_paulfellows_79 n15_a_paulfellows_80->n15_a_paulfellows_81 
( (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))