18_a_paulfellows
Tim works at Broadcom these days, he did the text, the sound, the keyboard, the serial.
( (IP-MAT (NP-SBJ;{TIM} (NPR Tim;{Tim}))
(VBP;_I_ works;{work})
(PP-NIM (P-ROLE at;{at})
(NP (NPR Broadcom;{Broadcom})))
(NP-NIM (D these;{these})
(NS days;{day}))
(PUNC ,)
(PRN (IP-MAT (NP-SBJ;{TIM} (PRO he;{he}))
(DOD;_Tn_ did;{do})
(NP-OB1 (NLYR (NLYR (D the;{the})
(N text;{text}))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(N sound;{sound})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(N keyboard;{keyboard})))
(PUNC ,)
(CONJP (NLYR (D the;{the})
(N serial;{serial})))))))
(PUNC .))
(ID 18_a_paulfellows))
arc(r_0018_0002__works,r_0018_0001__Tim,arg0).
arc(r_0018_0002__works,r_0018_0004__Broadcom,r_0018_0003__at__nim).
arc(r_0018_0002__works,r_0018_0005__these_r_0018_0006__days,nim).
arc(r_0018_0002__works,r_0018_0009__did,prn).
arc(r_0018_0009__did,r_0018_0001__Tim,arg0).
arc(r_0018_0009__did,z_0018_5008,arg1).
arc(z_0018_5008,r_0018_0010__the_r_0018_0011__text,conj1).
arc(z_0018_5008,r_0018_0013__the_r_0018_0014__sound,conj2).
arc(z_0018_5008,r_0018_0016__the_r_0018_0017__keyboard,conj3).
arc(z_0018_5008,r_0018_0019__the_r_0018_0020__serial,conj4).
fof(formula,axiom,
? [R_0018_0001__TIM,R_0018_0004__BROADCOM,R_0018_0005__THESE_R_0018_0006__DAYS,R_0018_0010__THE_R_0018_0011__TEXT,R_0018_0013__THE_R_0018_0014__SOUND,R_0018_0016__THE_R_0018_0017__KEYBOARD,R_0018_0019__THE_R_0018_0020__SERIAL,Z_0018_5008,R_0018_0009__DID,R_0018_0002__WORKS] :
( r_0018_0001__Tim(R_0018_0001__TIM)
& r_0018_0004__Broadcom(R_0018_0004__BROADCOM)
& r_0018_0005__these_r_0018_0006__days(R_0018_0005__THESE_R_0018_0006__DAYS)
& r_0018_0010__the_r_0018_0011__text(R_0018_0010__THE_R_0018_0011__TEXT)
& r_0018_0013__the_r_0018_0014__sound(R_0018_0013__THE_R_0018_0014__SOUND)
& r_0018_0016__the_r_0018_0017__keyboard(R_0018_0016__THE_R_0018_0017__KEYBOARD)
& r_0018_0019__the_r_0018_0020__serial(R_0018_0019__THE_R_0018_0020__SERIAL)
& r_0018_0002__works(R_0018_0002__WORKS)
& has_prn(R_0018_0002__WORKS,R_0018_0009__DID)
& r_0018_0009__did(R_0018_0009__DID)
& has_arg1(R_0018_0009__DID,Z_0018_5008)
& z_0018_5008(Z_0018_5008)
& has_conj4(Z_0018_5008,R_0018_0019__THE_R_0018_0020__SERIAL)
& has_conj3(Z_0018_5008,R_0018_0016__THE_R_0018_0017__KEYBOARD)
& has_conj2(Z_0018_5008,R_0018_0013__THE_R_0018_0014__SOUND)
& has_conj1(Z_0018_5008,R_0018_0010__THE_R_0018_0011__TEXT)
& has_arg0(R_0018_0009__DID,R_0018_0001__TIM)
& has_nim(R_0018_0002__WORKS,R_0018_0005__THESE_R_0018_0006__DAYS)
& has_r_0018_0003__at__nim(R_0018_0002__WORKS,R_0018_0004__BROADCOM)
& has_arg0(R_0018_0002__WORKS,R_0018_0001__TIM) ) ).