TSPC 118_a_stuck

118_a_stuck_japan
In 1868, fearing a repeat of China's fate at the hands of Western imperialists, reformers overthrew the military dictatorship of the Tokugawa Shogunate and set Japan on a course of high - speed industrialisation.

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,
    ? [R_0118_0008__CHINA_R_0118_0009___APOS_S,R_0118_0010__FATE,R_0118_0005__A_R_0118_0006__REPEAT,R_0118_0015__WESTERN,R_0118_0016__IMPERIALISTS,R_0118_0012__THE_R_0118_0013__HANDS,R_0118_0018__REFORMERS,R_0118_0004__FEARING,R_0118_0002__1868,R_0118_0021__MILITARY,R_0118_0024__THE_R_0118_0025__TOKUGAWA_R_0118_0026__SHOGUNATE,R_0118_0020__THE_R_0118_0022__DICTATORSHIP,R_0118_0019__OVERTHREW,R_0118_0029__JAPAN,R_0118_0034__HIGH,R_0118_0036__SPEED_R_0118_0037__INDUSTRIALISATION,R_0118_0031__A_R_0118_0032__COURSE,R_0118_0028__SET,R_0118_0027__AND,Z_000_118_A_STUCK_JAPAN_10] :
      ( r_0118_0002__1868(R_0118_0002__1868)
      & r_0118_0008__China_r_0118_0009___apos_s(R_0118_0008__CHINA_R_0118_0009___APOS_S)
      & r_0118_0015__Western(R_0118_0015__WESTERN)
      & r_0118_0018__reformers(R_0118_0018__REFORMERS)
      & r_0118_0021__military(R_0118_0021__MILITARY)
      & r_0118_0024__the_r_0118_0025__Tokugawa_r_0118_0026__Shogunate(R_0118_0024__THE_R_0118_0025__TOKUGAWA_R_0118_0026__SHOGUNATE)
      & r_0118_0029__Japan(R_0118_0029__JAPAN)
      & r_0118_0034__high(R_0118_0034__HIGH)
      & z_000_118_a_stuck_japan_10(Z_000_118_A_STUCK_JAPAN_10)
      & has_conj2(Z_000_118_A_STUCK_JAPAN_10,R_0118_0027__AND)
      & r_0118_0027__and(R_0118_0027__AND)
      & has_conj2(R_0118_0027__AND,R_0118_0028__SET)
      & r_0118_0028__set(R_0118_0028__SET)
      & has_r_0118_0030__on_clr86(R_0118_0028__SET,R_0118_0031__A_R_0118_0032__COURSE)
      & r_0118_0031__a_r_0118_0032__course(R_0118_0031__A_R_0118_0032__COURSE)
      & has_r_0118_0033__of(R_0118_0031__A_R_0118_0032__COURSE,R_0118_0036__SPEED_R_0118_0037__INDUSTRIALISATION)
      & r_0118_0036__speed_r_0118_0037__industrialisation(R_0118_0036__SPEED_R_0118_0037__INDUSTRIALISATION)
      & has_attrib95(R_0118_0036__SPEED_R_0118_0037__INDUSTRIALISATION,R_0118_0034__HIGH)
      & has_arg1(R_0118_0028__SET,R_0118_0029__JAPAN)
      & has_arg0(R_0118_0028__SET,R_0118_0018__REFORMERS)
      & has_r_0118_0001__In_nim5(R_0118_0028__SET,R_0118_0002__1868)
      & has_conj1(R_0118_0027__AND,R_0118_0019__OVERTHREW)
      & r_0118_0019__overthrew(R_0118_0019__OVERTHREW)
      & has_arg1(R_0118_0019__OVERTHREW,R_0118_0020__THE_R_0118_0022__DICTATORSHIP)
      & r_0118_0020__the_r_0118_0022__dictatorship(R_0118_0020__THE_R_0118_0022__DICTATORSHIP)
      & has_r_0118_0023__of(R_0118_0020__THE_R_0118_0022__DICTATORSHIP,R_0118_0024__THE_R_0118_0025__TOKUGAWA_R_0118_0026__SHOGUNATE)
      & has_attrib59(R_0118_0020__THE_R_0118_0022__DICTATORSHIP,R_0118_0021__MILITARY)
      & has_arg0(R_0118_0019__OVERTHREW,R_0118_0018__REFORMERS)
      & has_r_0118_0001__In_nim5(R_0118_0019__OVERTHREW,R_0118_0002__1868)
      & has_conj1(Z_000_118_A_STUCK_JAPAN_10,R_0118_0004__FEARING)
      & r_0118_0004__fearing(R_0118_0004__FEARING)
      & has_arg0(R_0118_0004__FEARING,R_0118_0018__REFORMERS)
      & has_r_0118_0011__at_nim33(R_0118_0004__FEARING,R_0118_0012__THE_R_0118_0013__HANDS)
      & r_0118_0012__the_r_0118_0013__hands(R_0118_0012__THE_R_0118_0013__HANDS)
      & has_r_0118_0014__of(R_0118_0012__THE_R_0118_0013__HANDS,R_0118_0016__IMPERIALISTS)
      & r_0118_0016__imperialists(R_0118_0016__IMPERIALISTS)
      & has_attrib42(R_0118_0016__IMPERIALISTS,R_0118_0015__WESTERN)
      & has_arg1(R_0118_0004__FEARING,R_0118_0005__A_R_0118_0006__REPEAT)
      & r_0118_0005__a_r_0118_0006__repeat(R_0118_0005__A_R_0118_0006__REPEAT)
      & has_r_0118_0007__of(R_0118_0005__A_R_0118_0006__REPEAT,R_0118_0010__FATE)
      & r_0118_0010__fate(R_0118_0010__FATE)
      & has_gen(R_0118_0010__FATE,R_0118_0008__CHINA_R_0118_0009___APOS_S) ) ).

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