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_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] 
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_3 But n9_a_stuck_japan_6 the n9_a_stuck_japan_8 Japan n9_a_stuck_japan_11 *T* n9_a_stuck_japan_14 the n9_a_stuck_japan_16 world n9_a_stuck_japan_18 expected n9_a_stuck_japan_21 never n9_a_stuck_japan_23 arrived n9_a_stuck_japan_25 . n9_a_stuck_japan_1 IP-MAT n9_a_stuck_japan_2 CONJ;_cl_ n9_a_stuck_japan_1->n9_a_stuck_japan_2 n9_a_stuck_japan_4 NP-SBJ n9_a_stuck_japan_1->n9_a_stuck_japan_4 n9_a_stuck_japan_19 ADVP-NIM n9_a_stuck_japan_1->n9_a_stuck_japan_19 n9_a_stuck_japan_22 VBD;_I_ n9_a_stuck_japan_1->n9_a_stuck_japan_22 n9_a_stuck_japan_24 PUNC n9_a_stuck_japan_1->n9_a_stuck_japan_24 n9_a_stuck_japan_2->n9_a_stuck_japan_3 n9_a_stuck_japan_5 D n9_a_stuck_japan_4->n9_a_stuck_japan_5 n9_a_stuck_japan_7 NPR n9_a_stuck_japan_4->n9_a_stuck_japan_7 n9_a_stuck_japan_9 IP-REL n9_a_stuck_japan_4->n9_a_stuck_japan_9 n9_a_stuck_japan_5->n9_a_stuck_japan_6 n9_a_stuck_japan_7->n9_a_stuck_japan_8 n9_a_stuck_japan_10 NP-OB1 n9_a_stuck_japan_9->n9_a_stuck_japan_10 n9_a_stuck_japan_12 NP-SBJ n9_a_stuck_japan_9->n9_a_stuck_japan_12 n9_a_stuck_japan_17 VBD;_Tn_ n9_a_stuck_japan_9->n9_a_stuck_japan_17 n9_a_stuck_japan_10->n9_a_stuck_japan_11 n9_a_stuck_japan_13 D n9_a_stuck_japan_12->n9_a_stuck_japan_13 n9_a_stuck_japan_15 N n9_a_stuck_japan_12->n9_a_stuck_japan_15 n9_a_stuck_japan_13->n9_a_stuck_japan_14 n9_a_stuck_japan_15->n9_a_stuck_japan_16 n9_a_stuck_japan_17->n9_a_stuck_japan_18 n9_a_stuck_japan_20 ADV n9_a_stuck_japan_19->n9_a_stuck_japan_20 n9_a_stuck_japan_20->n9_a_stuck_japan_21 n9_a_stuck_japan_22->n9_a_stuck_japan_23 n9_a_stuck_japan_24->n9_a_stuck_japan_25 
( (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))