Context                Previous, Next                Top


8_a_wsj_1640
They need only position themselves near a company's satellite dish and wait.

%3 r_0008_0002__need need r_0008_0001__They They r_0008_0002__need->r_0008_0001__They [arg0] r_0008_0003__only only r_0008_0002__need->r_0008_0003__only [nim] r_0008_0012__and and r_0008_0002__need->r_0008_0012__and [arg1] r_0008_0004__position position r_0008_0012__and->r_0008_0004__position [conj1] r_0008_0013__wait wait r_0008_0012__and->r_0008_0013__wait [conj2] r_0008_0004__position->r_0008_0001__They [arg0] r_0008_0005__themselves themselves r_0008_0004__position->r_0008_0005__themselves [arg1] r_0008_0010__satellite_r_0008_0011__dish satellite dish r_0008_0004__position->r_0008_0010__satellite_r_0008_0011__dish near [nim] r_0008_0007__a_r_0008_0008__company_r_0008_0009___apos_s a company 's r_0008_0010__satellite_r_0008_0011__dish->r_0008_0007__a_r_0008_0008__company_r_0008_0009___apos_s [gen] r_0008_0013__wait->r_0008_0001__They [arg0] 
arc(r_0008_0002__need, r_0008_0001__They, arg0).
arc(r_0008_0002__need, r_0008_0003__only, nim7).
arc(r_0008_0002__need, r_0008_0012__and, arg1).
arc(r_0008_0004__position, r_0008_0001__They, arg0).
arc(r_0008_0004__position, r_0008_0005__themselves, arg1).
arc(r_0008_0004__position, r_0008_0010__satellite_r_0008_0011__dish, r_0008_0006__near_nim21).
arc(r_0008_0010__satellite_r_0008_0011__dish, r_0008_0007__a_r_0008_0008__company_r_0008_0009___apos_s, gen).
arc(r_0008_0012__and, r_0008_0004__position, conj1).
arc(r_0008_0012__and, r_0008_0013__wait, conj2).
arc(r_0008_0013__wait, r_0008_0001__They, arg0).


%3 r_0008_0002__need need r_0008_0001__They They r_0008_0002__need->r_0008_0001__They [arg0] r_0008_0003__only only r_0008_0002__need->r_0008_0003__only [nim] r_0008_0012__and and r_0008_0002__need->r_0008_0012__and [arg1] r_0008_0004__position position r_0008_0012__and->r_0008_0004__position [conj1] r_0008_0013__wait wait r_0008_0012__and->r_0008_0013__wait [conj2] r_0008_0004__position->r_0008_0001__They [arg0] r_0008_0005__themselves themselves r_0008_0004__position->r_0008_0005__themselves [arg1] r_0008_0010__satellite_r_0008_0011__dish satellite dish r_0008_0004__position->r_0008_0010__satellite_r_0008_0011__dish near [nim] r_0008_0007__a_r_0008_0008__company_r_0008_0009___apos_s a company 's r_0008_0010__satellite_r_0008_0011__dish->r_0008_0007__a_r_0008_0008__company_r_0008_0009___apos_s [gen] r_0008_0013__wait->r_0008_0001__They [arg0] 
fof(formula,axiom,
    ? [R_8_2_NEED,R_8_12_AND,R_8_4_POSITION,R_8_5_THEMSELVES,R_8_10_SATELLITE_DISH,R_8_7_A_COMPANY_APOS_S,R_8_13_WAIT,R_8_1_THEY,R_8_3_ONLY] :
      ( themselves(R_8_5_THEMSELVES)
      & a_company_apos_s(R_8_7_A_COMPANY_APOS_S)
      & they(R_8_1_THEY)
      & only(R_8_3_ONLY)
      & need(R_8_2_NEED,R_8_1_THEY,R_8_12_AND)
      & and(R_8_12_AND)
      & conj1(R_8_12_AND,R_8_4_POSITION)
      & position(R_8_4_POSITION,R_8_1_THEY,R_8_5_THEMSELVES)
      & near_nim21(R_8_4_POSITION,R_8_10_SATELLITE_DISH)
      & satellite_dish(R_8_10_SATELLITE_DISH)
      & gen(R_8_10_SATELLITE_DISH,R_8_7_A_COMPANY_APOS_S)
      & conj2(R_8_12_AND,R_8_13_WAIT)
      & wait(R_8_13_WAIT,R_8_1_THEY)
      & nim7(R_8_2_NEED,R_8_3_ONLY) ) ).


n8_a_wsj_1640 n8_a_wsj_1640_4 They n8_a_wsj_1640_6 need n8_a_wsj_1640_9 only n8_a_wsj_1640_14 position n8_a_wsj_1640_17 themselves n8_a_wsj_1640_20 near n8_a_wsj_1640_24 a n8_a_wsj_1640_26 company n8_a_wsj_1640_28 's n8_a_wsj_1640_30 satellite n8_a_wsj_1640_32 dish n8_a_wsj_1640_35 and n8_a_wsj_1640_38 wait n8_a_wsj_1640_40 . n8_a_wsj_1640_1 IP-MAT n8_a_wsj_1640_2 NP-SBJ n8_a_wsj_1640_1->n8_a_wsj_1640_2 n8_a_wsj_1640_5 VBP;_Tt_ n8_a_wsj_1640_1->n8_a_wsj_1640_5 n8_a_wsj_1640_7 ADVP-NIM n8_a_wsj_1640_1->n8_a_wsj_1640_7 n8_a_wsj_1640_10 IP-INF-OB1 n8_a_wsj_1640_1->n8_a_wsj_1640_10 n8_a_wsj_1640_39 PUNC n8_a_wsj_1640_1->n8_a_wsj_1640_39 n8_a_wsj_1640_3 PRO n8_a_wsj_1640_2->n8_a_wsj_1640_3 n8_a_wsj_1640_3->n8_a_wsj_1640_4 n8_a_wsj_1640_5->n8_a_wsj_1640_6 n8_a_wsj_1640_8 ADV n8_a_wsj_1640_7->n8_a_wsj_1640_8 n8_a_wsj_1640_8->n8_a_wsj_1640_9 n8_a_wsj_1640_11 ILYR n8_a_wsj_1640_10->n8_a_wsj_1640_11 n8_a_wsj_1640_12 ILYR n8_a_wsj_1640_11->n8_a_wsj_1640_12 n8_a_wsj_1640_33 CONJP n8_a_wsj_1640_11->n8_a_wsj_1640_33 n8_a_wsj_1640_13 VB;_Tn_ n8_a_wsj_1640_12->n8_a_wsj_1640_13 n8_a_wsj_1640_15 NP-OB1 n8_a_wsj_1640_12->n8_a_wsj_1640_15 n8_a_wsj_1640_18 PP-NIM n8_a_wsj_1640_12->n8_a_wsj_1640_18 n8_a_wsj_1640_13->n8_a_wsj_1640_14 n8_a_wsj_1640_16 PNX n8_a_wsj_1640_15->n8_a_wsj_1640_16 n8_a_wsj_1640_16->n8_a_wsj_1640_17 n8_a_wsj_1640_19 P-ROLE n8_a_wsj_1640_18->n8_a_wsj_1640_19 n8_a_wsj_1640_21 NP n8_a_wsj_1640_18->n8_a_wsj_1640_21 n8_a_wsj_1640_19->n8_a_wsj_1640_20 n8_a_wsj_1640_22 NP-GEN n8_a_wsj_1640_21->n8_a_wsj_1640_22 n8_a_wsj_1640_29 N n8_a_wsj_1640_21->n8_a_wsj_1640_29 n8_a_wsj_1640_31 N n8_a_wsj_1640_21->n8_a_wsj_1640_31 n8_a_wsj_1640_23 D n8_a_wsj_1640_22->n8_a_wsj_1640_23 n8_a_wsj_1640_25 N n8_a_wsj_1640_22->n8_a_wsj_1640_25 n8_a_wsj_1640_27 GENM n8_a_wsj_1640_22->n8_a_wsj_1640_27 n8_a_wsj_1640_23->n8_a_wsj_1640_24 n8_a_wsj_1640_25->n8_a_wsj_1640_26 n8_a_wsj_1640_27->n8_a_wsj_1640_28 n8_a_wsj_1640_29->n8_a_wsj_1640_30 n8_a_wsj_1640_31->n8_a_wsj_1640_32 n8_a_wsj_1640_34 CONJ n8_a_wsj_1640_33->n8_a_wsj_1640_34 n8_a_wsj_1640_36 ILYR n8_a_wsj_1640_33->n8_a_wsj_1640_36 n8_a_wsj_1640_34->n8_a_wsj_1640_35 n8_a_wsj_1640_37 VB;_I_ n8_a_wsj_1640_36->n8_a_wsj_1640_37 n8_a_wsj_1640_37->n8_a_wsj_1640_38 n8_a_wsj_1640_39->n8_a_wsj_1640_40 
( (IP-MAT (NP-SBJ;{AMATEURS} (PRO They;{they}))
          (VBP;_Tt_ need;{need})
          (ADVP-NIM (ADV only;{only}))
          (IP-INF-OB1 (ILYR (ILYR (VB;_Tn_ position;{position})
                                  (NP-OB1 (PNX themselves;{themselves}))
                                  (PP-NIM (P-ROLE near;{near})
                                          (NP (NP-GEN (D a;{a})
                                                      (N company;{company})
                                                      (GENM <apos>s))
                                              (N satellite;{satellite})
                                              (N dish;{dish}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_I_ wait;{wait})))))
          (PUNC .))
  (ID 8_a_wsj_1640))