Context                Previous, Next                Top


167_a_stuck_japan
My head tells me that to prosper anew Japan must embrace change.

%3 r_0167_0002__head head r_0167_0001__My My r_0167_0002__head->r_0167_0001__My [gen] r_0167_0003__tells tells r_0167_0003__tells->r_0167_0002__head [arg0] r_0167_0003__tells->r_0167_0001__My [arg2] z_000_167_a_stuck_japan_17 r_0167_0003__tells->z_000_167_a_stuck_japan_17 [arg1] r_0167_0005__that_r_0167_0010__must that must z_000_167_a_stuck_japan_17->r_0167_0005__that_r_0167_0010__must [scope] r_0167_0006__to_r_0167_0007__prosper to prosper z_000_167_a_stuck_japan_17->r_0167_0006__to_r_0167_0007__prosper [restriction] r_0167_0011__embrace embrace r_0167_0005__that_r_0167_0010__must->r_0167_0011__embrace [scope] r_0167_0009__Japan Japan r_0167_0011__embrace->r_0167_0009__Japan [arg0] r_0167_0012__change change r_0167_0011__embrace->r_0167_0012__change [arg1] r_0167_0008__anew anew r_0167_0006__to_r_0167_0007__prosper->r_0167_0008__anew [nim] r_0167_0006__to_r_0167_0007__prosper->r_0167_0009__Japan [arg0] 
arc(r_0167_0002__head, r_0167_0001__My, gen).
arc(r_0167_0003__tells, r_0167_0001__My, arg2).
arc(r_0167_0003__tells, r_0167_0002__head, arg0).
arc(r_0167_0003__tells, z_000_167_a_stuck_japan_17, arg1).
arc(r_0167_0005__that_r_0167_0010__must, r_0167_0011__embrace, scope).
arc(r_0167_0006__to_r_0167_0007__prosper, r_0167_0008__anew, nim23).
arc(r_0167_0006__to_r_0167_0007__prosper, r_0167_0009__Japan, arg0).
arc(r_0167_0011__embrace, r_0167_0009__Japan, arg0).
arc(r_0167_0011__embrace, r_0167_0012__change, arg1).
arc(z_000_167_a_stuck_japan_17, r_0167_0005__that_r_0167_0010__must, scope).
arc(z_000_167_a_stuck_japan_17, r_0167_0006__to_r_0167_0007__prosper, restriction).


%3 z_000_167_a_stuck_japan_17 r_0167_0006__to_r_0167_0007__prosper to prosper z_000_167_a_stuck_japan_17->r_0167_0006__to_r_0167_0007__prosper [conj1] r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace that must embrace z_000_167_a_stuck_japan_17->r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace [conj2] r_0167_0009__Japan Japan r_0167_0006__to_r_0167_0007__prosper->r_0167_0009__Japan [arg0] r_0167_0008__anew anew r_0167_0006__to_r_0167_0007__prosper->r_0167_0008__anew [nim] r_0167_0012__change change r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace->r_0167_0012__change [arg1] r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace->r_0167_0009__Japan [arg0] r_0167_0003__tells tells r_0167_0003__tells->z_000_167_a_stuck_japan_17 [arg1] r_0167_0002__head head r_0167_0003__tells->r_0167_0002__head [arg0] r_0167_0001__My My r_0167_0003__tells->r_0167_0001__My [arg2] r_0167_0002__head->r_0167_0001__My [gen] 
fof(formula,axiom,
    ? [R_167_3_TELLS,R_167_2_HEAD,Z_167_A_STUCK_JAPAN_17,R_167_6_TO_PROSPER,R_167_8_ANEW,R_167_5_THAT_MUST_EMBRACE,R_167_9_JAPAN,R_167_12_CHANGE,R_167_1_MY] :
      ( anew(R_167_8_ANEW)
      & japan(R_167_9_JAPAN)
      & change(R_167_12_CHANGE)
      & my(R_167_1_MY)
      & tells(R_167_3_TELLS,R_167_2_HEAD,Z_167_A_STUCK_JAPAN_17,R_167_1_MY)
      & head(R_167_2_HEAD)
      & gen(R_167_2_HEAD,R_167_1_MY)
      & z_167_a_stuck_japan_17(Z_167_A_STUCK_JAPAN_17)
      & conj1(Z_167_A_STUCK_JAPAN_17,R_167_6_TO_PROSPER)
      & to_prosper(R_167_6_TO_PROSPER,R_167_9_JAPAN)
      & nim23(R_167_6_TO_PROSPER,R_167_8_ANEW)
      & conj2(Z_167_A_STUCK_JAPAN_17,R_167_5_THAT_MUST_EMBRACE)
      & that_must_embrace(R_167_5_THAT_MUST_EMBRACE,R_167_9_JAPAN,R_167_12_CHANGE) ) ).


n167_a_stuck_japan n167_a_stuck_japan__1_1_1_1_1 My n167_a_stuck_japan__1_1_2_1 head n167_a_stuck_japan__1_2_1 tells n167_a_stuck_japan__1_3_1_1 me n167_a_stuck_japan__1_4_1_1_1 that n167_a_stuck_japan__1_4_1_2_1_1_1 to n167_a_stuck_japan__1_4_1_2_1_2_1 prosper n167_a_stuck_japan__1_4_1_2_1_3_1_1 anew n167_a_stuck_japan__1_4_1_3_1_1 Japan n167_a_stuck_japan__1_4_1_4_1 must n167_a_stuck_japan__1_4_1_5_1_1 embrace n167_a_stuck_japan__1_4_1_5_2_1_1 change n167_a_stuck_japan__1_5_1 . n167_a_stuck_japan__1 IP-MAT n167_a_stuck_japan__1_1 NP-SBJ n167_a_stuck_japan__1->n167_a_stuck_japan__1_1 n167_a_stuck_japan__1_2 VBP;_Dn.f_ n167_a_stuck_japan__1->n167_a_stuck_japan__1_2 n167_a_stuck_japan__1_3 NP-OB2 n167_a_stuck_japan__1->n167_a_stuck_japan__1_3 n167_a_stuck_japan__1_4 CP-THT-OB1 n167_a_stuck_japan__1->n167_a_stuck_japan__1_4 n167_a_stuck_japan__1_5 PUNC n167_a_stuck_japan__1->n167_a_stuck_japan__1_5 n167_a_stuck_japan__1_1_1 NP-GEN n167_a_stuck_japan__1_1->n167_a_stuck_japan__1_1_1 n167_a_stuck_japan__1_1_2 N n167_a_stuck_japan__1_1->n167_a_stuck_japan__1_1_2 n167_a_stuck_japan__1_1_1_1 PRO n167_a_stuck_japan__1_1_1->n167_a_stuck_japan__1_1_1_1 n167_a_stuck_japan__1_1_1_1->n167_a_stuck_japan__1_1_1_1_1 n167_a_stuck_japan__1_1_2->n167_a_stuck_japan__1_1_2_1 n167_a_stuck_japan__1_2->n167_a_stuck_japan__1_2_1 n167_a_stuck_japan__1_3_1 PRO n167_a_stuck_japan__1_3->n167_a_stuck_japan__1_3_1 n167_a_stuck_japan__1_3_1->n167_a_stuck_japan__1_3_1_1 n167_a_stuck_japan__1_4_1 IP-SUB n167_a_stuck_japan__1_4->n167_a_stuck_japan__1_4_1 n167_a_stuck_japan__1_4_1_1 C n167_a_stuck_japan__1_4_1->n167_a_stuck_japan__1_4_1_1 n167_a_stuck_japan__1_4_1_2 PP-SCON n167_a_stuck_japan__1_4_1->n167_a_stuck_japan__1_4_1_2 n167_a_stuck_japan__1_4_1_3 NP-SBJ n167_a_stuck_japan__1_4_1->n167_a_stuck_japan__1_4_1_3 n167_a_stuck_japan__1_4_1_4 MD;_cat_Vi_ n167_a_stuck_japan__1_4_1->n167_a_stuck_japan__1_4_1_4 n167_a_stuck_japan__1_4_1_5 IP-PPL-CAT n167_a_stuck_japan__1_4_1->n167_a_stuck_japan__1_4_1_5 n167_a_stuck_japan__1_4_1_1->n167_a_stuck_japan__1_4_1_1_1 n167_a_stuck_japan__1_4_1_2_1 IP-INF2 n167_a_stuck_japan__1_4_1_2->n167_a_stuck_japan__1_4_1_2_1 n167_a_stuck_japan__1_4_1_2_1_1 TO n167_a_stuck_japan__1_4_1_2_1->n167_a_stuck_japan__1_4_1_2_1_1 n167_a_stuck_japan__1_4_1_2_1_2 VB;_I_ n167_a_stuck_japan__1_4_1_2_1->n167_a_stuck_japan__1_4_1_2_1_2 n167_a_stuck_japan__1_4_1_2_1_3 ADVP-NIM n167_a_stuck_japan__1_4_1_2_1->n167_a_stuck_japan__1_4_1_2_1_3 n167_a_stuck_japan__1_4_1_2_1_1->n167_a_stuck_japan__1_4_1_2_1_1_1 n167_a_stuck_japan__1_4_1_2_1_2->n167_a_stuck_japan__1_4_1_2_1_2_1 n167_a_stuck_japan__1_4_1_2_1_3_1 ADV n167_a_stuck_japan__1_4_1_2_1_3->n167_a_stuck_japan__1_4_1_2_1_3_1 n167_a_stuck_japan__1_4_1_2_1_3_1->n167_a_stuck_japan__1_4_1_2_1_3_1_1 n167_a_stuck_japan__1_4_1_3_1 NPR n167_a_stuck_japan__1_4_1_3->n167_a_stuck_japan__1_4_1_3_1 n167_a_stuck_japan__1_4_1_3_1->n167_a_stuck_japan__1_4_1_3_1_1 n167_a_stuck_japan__1_4_1_4->n167_a_stuck_japan__1_4_1_4_1 n167_a_stuck_japan__1_4_1_5_1 VB;_Tn_ n167_a_stuck_japan__1_4_1_5->n167_a_stuck_japan__1_4_1_5_1 n167_a_stuck_japan__1_4_1_5_2 NP-OB1 n167_a_stuck_japan__1_4_1_5->n167_a_stuck_japan__1_4_1_5_2 n167_a_stuck_japan__1_4_1_5_1->n167_a_stuck_japan__1_4_1_5_1_1 n167_a_stuck_japan__1_4_1_5_2_1 N n167_a_stuck_japan__1_4_1_5_2->n167_a_stuck_japan__1_4_1_5_2_1 n167_a_stuck_japan__1_4_1_5_2_1->n167_a_stuck_japan__1_4_1_5_2_1_1 n167_a_stuck_japan__1_5->n167_a_stuck_japan__1_5_1 
( (IP-MAT (NP-SBJ (NP-GEN (PRO My;{my}))
                  (N head;{head}))
          (VBP;_Dn.f_ tells;{tell})
          (NP-OB2 (PRO me;{I}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PP-SCON (IP-INF2 (TO to;{to})
                                                (VB;_I_ prosper;{prosper})
                                                (ADVP-NIM (ADV anew;{anew}))))
                              (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
                              (MD;_cat_Vi_ must;{must})
                              (IP-PPL-CAT (VB;_Tn_ embrace;{embrace})
                                          (NP-OB1 (N change;{change})))))
          (PUNC .))
  (ID 167_a_stuck_japan))