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).

fof(formula,axiom,
    ? [R_0167_0001__MY,R_0167_0002__HEAD,R_0167_0009__JAPAN,R_0167_0012__CHANGE,R_0167_0005__THAT_R_0167_0010__MUST_R_0167_0011__EMBRACE,R_0167_0008__ANEW,R_0167_0006__TO_R_0167_0007__PROSPER,Z_000_167_A_STUCK_JAPAN_17,R_0167_0003__TELLS] :
      ( r_0167_0001__My(R_0167_0001__MY)
      & r_0167_0008__anew(R_0167_0008__ANEW)
      & r_0167_0009__Japan(R_0167_0009__JAPAN)
      & r_0167_0012__change(R_0167_0012__CHANGE)
      & r_0167_0003__tells(R_0167_0003__TELLS)
      & has_arg1(R_0167_0003__TELLS,Z_000_167_A_STUCK_JAPAN_17)
      & z_000_167_a_stuck_japan_17(Z_000_167_A_STUCK_JAPAN_17)
      & has_conj1(Z_000_167_A_STUCK_JAPAN_17,R_0167_0006__TO_R_0167_0007__PROSPER)
      & r_0167_0006__to_r_0167_0007__prosper(R_0167_0006__TO_R_0167_0007__PROSPER)
      & has_arg0(R_0167_0006__TO_R_0167_0007__PROSPER,R_0167_0009__JAPAN)
      & has_nim23(R_0167_0006__TO_R_0167_0007__PROSPER,R_0167_0008__ANEW)
      & has_conj2(Z_000_167_A_STUCK_JAPAN_17,R_0167_0005__THAT_R_0167_0010__MUST_R_0167_0011__EMBRACE)
      & r_0167_0005__that_r_0167_0010__must_r_0167_0011__embrace(R_0167_0005__THAT_R_0167_0010__MUST_R_0167_0011__EMBRACE)
      & has_arg1(R_0167_0005__THAT_R_0167_0010__MUST_R_0167_0011__EMBRACE,R_0167_0012__CHANGE)
      & has_arg0(R_0167_0005__THAT_R_0167_0010__MUST_R_0167_0011__EMBRACE,R_0167_0009__JAPAN)
      & has_arg0(R_0167_0003__TELLS,R_0167_0002__HEAD)
      & r_0167_0002__head(R_0167_0002__HEAD)
      & has_gen(R_0167_0002__HEAD,R_0167_0001__MY)
      & has_arg2(R_0167_0003__TELLS,R_0167_0001__MY) ) ).

( (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))