TSPC 16_a_voice_of

16_a_voice_of_america
When the huge contract is put out for re-bidding, several companies will get a chance to compete for portions of the work.

( (IP-MAT (NP-148 (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ (D the;{the})
                                  (ADJP (ADJ huge;{huge}))
                                  (N contract;{contract}))
                          (BEP;_cat_VePASS_ is;{be})
                          (IP-PPL-CAT (NP-LGS *)
                                      (VVN;_phr_Vn<=>p_ put;{put[out]})
                                      (RP out;{out})
                                      (PP-NIM (P-ROLE for;{for})
                                              (NP (N re_<hyphen>_bidding;{re_bidding}))))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ several;{several}))
                  (NS companies;{company}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (NP-NIM *ICH*-148)
                      (VB;_Tn_ get;{get})
                      (NP-OB1 (D a;{a})
                              (N chance;{chance})
                              (IP-INF (TO to;{to})
                                      (VB;_Ipr_ compete;{compete[for]})
                                      (PP-CLR (P-ROLE for;{for})
                                              (NP (NS portions;{portion})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D the;{the})
                                                          (N work;{work}))))))))
          (PUNC .))
  (ID 16_a_voice_of_america;p00d0086))

arc(r_0016_0002__the_r_0016_0004__contract,r_0016_0003__huge,attrib).
arc(r_0016_0005__is,r_0016_0001__When,nim).
arc(r_0016_0005__is,r_0016_0006__put_r_0016_0007__out,scope).
arc(r_0016_0006__put_r_0016_0007__out,r_0016_0002__the_r_0016_0004__contract,arg1).
arc(r_0016_0006__put_r_0016_0007__out,r_0016_0009__re__hyphen__bidding,r_0016_0008__for__nim).
arc(r_0016_0006__put_r_0016_0007__out,z_0016_5006___star_,arg0).
arc(r_0016_0012__companies,r_0016_0011__several,attrib).
arc(r_0016_0013__will,r_0016_0014__get,scope).
arc(r_0016_0014__get,r_0016_0001__When,nim).
arc(r_0016_0014__get,r_0016_0012__companies,arg0).
arc(r_0016_0014__get,r_0016_0015__a_r_0016_0016__chance,arg1).
arc(r_0016_0015__a_r_0016_0016__chance,r_0016_0018__compete_r_0016_0019__for,emb).
arc(r_0016_0018__compete_r_0016_0019__for,r_0016_0020__portions,arg1).
arc(r_0016_0018__compete_r_0016_0019__for,z_0016_5015,arg0).
arc(r_0016_0020__portions,r_0016_0022__the_r_0016_0023__work,r_0016_0021__of).

fof(formula,axiom,
    ? [R_0016_0001__WHEN,R_0016_0003__HUGE,R_0016_0002__THE_R_0016_0004__CONTRACT,R_0016_0009__RE__HYPHEN__BIDDING,Z_0016_5006___STAR_,R_0016_0005__IS_R_0016_0006__PUT_R_0016_0007__OUT,R_0016_0011__SEVERAL,R_0016_0012__COMPANIES,R_0016_0022__THE_R_0016_0023__WORK,R_0016_0020__PORTIONS,Z_0016_5015,R_0016_0018__COMPETE_R_0016_0019__FOR,R_0016_0015__A_R_0016_0016__CHANCE,R_0016_0013__WILL_R_0016_0014__GET] :
      ( r_0016_0001__When(R_0016_0001__WHEN)
      & r_0016_0003__huge(R_0016_0003__HUGE)
      & r_0016_0009__re__hyphen__bidding(R_0016_0009__RE__HYPHEN__BIDDING)
      & r_0016_0011__several(R_0016_0011__SEVERAL)
      & r_0016_0022__the_r_0016_0023__work(R_0016_0022__THE_R_0016_0023__WORK)
      & z_0016_5006___star_(Z_0016_5006___STAR_)
      & z_0016_5015(Z_0016_5015)
      & r_0016_0013__will_r_0016_0014__get(R_0016_0013__WILL_R_0016_0014__GET)
      & has_arg1(R_0016_0013__WILL_R_0016_0014__GET,R_0016_0015__A_R_0016_0016__CHANCE)
      & r_0016_0015__a_r_0016_0016__chance(R_0016_0015__A_R_0016_0016__CHANCE)
      & has_emb(R_0016_0015__A_R_0016_0016__CHANCE,R_0016_0018__COMPETE_R_0016_0019__FOR)
      & r_0016_0018__compete_r_0016_0019__for(R_0016_0018__COMPETE_R_0016_0019__FOR)
      & has_arg0(R_0016_0018__COMPETE_R_0016_0019__FOR,Z_0016_5015)
      & has_arg1(R_0016_0018__COMPETE_R_0016_0019__FOR,R_0016_0020__PORTIONS)
      & r_0016_0020__portions(R_0016_0020__PORTIONS)
      & has_r_0016_0021__of(R_0016_0020__PORTIONS,R_0016_0022__THE_R_0016_0023__WORK)
      & has_arg0(R_0016_0013__WILL_R_0016_0014__GET,R_0016_0012__COMPANIES)
      & r_0016_0012__companies(R_0016_0012__COMPANIES)
      & has_attrib(R_0016_0012__COMPANIES,R_0016_0011__SEVERAL)
      & has_nim(R_0016_0013__WILL_R_0016_0014__GET,R_0016_0001__WHEN)
      & r_0016_0005__is_r_0016_0006__put_r_0016_0007__out(R_0016_0005__IS_R_0016_0006__PUT_R_0016_0007__OUT)
      & has_arg0(R_0016_0005__IS_R_0016_0006__PUT_R_0016_0007__OUT,Z_0016_5006___STAR_)
      & has_r_0016_0008__for__nim(R_0016_0005__IS_R_0016_0006__PUT_R_0016_0007__OUT,R_0016_0009__RE__HYPHEN__BIDDING)
      & has_arg1(R_0016_0005__IS_R_0016_0006__PUT_R_0016_0007__OUT,R_0016_0002__THE_R_0016_0004__CONTRACT)
      & r_0016_0002__the_r_0016_0004__contract(R_0016_0002__THE_R_0016_0004__CONTRACT)
      & has_attrib(R_0016_0002__THE_R_0016_0004__CONTRACT,R_0016_0003__HUGE)
      & has_nim(R_0016_0005__IS_R_0016_0006__PUT_R_0016_0007__OUT,R_0016_0001__WHEN) ) ).