Context                Previous, Next                Top


20_a_paulfellows
We got Nick Reeves who did the disk filing system stuff and Brian Cockburn, that was the team, just those guys.

%3 r_0020_0002__got got r_0020_0001__We We r_0020_0002__got->r_0020_0001__We [arg0] r_0020_0012__and and r_0020_0002__got->r_0020_0012__and [arg1] r_0020_0003__Nick_r_0020_0004__Reeves Nick Reeves r_0020_0012__and->r_0020_0003__Nick_r_0020_0004__Reeves [conj1] r_0020_0013__Brian_r_0020_0014__Cockburn Brian Cockburn r_0020_0012__and->r_0020_0013__Brian_r_0020_0014__Cockburn [conj2] r_0020_0006__did did r_0020_0006__did->r_0020_0003__Nick_r_0020_0004__Reeves [arg0] r_0020_0007__the_r_0020_0008__disk_r_0020_0009__filing_r_0020_0010__system_r_0020_0011__stuff the disk filing system stuff r_0020_0006__did->r_0020_0007__the_r_0020_0008__disk_r_0020_0009__filing_r_0020_0010__system_r_0020_0011__stuff [arg1] 
arc(r_0020_0002__got, r_0020_0001__We, arg0).
arc(r_0020_0002__got, r_0020_0012__and, arg1).
arc(r_0020_0006__did, r_0020_0003__Nick_r_0020_0004__Reeves, arg0).
arc(r_0020_0006__did, r_0020_0007__the_r_0020_0008__disk_r_0020_0009__filing_r_0020_0010__system_r_0020_0011__stuff, arg1).
arc(r_0020_0012__and, r_0020_0003__Nick_r_0020_0004__Reeves, conj1).
arc(r_0020_0012__and, r_0020_0013__Brian_r_0020_0014__Cockburn, conj2).


%3 r_0020_0012__and and r_0020_0013__Brian_r_0020_0014__Cockburn Brian Cockburn r_0020_0012__and->r_0020_0013__Brian_r_0020_0014__Cockburn [conj2] r_0020_0003__Nick_r_0020_0004__Reeves Nick Reeves r_0020_0012__and->r_0020_0003__Nick_r_0020_0004__Reeves [conj1] r_0020_0006__did did r_0020_0006__did->r_0020_0003__Nick_r_0020_0004__Reeves [arg0] r_0020_0007__the_r_0020_0008__disk_r_0020_0009__filing_r_0020_0010__system_r_0020_0011__stuff the disk filing system stuff r_0020_0006__did->r_0020_0007__the_r_0020_0008__disk_r_0020_0009__filing_r_0020_0010__system_r_0020_0011__stuff [arg1] r_0020_0002__got got r_0020_0002__got->r_0020_0012__and [arg1] r_0020_0001__We We r_0020_0002__got->r_0020_0001__We [arg0] 
fof(formula,axiom,
    ? [R_0020_0001__WE,R_0020_0003__NICK_R_0020_0004__REEVES,R_0020_0013__BRIAN_R_0020_0014__COCKBURN,R_0020_0012__AND,R_0020_0002__GOT,R_0020_0007__THE_R_0020_0008__DISK_R_0020_0009__FILING_R_0020_0010__SYSTEM_R_0020_0011__STUFF,R_0020_0006__DID] :
      ( r_0020_0001__We(R_0020_0001__WE)
      & r_0020_0003__Nick_r_0020_0004__Reeves(R_0020_0003__NICK_R_0020_0004__REEVES)
      & r_0020_0007__the_r_0020_0008__disk_r_0020_0009__filing_r_0020_0010__system_r_0020_0011__stuff(R_0020_0007__THE_R_0020_0008__DISK_R_0020_0009__FILING_R_0020_0010__SYSTEM_R_0020_0011__STUFF)
      & r_0020_0013__Brian_r_0020_0014__Cockburn(R_0020_0013__BRIAN_R_0020_0014__COCKBURN)
      & r_0020_0006__did(R_0020_0006__DID)
      & has_arg1(R_0020_0006__DID,R_0020_0007__THE_R_0020_0008__DISK_R_0020_0009__FILING_R_0020_0010__SYSTEM_R_0020_0011__STUFF)
      & has_arg0(R_0020_0006__DID,R_0020_0003__NICK_R_0020_0004__REEVES)
      & r_0020_0002__got(R_0020_0002__GOT)
      & has_arg1(R_0020_0002__GOT,R_0020_0012__AND)
      & r_0020_0012__and(R_0020_0012__AND)
      & has_conj2(R_0020_0012__AND,R_0020_0013__BRIAN_R_0020_0014__COCKBURN)
      & has_conj1(R_0020_0012__AND,R_0020_0003__NICK_R_0020_0004__REEVES)
      & has_arg0(R_0020_0002__GOT,R_0020_0001__WE) ) ).


n20_a_paulfellows n20_a_paulfellows__1_1_1_1 We n20_a_paulfellows__1_2_1 got n20_a_paulfellows__1_3_1_1_1_1 Nick n20_a_paulfellows__1_3_1_1_2_1 Reeves n20_a_paulfellows__1_3_1_1_3_1_1_1 who n20_a_paulfellows__1_3_1_1_3_2_1 did n20_a_paulfellows__1_3_1_1_3_3_1_1 the n20_a_paulfellows__1_3_1_1_3_3_2_1 disk n20_a_paulfellows__1_3_1_1_3_3_3_1 filing n20_a_paulfellows__1_3_1_1_3_3_4_1 system n20_a_paulfellows__1_3_1_1_3_3_5_1 stuff n20_a_paulfellows__1_3_1_2_1_1 and n20_a_paulfellows__1_3_1_2_2_1_1 Brian n20_a_paulfellows__1_3_1_2_2_2_1 Cockburn n20_a_paulfellows__1_4_1 , n20_a_paulfellows__1_5_1_1_1_1 that n20_a_paulfellows__1_5_1_2_1 was n20_a_paulfellows__1_5_1_3_1_1 the n20_a_paulfellows__1_5_1_3_2_1 team n20_a_paulfellows__1_5_1_3_3_1 , n20_a_paulfellows__1_5_1_3_4_1_1_1_1 just n20_a_paulfellows__1_5_1_3_4_1_2_1 those n20_a_paulfellows__1_5_1_3_4_1_3_1 guys n20_a_paulfellows__1_6_1 . n20_a_paulfellows__1 IP-MAT n20_a_paulfellows__1_1 NP-SBJ n20_a_paulfellows__1->n20_a_paulfellows__1_1 n20_a_paulfellows__1_2 VBD;_Tn_ n20_a_paulfellows__1->n20_a_paulfellows__1_2 n20_a_paulfellows__1_3 NP-OB1 n20_a_paulfellows__1->n20_a_paulfellows__1_3 n20_a_paulfellows__1_4 PUNC n20_a_paulfellows__1->n20_a_paulfellows__1_4 n20_a_paulfellows__1_5 PRN n20_a_paulfellows__1->n20_a_paulfellows__1_5 n20_a_paulfellows__1_6 PUNC n20_a_paulfellows__1->n20_a_paulfellows__1_6 n20_a_paulfellows__1_1_1 PRO n20_a_paulfellows__1_1->n20_a_paulfellows__1_1_1 n20_a_paulfellows__1_1_1->n20_a_paulfellows__1_1_1_1 n20_a_paulfellows__1_2->n20_a_paulfellows__1_2_1 n20_a_paulfellows__1_3_1 NLYR n20_a_paulfellows__1_3->n20_a_paulfellows__1_3_1 n20_a_paulfellows__1_3_1_1 NLYR n20_a_paulfellows__1_3_1->n20_a_paulfellows__1_3_1_1 n20_a_paulfellows__1_3_1_2 CONJP n20_a_paulfellows__1_3_1->n20_a_paulfellows__1_3_1_2 n20_a_paulfellows__1_3_1_1_1 NPR n20_a_paulfellows__1_3_1_1->n20_a_paulfellows__1_3_1_1_1 n20_a_paulfellows__1_3_1_1_2 NPR n20_a_paulfellows__1_3_1_1->n20_a_paulfellows__1_3_1_1_2 n20_a_paulfellows__1_3_1_1_3 IP-REL n20_a_paulfellows__1_3_1_1->n20_a_paulfellows__1_3_1_1_3 n20_a_paulfellows__1_3_1_1_1->n20_a_paulfellows__1_3_1_1_1_1 n20_a_paulfellows__1_3_1_1_2->n20_a_paulfellows__1_3_1_1_2_1 n20_a_paulfellows__1_3_1_1_3_1 NP-SBJ n20_a_paulfellows__1_3_1_1_3->n20_a_paulfellows__1_3_1_1_3_1 n20_a_paulfellows__1_3_1_1_3_2 DOD;_Tn_ n20_a_paulfellows__1_3_1_1_3->n20_a_paulfellows__1_3_1_1_3_2 n20_a_paulfellows__1_3_1_1_3_3 NP-OB1 n20_a_paulfellows__1_3_1_1_3->n20_a_paulfellows__1_3_1_1_3_3 n20_a_paulfellows__1_3_1_1_3_1_1 RPRO n20_a_paulfellows__1_3_1_1_3_1->n20_a_paulfellows__1_3_1_1_3_1_1 n20_a_paulfellows__1_3_1_1_3_1_1->n20_a_paulfellows__1_3_1_1_3_1_1_1 n20_a_paulfellows__1_3_1_1_3_2->n20_a_paulfellows__1_3_1_1_3_2_1 n20_a_paulfellows__1_3_1_1_3_3_1 D n20_a_paulfellows__1_3_1_1_3_3->n20_a_paulfellows__1_3_1_1_3_3_1 n20_a_paulfellows__1_3_1_1_3_3_2 N n20_a_paulfellows__1_3_1_1_3_3->n20_a_paulfellows__1_3_1_1_3_3_2 n20_a_paulfellows__1_3_1_1_3_3_3 N n20_a_paulfellows__1_3_1_1_3_3->n20_a_paulfellows__1_3_1_1_3_3_3 n20_a_paulfellows__1_3_1_1_3_3_4 N n20_a_paulfellows__1_3_1_1_3_3->n20_a_paulfellows__1_3_1_1_3_3_4 n20_a_paulfellows__1_3_1_1_3_3_5 N n20_a_paulfellows__1_3_1_1_3_3->n20_a_paulfellows__1_3_1_1_3_3_5 n20_a_paulfellows__1_3_1_1_3_3_1->n20_a_paulfellows__1_3_1_1_3_3_1_1 n20_a_paulfellows__1_3_1_1_3_3_2->n20_a_paulfellows__1_3_1_1_3_3_2_1 n20_a_paulfellows__1_3_1_1_3_3_3->n20_a_paulfellows__1_3_1_1_3_3_3_1 n20_a_paulfellows__1_3_1_1_3_3_4->n20_a_paulfellows__1_3_1_1_3_3_4_1 n20_a_paulfellows__1_3_1_1_3_3_5->n20_a_paulfellows__1_3_1_1_3_3_5_1 n20_a_paulfellows__1_3_1_2_1 CONJ n20_a_paulfellows__1_3_1_2->n20_a_paulfellows__1_3_1_2_1 n20_a_paulfellows__1_3_1_2_2 NLYR n20_a_paulfellows__1_3_1_2->n20_a_paulfellows__1_3_1_2_2 n20_a_paulfellows__1_3_1_2_1->n20_a_paulfellows__1_3_1_2_1_1 n20_a_paulfellows__1_3_1_2_2_1 NPR n20_a_paulfellows__1_3_1_2_2->n20_a_paulfellows__1_3_1_2_2_1 n20_a_paulfellows__1_3_1_2_2_2 NPR n20_a_paulfellows__1_3_1_2_2->n20_a_paulfellows__1_3_1_2_2_2 n20_a_paulfellows__1_3_1_2_2_1->n20_a_paulfellows__1_3_1_2_2_1_1 n20_a_paulfellows__1_3_1_2_2_2->n20_a_paulfellows__1_3_1_2_2_2_1 n20_a_paulfellows__1_4->n20_a_paulfellows__1_4_1 n20_a_paulfellows__1_5_1 IP-MAT n20_a_paulfellows__1_5->n20_a_paulfellows__1_5_1 n20_a_paulfellows__1_5_1_1 NP-SBJ n20_a_paulfellows__1_5_1->n20_a_paulfellows__1_5_1_1 n20_a_paulfellows__1_5_1_2 BED;_Ln_ n20_a_paulfellows__1_5_1->n20_a_paulfellows__1_5_1_2 n20_a_paulfellows__1_5_1_3 NP-PRD n20_a_paulfellows__1_5_1->n20_a_paulfellows__1_5_1_3 n20_a_paulfellows__1_5_1_1_1 D;_nphd_ n20_a_paulfellows__1_5_1_1->n20_a_paulfellows__1_5_1_1_1 n20_a_paulfellows__1_5_1_1_1->n20_a_paulfellows__1_5_1_1_1_1 n20_a_paulfellows__1_5_1_2->n20_a_paulfellows__1_5_1_2_1 n20_a_paulfellows__1_5_1_3_1 D n20_a_paulfellows__1_5_1_3->n20_a_paulfellows__1_5_1_3_1 n20_a_paulfellows__1_5_1_3_2 N n20_a_paulfellows__1_5_1_3->n20_a_paulfellows__1_5_1_3_2 n20_a_paulfellows__1_5_1_3_3 PUNC n20_a_paulfellows__1_5_1_3->n20_a_paulfellows__1_5_1_3_3 n20_a_paulfellows__1_5_1_3_4 IP-PPL n20_a_paulfellows__1_5_1_3->n20_a_paulfellows__1_5_1_3_4 n20_a_paulfellows__1_5_1_3_1->n20_a_paulfellows__1_5_1_3_1_1 n20_a_paulfellows__1_5_1_3_2->n20_a_paulfellows__1_5_1_3_2_1 n20_a_paulfellows__1_5_1_3_3->n20_a_paulfellows__1_5_1_3_3_1 n20_a_paulfellows__1_5_1_3_4_1 NP-PRD n20_a_paulfellows__1_5_1_3_4->n20_a_paulfellows__1_5_1_3_4_1 n20_a_paulfellows__1_5_1_3_4_1_1 ADVP n20_a_paulfellows__1_5_1_3_4_1->n20_a_paulfellows__1_5_1_3_4_1_1 n20_a_paulfellows__1_5_1_3_4_1_2 D n20_a_paulfellows__1_5_1_3_4_1->n20_a_paulfellows__1_5_1_3_4_1_2 n20_a_paulfellows__1_5_1_3_4_1_3 NS n20_a_paulfellows__1_5_1_3_4_1->n20_a_paulfellows__1_5_1_3_4_1_3 n20_a_paulfellows__1_5_1_3_4_1_1_1 ADV n20_a_paulfellows__1_5_1_3_4_1_1->n20_a_paulfellows__1_5_1_3_4_1_1_1 n20_a_paulfellows__1_5_1_3_4_1_1_1->n20_a_paulfellows__1_5_1_3_4_1_1_1_1 n20_a_paulfellows__1_5_1_3_4_1_2->n20_a_paulfellows__1_5_1_3_4_1_2_1 n20_a_paulfellows__1_5_1_3_4_1_3->n20_a_paulfellows__1_5_1_3_4_1_3_1 n20_a_paulfellows__1_6->n20_a_paulfellows__1_6_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBD;_Tn_ got;{get})
          (NP-OB1 (NLYR (NLYR (NPR Nick;{Nick})
                              (NPR Reeves;{Reeves})
                              (IP-REL (NP-SBJ (RPRO who;{who}))
                                      (DOD;_Tn_ did;{do})
                                      (NP-OB1 (D the;{the})
                                              (N disk;{disk})
                                              (N filing;{filing})
                                              (N system;{system})
                                              (N stuff;{stuff}))))
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Brian;{Brian})
                                     (NPR Cockburn;{Cockburn})))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (D;_nphd_ that;{that}))
                       (BED;_Ln_ was;{be})
                       (NP-PRD (D the;{the})
                               (N team;{team})
                               (PUNC ,)
                               (IP-PPL (NP-PRD (ADVP (ADV just;{just}))
                                               (D those;{those})
                                               (NS guys;{guy}))))))
          (PUNC .))
  (ID 20_a_paulfellows))