9_a_stuck_japan
But the Japan the world expected never arrived.
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ (D the;{the})
(NPR Japan;{Japan})
(IP-REL (NP-OB1 *T*)
(NP-SBJ (D the;{the})
(N world;{world}))
(VBD;_Tn_ expected;{expect})))
(ADVP-NIM (ADV never;{never}))
(VBD;_I_ arrived;{arrive})
(PUNC .))
(ID 9_a_stuck_japan))
arc(r_0009_0006__expected,r_0009_0002__the_r_0009_0003__Japan,inv_arg1).
arc(r_0009_0006__expected,r_0009_0004__the_r_0009_0005__world,arg0).
arc(r_0009_0008__arrived,r_0009_0002__the_r_0009_0003__Japan,arg0).
arc(r_0009_0008__arrived,r_0009_0007__never,nim).
fof(formula,axiom,
? [R_0009_0004__THE_R_0009_0005__WORLD,R_0009_0006__EXPECTED,R_0009_0002__THE_R_0009_0003__JAPAN,R_0009_0007__NEVER,R_0009_0008__ARRIVED] :
( r_0009_0004__the_r_0009_0005__world(R_0009_0004__THE_R_0009_0005__WORLD)
& r_0009_0007__never(R_0009_0007__NEVER)
& r_0009_0008__arrived(R_0009_0008__ARRIVED)
& has_nim(R_0009_0008__ARRIVED,R_0009_0007__NEVER)
& has_arg0(R_0009_0008__ARRIVED,R_0009_0002__THE_R_0009_0003__JAPAN)
& r_0009_0002__the_r_0009_0003__Japan(R_0009_0002__THE_R_0009_0003__JAPAN)
& has_inv_arg1(R_0009_0002__THE_R_0009_0003__JAPAN,R_0009_0006__EXPECTED)
& r_0009_0006__expected(R_0009_0006__EXPECTED)
& has_arg0(R_0009_0006__EXPECTED,R_0009_0004__THE_R_0009_0005__WORLD) ) ).