22_a_wsj_1640
Among the responses the Swiss trader got was one from the Soviet national shipping company, which hadn't been invited to submit 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))
arc(r_0022_0001__Among_r_0022_0008__was,r_0022_0002__the_r_0022_0003__responses,arg1).
arc(r_0022_0001__Among_r_0022_0008__was,r_0022_0009__one,arg0).
arc(r_0022_0004__the_r_0022_0006__trader,r_0022_0005__Swiss,attrib).
arc(r_0022_0007__got,r_0022_0002__the_r_0022_0003__responses,inv_arg1).
arc(r_0022_0007__got,r_0022_0004__the_r_0022_0006__trader,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,attrib).
arc(r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company,r_0022_0013__national,attrib).
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_0023__submit,arg1).
arc(r_0022_0021__invited,z_0022_5014___star_,arg0).
arc(r_0022_0023__submit,r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company,arg0).
arc(r_0022_0023__submit,r_0022_0024__a_r_0022_0025__bid,arg1).
fof(formula,axiom,
? [R_0022_0005__SWISS,R_0022_0004__THE_R_0022_0006__TRADER,R_0022_0007__GOT,R_0022_0002__THE_R_0022_0003__RESPONSES,R_0022_0012__SOVIET,R_0022_0013__NATIONAL,R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY,R_0022_0009__ONE,R_0022_0001__AMONG_R_0022_0008__WAS] :
( r_0022_0005__Swiss(R_0022_0005__SWISS)
& r_0022_0012__Soviet(R_0022_0012__SOVIET)
& r_0022_0013__national(R_0022_0013__NATIONAL)
& ~ ? [R_0022_0024__A_R_0022_0025__BID,R_0022_0023__SUBMIT,Z_0022_5014___STAR_,R_0022_0018__HAD_R_0022_0020__BEEN_R_0022_0021__INVITED] :
( r_0022_0024__a_r_0022_0025__bid(R_0022_0024__A_R_0022_0025__BID)
& z_0022_5014___star_(Z_0022_5014___STAR_)
& r_0022_0018__had_r_0022_0020__been_r_0022_0021__invited(R_0022_0018__HAD_R_0022_0020__BEEN_R_0022_0021__INVITED)
& has_arg0(R_0022_0018__HAD_R_0022_0020__BEEN_R_0022_0021__INVITED,Z_0022_5014___STAR_)
& has_arg1(R_0022_0018__HAD_R_0022_0020__BEEN_R_0022_0021__INVITED,R_0022_0023__SUBMIT)
& r_0022_0023__submit(R_0022_0023__SUBMIT)
& has_arg1(R_0022_0023__SUBMIT,R_0022_0024__A_R_0022_0025__BID)
& has_arg0(R_0022_0023__SUBMIT,R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY)
& has_arg2(R_0022_0018__HAD_R_0022_0020__BEEN_R_0022_0021__INVITED,R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY) )
& r_0022_0001__Among_r_0022_0008__was(R_0022_0001__AMONG_R_0022_0008__WAS)
& has_arg0(R_0022_0001__AMONG_R_0022_0008__WAS,R_0022_0009__ONE)
& r_0022_0009__one(R_0022_0009__ONE)
& has_r_0022_0010__from(R_0022_0009__ONE,R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY)
& r_0022_0011__the_r_0022_0014__shipping_r_0022_0015__company(R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY)
& has_attrib(R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY,R_0022_0013__NATIONAL)
& has_attrib(R_0022_0011__THE_R_0022_0014__SHIPPING_R_0022_0015__COMPANY,R_0022_0012__SOVIET)
& has_arg1(R_0022_0001__AMONG_R_0022_0008__WAS,R_0022_0002__THE_R_0022_0003__RESPONSES)
& r_0022_0002__the_r_0022_0003__responses(R_0022_0002__THE_R_0022_0003__RESPONSES)
& has_inv_arg1(R_0022_0002__THE_R_0022_0003__RESPONSES,R_0022_0007__GOT)
& r_0022_0007__got(R_0022_0007__GOT)
& has_arg0(R_0022_0007__GOT,R_0022_0004__THE_R_0022_0006__TRADER)
& r_0022_0004__the_r_0022_0006__trader(R_0022_0004__THE_R_0022_0006__TRADER)
& has_attrib(R_0022_0004__THE_R_0022_0006__TRADER,R_0022_0005__SWISS) ) ).