Context                Previous, Next                Top


18_a_paulfellows
Tim works at Broadcom these days, he did the text, the sound, the keyboard, the serial.

%3 r_0018_0002__works works r_0018_0001__Tim Tim r_0018_0002__works->r_0018_0001__Tim [arg0] r_0018_0004__Broadcom Broadcom r_0018_0002__works->r_0018_0004__Broadcom at [nim] r_0018_0005__these_r_0018_0006__days these days r_0018_0002__works->r_0018_0005__these_r_0018_0006__days [nim] 
arc(r_0018_0002__works, r_0018_0001__Tim, arg0).
arc(r_0018_0002__works, r_0018_0004__Broadcom, r_0018_0003__at_nim10).
arc(r_0018_0002__works, r_0018_0005__these_r_0018_0006__days, nim13).


%3 r_0018_0002__works works r_0018_0001__Tim Tim r_0018_0002__works->r_0018_0001__Tim [arg0] r_0018_0004__Broadcom Broadcom r_0018_0002__works->r_0018_0004__Broadcom at [nim] r_0018_0005__these_r_0018_0006__days these days r_0018_0002__works->r_0018_0005__these_r_0018_0006__days [nim] 
fof(formula,axiom,
    ? [R_18_2_WORKS,R_18_1_TIM,R_18_5_THESE_DAYS,R_18_4_BROADCOM] :
      ( tim(R_18_1_TIM)
      & these_days(R_18_5_THESE_DAYS)
      & broadcom(R_18_4_BROADCOM)
      & works(R_18_2_WORKS,R_18_1_TIM)
      & nim13(R_18_2_WORKS,R_18_5_THESE_DAYS)
      & at_nim10(R_18_2_WORKS,R_18_4_BROADCOM) ) ).


n18_a_paulfellows n18_a_paulfellows_4 Tim n18_a_paulfellows_6 works n18_a_paulfellows_9 at n18_a_paulfellows_12 Broadcom n18_a_paulfellows_15 these n18_a_paulfellows_17 days n18_a_paulfellows_19 , n18_a_paulfellows_24 he n18_a_paulfellows_26 did n18_a_paulfellows_31 the n18_a_paulfellows_33 text n18_a_paulfellows_35 , n18_a_paulfellows_39 the n18_a_paulfellows_41 sound n18_a_paulfellows_43 , n18_a_paulfellows_47 the n18_a_paulfellows_49 keyboard n18_a_paulfellows_51 , n18_a_paulfellows_55 the n18_a_paulfellows_57 serial n18_a_paulfellows_59 . n18_a_paulfellows_1 IP-MAT n18_a_paulfellows_2 NP-SBJ n18_a_paulfellows_1->n18_a_paulfellows_2 n18_a_paulfellows_5 VBP;_I_ n18_a_paulfellows_1->n18_a_paulfellows_5 n18_a_paulfellows_7 PP-NIM n18_a_paulfellows_1->n18_a_paulfellows_7 n18_a_paulfellows_13 NP-NIM n18_a_paulfellows_1->n18_a_paulfellows_13 n18_a_paulfellows_18 PUNC n18_a_paulfellows_1->n18_a_paulfellows_18 n18_a_paulfellows_20 PRN n18_a_paulfellows_1->n18_a_paulfellows_20 n18_a_paulfellows_58 PUNC n18_a_paulfellows_1->n18_a_paulfellows_58 n18_a_paulfellows_3 NPR n18_a_paulfellows_2->n18_a_paulfellows_3 n18_a_paulfellows_3->n18_a_paulfellows_4 n18_a_paulfellows_5->n18_a_paulfellows_6 n18_a_paulfellows_8 P-ROLE n18_a_paulfellows_7->n18_a_paulfellows_8 n18_a_paulfellows_10 NP n18_a_paulfellows_7->n18_a_paulfellows_10 n18_a_paulfellows_8->n18_a_paulfellows_9 n18_a_paulfellows_11 NPR n18_a_paulfellows_10->n18_a_paulfellows_11 n18_a_paulfellows_11->n18_a_paulfellows_12 n18_a_paulfellows_14 D n18_a_paulfellows_13->n18_a_paulfellows_14 n18_a_paulfellows_16 NS n18_a_paulfellows_13->n18_a_paulfellows_16 n18_a_paulfellows_14->n18_a_paulfellows_15 n18_a_paulfellows_16->n18_a_paulfellows_17 n18_a_paulfellows_18->n18_a_paulfellows_19 n18_a_paulfellows_21 IP-MAT n18_a_paulfellows_20->n18_a_paulfellows_21 n18_a_paulfellows_22 NP-SBJ n18_a_paulfellows_21->n18_a_paulfellows_22 n18_a_paulfellows_25 DOD;_Tn_ n18_a_paulfellows_21->n18_a_paulfellows_25 n18_a_paulfellows_27 NP-OB1 n18_a_paulfellows_21->n18_a_paulfellows_27 n18_a_paulfellows_23 PRO n18_a_paulfellows_22->n18_a_paulfellows_23 n18_a_paulfellows_23->n18_a_paulfellows_24 n18_a_paulfellows_25->n18_a_paulfellows_26 n18_a_paulfellows_28 NLYR n18_a_paulfellows_27->n18_a_paulfellows_28 n18_a_paulfellows_29 NLYR n18_a_paulfellows_28->n18_a_paulfellows_29 n18_a_paulfellows_34 PUNC n18_a_paulfellows_28->n18_a_paulfellows_34 n18_a_paulfellows_36 CONJP n18_a_paulfellows_28->n18_a_paulfellows_36 n18_a_paulfellows_42 PUNC n18_a_paulfellows_28->n18_a_paulfellows_42 n18_a_paulfellows_44 CONJP n18_a_paulfellows_28->n18_a_paulfellows_44 n18_a_paulfellows_50 PUNC n18_a_paulfellows_28->n18_a_paulfellows_50 n18_a_paulfellows_52 CONJP n18_a_paulfellows_28->n18_a_paulfellows_52 n18_a_paulfellows_30 D n18_a_paulfellows_29->n18_a_paulfellows_30 n18_a_paulfellows_32 N n18_a_paulfellows_29->n18_a_paulfellows_32 n18_a_paulfellows_30->n18_a_paulfellows_31 n18_a_paulfellows_32->n18_a_paulfellows_33 n18_a_paulfellows_34->n18_a_paulfellows_35 n18_a_paulfellows_37 NLYR n18_a_paulfellows_36->n18_a_paulfellows_37 n18_a_paulfellows_38 D n18_a_paulfellows_37->n18_a_paulfellows_38 n18_a_paulfellows_40 N n18_a_paulfellows_37->n18_a_paulfellows_40 n18_a_paulfellows_38->n18_a_paulfellows_39 n18_a_paulfellows_40->n18_a_paulfellows_41 n18_a_paulfellows_42->n18_a_paulfellows_43 n18_a_paulfellows_45 NLYR n18_a_paulfellows_44->n18_a_paulfellows_45 n18_a_paulfellows_46 D n18_a_paulfellows_45->n18_a_paulfellows_46 n18_a_paulfellows_48 N n18_a_paulfellows_45->n18_a_paulfellows_48 n18_a_paulfellows_46->n18_a_paulfellows_47 n18_a_paulfellows_48->n18_a_paulfellows_49 n18_a_paulfellows_50->n18_a_paulfellows_51 n18_a_paulfellows_53 NLYR n18_a_paulfellows_52->n18_a_paulfellows_53 n18_a_paulfellows_54 D n18_a_paulfellows_53->n18_a_paulfellows_54 n18_a_paulfellows_56 N n18_a_paulfellows_53->n18_a_paulfellows_56 n18_a_paulfellows_54->n18_a_paulfellows_55 n18_a_paulfellows_56->n18_a_paulfellows_57 n18_a_paulfellows_58->n18_a_paulfellows_59 
( (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))