arc(r_0118_0004__fearing, r_0118_0005__a_r_0118_0006__repeat, arg1).
arc(r_0118_0004__fearing, r_0118_0012__the_r_0118_0013__hands, r_0118_0011__at_nim33).
arc(r_0118_0004__fearing, r_0118_0018__reformers, arg0).
arc(r_0118_0005__a_r_0118_0006__repeat, r_0118_0010__fate, r_0118_0007__of).
arc(r_0118_0010__fate, r_0118_0008__China_r_0118_0009___apos_s, gen).
arc(r_0118_0012__the_r_0118_0013__hands, r_0118_0016__imperialists, r_0118_0014__of).
arc(r_0118_0016__imperialists, r_0118_0015__Western, attrib42).
arc(r_0118_0019__overthrew, r_0118_0002__1868, r_0118_0001__In_nim5).
arc(r_0118_0019__overthrew, r_0118_0018__reformers, arg0).
arc(r_0118_0019__overthrew, r_0118_0020__the_r_0118_0022__dictatorship, arg1).
arc(r_0118_0020__the_r_0118_0022__dictatorship, r_0118_0021__military, attrib59).
arc(r_0118_0020__the_r_0118_0022__dictatorship, r_0118_0024__the_r_0118_0025__Tokugawa_r_0118_0026__Shogunate, r_0118_0023__of).
arc(r_0118_0027__and, r_0118_0019__overthrew, conj1).
arc(r_0118_0027__and, r_0118_0028__set, conj2).
arc(r_0118_0028__set, r_0118_0002__1868, r_0118_0001__In_nim5).
arc(r_0118_0028__set, r_0118_0018__reformers, arg0).
arc(r_0118_0028__set, r_0118_0029__Japan, arg1).
arc(r_0118_0028__set, r_0118_0031__a_r_0118_0032__course, r_0118_0030__on_clr86).
arc(r_0118_0031__a_r_0118_0032__course, r_0118_0036__speed_r_0118_0037__industrialisation, r_0118_0033__of).
arc(r_0118_0036__speed_r_0118_0037__industrialisation, r_0118_0034__high, attrib95).
arc(z_000_118_a_stuck_japan_10, r_0118_0004__fearing, restriction).
arc(z_000_118_a_stuck_japan_10, r_0118_0027__and, scope).

fof(formula,axiom,
    ? [Z_118_A_STUCK_JAPAN_10,R_118_4_FEARING,R_118_5_A_REPEAT,R_118_10_FATE,R_118_8_CHINA_APOS_S,R_118_12_THE_HANDS,R_118_16_IMPERIALISTS,R_118_15_WESTERN,R_118_27_AND,R_118_19_OVERTHREW,R_118_20_THE_DICTATORSHIP,R_118_21_MILITARY,R_118_24_THE_TOKUGAWA_SHOGUNATE,R_118_28_SET,R_118_18_REFORMERS,R_118_29_JAPAN,R_118_2_1868,R_118_31_A_COURSE,R_118_36_SPEED_INDUSTRIALISATION,R_118_34_HIGH] :
      ( china_apos_s(R_118_8_CHINA_APOS_S)
      & western(R_118_15_WESTERN)
      & military(R_118_21_MILITARY)
      & the_Tokugawa_Shogunate(R_118_24_THE_TOKUGAWA_SHOGUNATE)
      & reformers(R_118_18_REFORMERS)
      & japan(R_118_29_JAPAN)
      & 1868(R_118_2_1868)
      & high(R_118_34_HIGH)
      & z_118_a_stuck_japan_10(Z_118_A_STUCK_JAPAN_10)
      & conj1(Z_118_A_STUCK_JAPAN_10,R_118_4_FEARING)
      & fearing(R_118_4_FEARING,R_118_18_REFORMERS,R_118_5_A_REPEAT)
      & a_repeat(R_118_5_A_REPEAT)
      & of(R_118_5_A_REPEAT,R_118_10_FATE)
      & fate(R_118_10_FATE)
      & gen(R_118_10_FATE,R_118_8_CHINA_APOS_S)
      & at_nim33(R_118_4_FEARING,R_118_12_THE_HANDS)
      & the_hands(R_118_12_THE_HANDS)
      & of(R_118_12_THE_HANDS,R_118_16_IMPERIALISTS)
      & imperialists(R_118_16_IMPERIALISTS)
      & attrib42(R_118_16_IMPERIALISTS,R_118_15_WESTERN)
      & conj2(Z_118_A_STUCK_JAPAN_10,R_118_27_AND)
      & and(R_118_27_AND)
      & conj1(R_118_27_AND,R_118_19_OVERTHREW)
      & overthrew(R_118_19_OVERTHREW,R_118_18_REFORMERS,R_118_20_THE_DICTATORSHIP)
      & the_dictatorship(R_118_20_THE_DICTATORSHIP)
      & attrib59(R_118_20_THE_DICTATORSHIP,R_118_21_MILITARY)
      & of(R_118_20_THE_DICTATORSHIP,R_118_24_THE_TOKUGAWA_SHOGUNATE)
      & in_nim5(R_118_19_OVERTHREW,R_118_2_1868)
      & conj2(R_118_27_AND,R_118_28_SET)
      & set(R_118_28_SET,R_118_18_REFORMERS,R_118_29_JAPAN)
      & in_nim5(R_118_28_SET,R_118_2_1868)
      & on_clr86(R_118_28_SET,R_118_31_A_COURSE)
      & a_course(R_118_31_A_COURSE)
      & of(R_118_31_A_COURSE,R_118_36_SPEED_INDUSTRIALISATION)
      & speed_industrialisation(R_118_36_SPEED_INDUSTRIALISATION)
      & attrib95(R_118_36_SPEED_INDUSTRIALISATION,R_118_34_HIGH) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NUM 1868)))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ fearing;{fear})
                            (NP-OB1 (D a;{a})
                                    (N repeat;{repeat})
                                    (PP (P-ROLE of;{of})
                                        (NP (NP-GEN (NPR China;{China})
                                                    (GENM <apos>s))
                                            (N fate;{fate}))))
                            (PP-NIM (P-ROLE at;{at})
                                    (NP (D the;{the})
                                        (NS hands;{hand})
                                        (PP (P-ROLE of;{of})
                                            (NP (ADJP (ADJ Western;{western}))
                                                (NS imperialists;{imperialist})))))))
          (PUNC ,)
          (NP-SBJ (NS reformers;{reformer}))
          (ILYR (ILYR (VBD;_Tn_ overthrew;{overthrow})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJ military;{military}))
                              (N dictatorship;{dictatorship})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (NPR Tokugawa;{Tokugawa})
                                      (NPR Shogunate;{Shogunate})))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn.pr_ set;{set[on]})
                             (NP-OB1 (NPR Japan;{Japan}))
                             (PP-CLR (P-ROLE on;{on})
                                     (NP (D a;{a})
                                         (N course;{course})
                                         (PP (P-ROLE of;{of})
                                             (NP (ADJP (ADJ high;{high}))
                                                 (PUNC <hyphen>)
                                                 (N speed;{speed})
                                                 (N industrialisation;{industrialisation}))))))))
          (PUNC .))
  (ID 118_a_stuck_japan))