20_a_paulfellows
We got Nick Reeves who did the disk filing system stuff and Brian Cockburn, that was the team, just those guys.
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).
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) ) ).
( (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))