arc(r_0022_0004__the_r_0022_0006__trader, r_0022_0005__Swiss, attrib16).
arc(r_0022_0007__got, r_0022_0002__the_r_0022_0003__responses, arg1).
arc(r_0022_0007__got, r_0022_0004__the_r_0022_0006__trader, arg0).
arc(r_0022_0008__was, r_0022_0002__the_r_0022_0003__responses, r_0022_0001__Among_clr5).
arc(r_0022_0008__was, r_0022_0009__one, arg0).
arc(r_0022_0009__one, r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company, r_0022_0010__from).
arc(r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company, r_0022_0012__Soviet, attrib34).
arc(r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company, r_0022_0013__national, attrib37).
arc(r_0022_0018__had, r_0022_0020__been, scope).
arc(r_0022_0019__n_apos_t, r_0022_0018__had, keep_scope).
arc(r_0022_0020__been, r_0022_0021__invited, scope).
arc(r_0022_0021__invited, r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company, arg2).
arc(r_0022_0021__invited, r_0022_0022__to_r_0022_0023__submit, arg1).
arc(r_0022_0021__invited, z_000_22_a_wsj_1640_58, arg0).
arc(r_0022_0022__to_r_0022_0023__submit, r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company, arg0).
arc(r_0022_0022__to_r_0022_0023__submit, r_0022_0024__a_r_0022_0025__bid, arg1).

fof(formula,axiom,
    ? [R_22_7_GOT,R_22_4_THE_TRADER,R_22_5_SWISS,R_22_8_WAS,R_22_9_ONE,R_22_11_THE_SHIPPING_COMPANY,R_22_12_SOVIET,R_22_13_NATIONAL,R_22_2_THE_RESPONSES] :
      ( swiss(R_22_5_SWISS)
      & soviet(R_22_12_SOVIET)
      & national(R_22_13_NATIONAL)
      & the_responses(R_22_2_THE_RESPONSES)
      & got(R_22_7_GOT,R_22_4_THE_TRADER,R_22_2_THE_RESPONSES)
      & the_trader(R_22_4_THE_TRADER)
      & attrib16(R_22_4_THE_TRADER,R_22_5_SWISS)
      & was(R_22_8_WAS,R_22_9_ONE)
      & one(R_22_9_ONE)
      & from(R_22_9_ONE,R_22_11_THE_SHIPPING_COMPANY)
      & the_shipping_company(R_22_11_THE_SHIPPING_COMPANY)
      & attrib34(R_22_11_THE_SHIPPING_COMPANY,R_22_12_SOVIET)
      & attrib37(R_22_11_THE_SHIPPING_COMPANY,R_22_13_NATIONAL)
      & among_clr5(R_22_8_WAS,R_22_2_THE_RESPONSES)
      & ~ ? [R_22_18_HAD_BEEN_INVITED,Z_22_A_WSJ_1640_58,R_22_22_TO_SUBMIT,R_22_24_A_BID] :
            ( a_bid(R_22_24_A_BID)
            & had_been_invited(R_22_18_HAD_BEEN_INVITED,Z_22_A_WSJ_1640_58,R_22_22_TO_SUBMIT,R_22_11_THE_SHIPPING_COMPANY)
            & to_submit(R_22_22_TO_SUBMIT,R_22_11_THE_SHIPPING_COMPANY,R_22_24_A_BID) ) ) ).

( (IP-MAT (PP-TPC-CLR (P-ROLE Among;{among})
                      (NP (D the;{the})
                          (NS responses;{response})
                          (IP-REL (NP-OB1 *T*)
                                  (NP-SBJ;{TRADER} (D the;{the})
                                                   (ADJP (ADJ Swiss;{swiss}))
                                                   (N trader;{trader}))
                                  (VBD;_Tn_ got;{get}))))
          (BED;_Ipr_ was;{be[among]})
          (NP-SBJ (NUM one;{one})
                  (PP (P-ROLE from;{from})
                      (NP (D the;{the})
                          (ADJP (ADJ Soviet;{soviet}))
                          (ADJP (ADJ national;{national}))
                          (N shipping;{shipping})
                          (N company;{company})
                          (PUNC ,)
                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                  (HVD;_cat_Ve_ had;{have})
                                  (NEG;_clitic_ n<apos>t;{not})
                                  (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Dn.t_ invited;{invite})
                                                          (IP-INF-OB1 (TO to;{to})
                                                                      (VB;_Tn_ submit;{submit})
                                                                      (NP-OB1 (D a;{a})
                                                                              (N bid;{bid})))))))))
          (PUNC .))
  (ID 22_a_wsj_1640))