Context                Previous, Next                Top


9_a_stuck_japan
But the Japan the world expected never arrived.

%3 r_0009_0001__But_r_0009_0008__arrived But arrived r_0009_0002__the_r_0009_0003__Japan the Japan r_0009_0001__But_r_0009_0008__arrived->r_0009_0002__the_r_0009_0003__Japan [arg0] r_0009_0007__never never r_0009_0001__But_r_0009_0008__arrived->r_0009_0007__never [nim] r_0009_0006__expected expected r_0009_0006__expected->r_0009_0002__the_r_0009_0003__Japan [arg1] r_0009_0004__the_r_0009_0005__world the world r_0009_0006__expected->r_0009_0004__the_r_0009_0005__world [arg0] 
arc(r_0009_0001__But_r_0009_0008__arrived, r_0009_0002__the_r_0009_0003__Japan, arg0).
arc(r_0009_0001__But_r_0009_0008__arrived, r_0009_0007__never, nim19).
arc(r_0009_0006__expected, r_0009_0002__the_r_0009_0003__Japan, arg1).
arc(r_0009_0006__expected, r_0009_0004__the_r_0009_0005__world, arg0).


%3 r_0009_0006__expected expected r_0009_0004__the_r_0009_0005__world the world r_0009_0006__expected->r_0009_0004__the_r_0009_0005__world [arg0] r_0009_0002__the_r_0009_0003__Japan the Japan r_0009_0006__expected->r_0009_0002__the_r_0009_0003__Japan [arg1] r_0009_0001__But_r_0009_0008__arrived But arrived r_0009_0001__But_r_0009_0008__arrived->r_0009_0002__the_r_0009_0003__Japan [arg0] r_0009_0007__never never r_0009_0001__But_r_0009_0008__arrived->r_0009_0007__never [nim] 
fof(formula,axiom,
    ? [R_9_1_BUT_ARRIVED,R_9_7_NEVER,R_9_6_EXPECTED,R_9_4_THE_WORLD,R_9_2_THE_JAPAN] :
      ( never(R_9_7_NEVER)
      & the_world(R_9_4_THE_WORLD)
      & the_Japan(R_9_2_THE_JAPAN)
      & but_arrived(R_9_1_BUT_ARRIVED,R_9_2_THE_JAPAN)
      & nim19(R_9_1_BUT_ARRIVED,R_9_7_NEVER)
      & expected(R_9_6_EXPECTED,R_9_4_THE_WORLD,R_9_2_THE_JAPAN) ) ).


n9_a_stuck_japan n9_a_stuck_japan__1_1_1 But n9_a_stuck_japan__1_2_1_1 the n9_a_stuck_japan__1_2_2_1 Japan n9_a_stuck_japan__1_2_3_1_1 *T* n9_a_stuck_japan__1_2_3_2_1_1 the n9_a_stuck_japan__1_2_3_2_2_1 world n9_a_stuck_japan__1_2_3_3_1 expected n9_a_stuck_japan__1_3_1_1 never n9_a_stuck_japan__1_4_1 arrived n9_a_stuck_japan__1_5_1 . n9_a_stuck_japan__1 IP-MAT n9_a_stuck_japan__1_1 CONJ;_cl_ n9_a_stuck_japan__1->n9_a_stuck_japan__1_1 n9_a_stuck_japan__1_2 NP-SBJ n9_a_stuck_japan__1->n9_a_stuck_japan__1_2 n9_a_stuck_japan__1_3 ADVP-NIM n9_a_stuck_japan__1->n9_a_stuck_japan__1_3 n9_a_stuck_japan__1_4 VBD;_I_ n9_a_stuck_japan__1->n9_a_stuck_japan__1_4 n9_a_stuck_japan__1_5 PUNC n9_a_stuck_japan__1->n9_a_stuck_japan__1_5 n9_a_stuck_japan__1_1->n9_a_stuck_japan__1_1_1 n9_a_stuck_japan__1_2_1 D n9_a_stuck_japan__1_2->n9_a_stuck_japan__1_2_1 n9_a_stuck_japan__1_2_2 NPR n9_a_stuck_japan__1_2->n9_a_stuck_japan__1_2_2 n9_a_stuck_japan__1_2_3 IP-REL n9_a_stuck_japan__1_2->n9_a_stuck_japan__1_2_3 n9_a_stuck_japan__1_2_1->n9_a_stuck_japan__1_2_1_1 n9_a_stuck_japan__1_2_2->n9_a_stuck_japan__1_2_2_1 n9_a_stuck_japan__1_2_3_1 NP-OB1 n9_a_stuck_japan__1_2_3->n9_a_stuck_japan__1_2_3_1 n9_a_stuck_japan__1_2_3_2 NP-SBJ n9_a_stuck_japan__1_2_3->n9_a_stuck_japan__1_2_3_2 n9_a_stuck_japan__1_2_3_3 VBD;_Tn_ n9_a_stuck_japan__1_2_3->n9_a_stuck_japan__1_2_3_3 n9_a_stuck_japan__1_2_3_1->n9_a_stuck_japan__1_2_3_1_1 n9_a_stuck_japan__1_2_3_2_1 D n9_a_stuck_japan__1_2_3_2->n9_a_stuck_japan__1_2_3_2_1 n9_a_stuck_japan__1_2_3_2_2 N n9_a_stuck_japan__1_2_3_2->n9_a_stuck_japan__1_2_3_2_2 n9_a_stuck_japan__1_2_3_2_1->n9_a_stuck_japan__1_2_3_2_1_1 n9_a_stuck_japan__1_2_3_2_2->n9_a_stuck_japan__1_2_3_2_2_1 n9_a_stuck_japan__1_2_3_3->n9_a_stuck_japan__1_2_3_3_1 n9_a_stuck_japan__1_3_1 ADV n9_a_stuck_japan__1_3->n9_a_stuck_japan__1_3_1 n9_a_stuck_japan__1_3_1->n9_a_stuck_japan__1_3_1_1 n9_a_stuck_japan__1_4->n9_a_stuck_japan__1_4_1 n9_a_stuck_japan__1_5->n9_a_stuck_japan__1_5_1 
( (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))