TSPC 8_a_wsj

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

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

arc(r_0008_0002__need,r_0008_0001__They,arg0).
arc(r_0008_0002__need,r_0008_0003__only,nim).
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__nim).
arc(r_0008_0010__satellite_r_0008_0011__dish,r_0008_0007__a_r_0008_0008__company,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_0005__THEMSELVES,R_0008_0007__A_R_0008_0008__COMPANY,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_0005__themselves(R_0008_0005__THEMSELVES)
      & r_0008_0007__a_r_0008_0008__company(R_0008_0007__A_R_0008_0008__COMPANY)
      & 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__nim(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)
      & has_arg1(R_0008_0004__POSITION,R_0008_0005__THEMSELVES)
      & has_arg0(R_0008_0004__POSITION,R_0008_0001__THEY)
      & has_nim(R_0008_0002__NEED,R_0008_0003__ONLY)
      & has_arg0(R_0008_0002__NEED,R_0008_0001__THEY) ) ).