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 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_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_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_0009__Japan Japan r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace->r_0167_0009__Japan [arg0] r_0167_0012__change change r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace->r_0167_0012__change [arg1] 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] 
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_5 My n167_a_stuck_japan_7 head n167_a_stuck_japan_9 tells n167_a_stuck_japan_12 me n167_a_stuck_japan_16 that n167_a_stuck_japan_20 to n167_a_stuck_japan_22 prosper n167_a_stuck_japan_25 anew n167_a_stuck_japan_28 Japan n167_a_stuck_japan_30 must n167_a_stuck_japan_33 embrace n167_a_stuck_japan_36 change n167_a_stuck_japan_38 . n167_a_stuck_japan_1 IP-MAT n167_a_stuck_japan_2 NP-SBJ n167_a_stuck_japan_1->n167_a_stuck_japan_2 n167_a_stuck_japan_8 VBP;_Dn.f_ n167_a_stuck_japan_1->n167_a_stuck_japan_8 n167_a_stuck_japan_10 NP-OB2 n167_a_stuck_japan_1->n167_a_stuck_japan_10 n167_a_stuck_japan_13 CP-THT-OB1 n167_a_stuck_japan_1->n167_a_stuck_japan_13 n167_a_stuck_japan_37 PUNC n167_a_stuck_japan_1->n167_a_stuck_japan_37 n167_a_stuck_japan_3 NP-GEN n167_a_stuck_japan_2->n167_a_stuck_japan_3 n167_a_stuck_japan_6 N n167_a_stuck_japan_2->n167_a_stuck_japan_6 n167_a_stuck_japan_4 PRO n167_a_stuck_japan_3->n167_a_stuck_japan_4 n167_a_stuck_japan_4->n167_a_stuck_japan_5 n167_a_stuck_japan_6->n167_a_stuck_japan_7 n167_a_stuck_japan_8->n167_a_stuck_japan_9 n167_a_stuck_japan_11 PRO n167_a_stuck_japan_10->n167_a_stuck_japan_11 n167_a_stuck_japan_11->n167_a_stuck_japan_12 n167_a_stuck_japan_14 IP-SUB n167_a_stuck_japan_13->n167_a_stuck_japan_14 n167_a_stuck_japan_15 C n167_a_stuck_japan_14->n167_a_stuck_japan_15 n167_a_stuck_japan_17 PP-SCON n167_a_stuck_japan_14->n167_a_stuck_japan_17 n167_a_stuck_japan_26 NP-SBJ n167_a_stuck_japan_14->n167_a_stuck_japan_26 n167_a_stuck_japan_29 MD;_cat_Vi_ n167_a_stuck_japan_14->n167_a_stuck_japan_29 n167_a_stuck_japan_31 IP-PPL-CAT n167_a_stuck_japan_14->n167_a_stuck_japan_31 n167_a_stuck_japan_15->n167_a_stuck_japan_16 n167_a_stuck_japan_18 IP-INF2 n167_a_stuck_japan_17->n167_a_stuck_japan_18 n167_a_stuck_japan_19 TO n167_a_stuck_japan_18->n167_a_stuck_japan_19 n167_a_stuck_japan_21 VB;_I_ n167_a_stuck_japan_18->n167_a_stuck_japan_21 n167_a_stuck_japan_23 ADVP-NIM n167_a_stuck_japan_18->n167_a_stuck_japan_23 n167_a_stuck_japan_19->n167_a_stuck_japan_20 n167_a_stuck_japan_21->n167_a_stuck_japan_22 n167_a_stuck_japan_24 ADV n167_a_stuck_japan_23->n167_a_stuck_japan_24 n167_a_stuck_japan_24->n167_a_stuck_japan_25 n167_a_stuck_japan_27 NPR n167_a_stuck_japan_26->n167_a_stuck_japan_27 n167_a_stuck_japan_27->n167_a_stuck_japan_28 n167_a_stuck_japan_29->n167_a_stuck_japan_30 n167_a_stuck_japan_32 VB;_Tn_ n167_a_stuck_japan_31->n167_a_stuck_japan_32 n167_a_stuck_japan_34 NP-OB1 n167_a_stuck_japan_31->n167_a_stuck_japan_34 n167_a_stuck_japan_32->n167_a_stuck_japan_33 n167_a_stuck_japan_35 N n167_a_stuck_japan_34->n167_a_stuck_japan_35 n167_a_stuck_japan_35->n167_a_stuck_japan_36 n167_a_stuck_japan_37->n167_a_stuck_japan_38 
( (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))