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_0005__these_r_0018_0006__days these days r_0018_0002__works->r_0018_0005__these_r_0018_0006__days [nim] r_0018_0004__Broadcom Broadcom r_0018_0002__works->r_0018_0004__Broadcom at [nim] r_0018_0001__Tim Tim r_0018_0002__works->r_0018_0001__Tim [arg0] 
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__1_1_1_1 Tim n18_a_paulfellows__1_2_1 works n18_a_paulfellows__1_3_1_1 at n18_a_paulfellows__1_3_2_1_1 Broadcom n18_a_paulfellows__1_4_1_1 these n18_a_paulfellows__1_4_2_1 days n18_a_paulfellows__1_5_1 , n18_a_paulfellows__1_6_1_1_1_1 he n18_a_paulfellows__1_6_1_2_1 did n18_a_paulfellows__1_6_1_3_1_1_1_1 the n18_a_paulfellows__1_6_1_3_1_1_2_1 text n18_a_paulfellows__1_6_1_3_1_2_1 , n18_a_paulfellows__1_6_1_3_1_3_1_1_1 the n18_a_paulfellows__1_6_1_3_1_3_1_2_1 sound n18_a_paulfellows__1_6_1_3_1_4_1 , n18_a_paulfellows__1_6_1_3_1_5_1_1_1 the n18_a_paulfellows__1_6_1_3_1_5_1_2_1 keyboard n18_a_paulfellows__1_6_1_3_1_6_1 , n18_a_paulfellows__1_6_1_3_1_7_1_1_1 the n18_a_paulfellows__1_6_1_3_1_7_1_2_1 serial n18_a_paulfellows__1_7_1 . n18_a_paulfellows__1 IP-MAT n18_a_paulfellows__1_1 NP-SBJ n18_a_paulfellows__1->n18_a_paulfellows__1_1 n18_a_paulfellows__1_2 VBP;_I_ n18_a_paulfellows__1->n18_a_paulfellows__1_2 n18_a_paulfellows__1_3 PP-NIM n18_a_paulfellows__1->n18_a_paulfellows__1_3 n18_a_paulfellows__1_4 NP-NIM n18_a_paulfellows__1->n18_a_paulfellows__1_4 n18_a_paulfellows__1_5 PUNC n18_a_paulfellows__1->n18_a_paulfellows__1_5 n18_a_paulfellows__1_6 PRN n18_a_paulfellows__1->n18_a_paulfellows__1_6 n18_a_paulfellows__1_7 PUNC n18_a_paulfellows__1->n18_a_paulfellows__1_7 n18_a_paulfellows__1_1_1 NPR n18_a_paulfellows__1_1->n18_a_paulfellows__1_1_1 n18_a_paulfellows__1_1_1->n18_a_paulfellows__1_1_1_1 n18_a_paulfellows__1_2->n18_a_paulfellows__1_2_1 n18_a_paulfellows__1_3_1 P-ROLE n18_a_paulfellows__1_3->n18_a_paulfellows__1_3_1 n18_a_paulfellows__1_3_2 NP n18_a_paulfellows__1_3->n18_a_paulfellows__1_3_2 n18_a_paulfellows__1_3_1->n18_a_paulfellows__1_3_1_1 n18_a_paulfellows__1_3_2_1 NPR n18_a_paulfellows__1_3_2->n18_a_paulfellows__1_3_2_1 n18_a_paulfellows__1_3_2_1->n18_a_paulfellows__1_3_2_1_1 n18_a_paulfellows__1_4_1 D n18_a_paulfellows__1_4->n18_a_paulfellows__1_4_1 n18_a_paulfellows__1_4_2 NS n18_a_paulfellows__1_4->n18_a_paulfellows__1_4_2 n18_a_paulfellows__1_4_1->n18_a_paulfellows__1_4_1_1 n18_a_paulfellows__1_4_2->n18_a_paulfellows__1_4_2_1 n18_a_paulfellows__1_5->n18_a_paulfellows__1_5_1 n18_a_paulfellows__1_6_1 IP-MAT n18_a_paulfellows__1_6->n18_a_paulfellows__1_6_1 n18_a_paulfellows__1_6_1_1 NP-SBJ n18_a_paulfellows__1_6_1->n18_a_paulfellows__1_6_1_1 n18_a_paulfellows__1_6_1_2 DOD;_Tn_ n18_a_paulfellows__1_6_1->n18_a_paulfellows__1_6_1_2 n18_a_paulfellows__1_6_1_3 NP-OB1 n18_a_paulfellows__1_6_1->n18_a_paulfellows__1_6_1_3 n18_a_paulfellows__1_6_1_1_1 PRO n18_a_paulfellows__1_6_1_1->n18_a_paulfellows__1_6_1_1_1 n18_a_paulfellows__1_6_1_1_1->n18_a_paulfellows__1_6_1_1_1_1 n18_a_paulfellows__1_6_1_2->n18_a_paulfellows__1_6_1_2_1 n18_a_paulfellows__1_6_1_3_1 NLYR n18_a_paulfellows__1_6_1_3->n18_a_paulfellows__1_6_1_3_1 n18_a_paulfellows__1_6_1_3_1_1 NLYR n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_1 n18_a_paulfellows__1_6_1_3_1_2 PUNC n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_2 n18_a_paulfellows__1_6_1_3_1_3 CONJP n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_3 n18_a_paulfellows__1_6_1_3_1_4 PUNC n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_4 n18_a_paulfellows__1_6_1_3_1_5 CONJP n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_5 n18_a_paulfellows__1_6_1_3_1_6 PUNC n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_6 n18_a_paulfellows__1_6_1_3_1_7 CONJP n18_a_paulfellows__1_6_1_3_1->n18_a_paulfellows__1_6_1_3_1_7 n18_a_paulfellows__1_6_1_3_1_1_1 D n18_a_paulfellows__1_6_1_3_1_1->n18_a_paulfellows__1_6_1_3_1_1_1 n18_a_paulfellows__1_6_1_3_1_1_2 N n18_a_paulfellows__1_6_1_3_1_1->n18_a_paulfellows__1_6_1_3_1_1_2 n18_a_paulfellows__1_6_1_3_1_1_1->n18_a_paulfellows__1_6_1_3_1_1_1_1 n18_a_paulfellows__1_6_1_3_1_1_2->n18_a_paulfellows__1_6_1_3_1_1_2_1 n18_a_paulfellows__1_6_1_3_1_2->n18_a_paulfellows__1_6_1_3_1_2_1 n18_a_paulfellows__1_6_1_3_1_3_1 NLYR n18_a_paulfellows__1_6_1_3_1_3->n18_a_paulfellows__1_6_1_3_1_3_1 n18_a_paulfellows__1_6_1_3_1_3_1_1 D n18_a_paulfellows__1_6_1_3_1_3_1->n18_a_paulfellows__1_6_1_3_1_3_1_1 n18_a_paulfellows__1_6_1_3_1_3_1_2 N n18_a_paulfellows__1_6_1_3_1_3_1->n18_a_paulfellows__1_6_1_3_1_3_1_2 n18_a_paulfellows__1_6_1_3_1_3_1_1->n18_a_paulfellows__1_6_1_3_1_3_1_1_1 n18_a_paulfellows__1_6_1_3_1_3_1_2->n18_a_paulfellows__1_6_1_3_1_3_1_2_1 n18_a_paulfellows__1_6_1_3_1_4->n18_a_paulfellows__1_6_1_3_1_4_1 n18_a_paulfellows__1_6_1_3_1_5_1 NLYR n18_a_paulfellows__1_6_1_3_1_5->n18_a_paulfellows__1_6_1_3_1_5_1 n18_a_paulfellows__1_6_1_3_1_5_1_1 D n18_a_paulfellows__1_6_1_3_1_5_1->n18_a_paulfellows__1_6_1_3_1_5_1_1 n18_a_paulfellows__1_6_1_3_1_5_1_2 N n18_a_paulfellows__1_6_1_3_1_5_1->n18_a_paulfellows__1_6_1_3_1_5_1_2 n18_a_paulfellows__1_6_1_3_1_5_1_1->n18_a_paulfellows__1_6_1_3_1_5_1_1_1 n18_a_paulfellows__1_6_1_3_1_5_1_2->n18_a_paulfellows__1_6_1_3_1_5_1_2_1 n18_a_paulfellows__1_6_1_3_1_6->n18_a_paulfellows__1_6_1_3_1_6_1 n18_a_paulfellows__1_6_1_3_1_7_1 NLYR n18_a_paulfellows__1_6_1_3_1_7->n18_a_paulfellows__1_6_1_3_1_7_1 n18_a_paulfellows__1_6_1_3_1_7_1_1 D n18_a_paulfellows__1_6_1_3_1_7_1->n18_a_paulfellows__1_6_1_3_1_7_1_1 n18_a_paulfellows__1_6_1_3_1_7_1_2 N n18_a_paulfellows__1_6_1_3_1_7_1->n18_a_paulfellows__1_6_1_3_1_7_1_2 n18_a_paulfellows__1_6_1_3_1_7_1_1->n18_a_paulfellows__1_6_1_3_1_7_1_1_1 n18_a_paulfellows__1_6_1_3_1_7_1_2->n18_a_paulfellows__1_6_1_3_1_7_1_2_1 n18_a_paulfellows__1_7->n18_a_paulfellows__1_7_1 
( (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))