TSPC 8_a_wsj

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

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_0007__a_r_0008_0008__company_r_0008_0009___apos_s, 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).

fof(formula,axiom,
    ? [R_0008_0001__THEY,R_0008_0003__ONLY,R_0008_0007__A_R_0008_0008__COMPANY_R_0008_0009___APOS_S,R_0008_0010__SATELLITE_R_0008_0011__DISH,R_0008_0004__POSITION,R_0008_0013__WAIT,R_0008_0012__AND,R_0008_0002__NEED] :
      ( r_0008_0001__They(R_0008_0001__THEY)
      & r_0008_0003__only(R_0008_0003__ONLY)
      & r_0008_0007__a_r_0008_0008__company_r_0008_0009___apos_s(R_0008_0007__A_R_0008_0008__COMPANY_R_0008_0009___APOS_S)
      & r_0008_0002__need(R_0008_0002__NEED)
      & has_arg1(R_0008_0002__NEED,R_0008_0012__AND)
      & r_0008_0012__and(R_0008_0012__AND)
      & has_conj2(R_0008_0012__AND,R_0008_0013__WAIT)
      & r_0008_0013__wait(R_0008_0013__WAIT)
      & has_arg0(R_0008_0013__WAIT,R_0008_0001__THEY)
      & has_conj1(R_0008_0012__AND,R_0008_0004__POSITION)
      & r_0008_0004__position(R_0008_0004__POSITION)
      & has_r_0008_0006__near_nim21(R_0008_0004__POSITION,R_0008_0010__SATELLITE_R_0008_0011__DISH)
      & r_0008_0010__satellite_r_0008_0011__dish(R_0008_0010__SATELLITE_R_0008_0011__DISH)
      & has_gen(R_0008_0010__SATELLITE_R_0008_0011__DISH,R_0008_0007__A_R_0008_0008__COMPANY_R_0008_0009___APOS_S)
      & has_arg1(R_0008_0004__POSITION,R_0008_0007__A_R_0008_0008__COMPANY_R_0008_0009___APOS_S)
      & has_arg0(R_0008_0004__POSITION,R_0008_0001__THEY)
      & has_nim7(R_0008_0002__NEED,R_0008_0003__ONLY)
      & has_arg0(R_0008_0002__NEED,R_0008_0001__THEY) ) ).

( (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))