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.

( (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 (NLYR (ADJP (ADJ high;{high}))
                                                       (PUNC <hyphen>)
                                                       (N speed;{speed}))
                                                 (N industrialisation;{industrialisation}))))))))
          (PUNC .))
  (ID 118_a_stuck_japan))

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__nim).
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,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,attrib).
arc(r_0118_0019__overthrew,r_0118_0002__1868,r_0118_0001__In__nim).
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,attrib).
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_r_0118_0030__on,conj2).
arc(r_0118_0028__set_r_0118_0030__on,r_0118_0002__1868,r_0118_0001__In__nim).
arc(r_0118_0028__set_r_0118_0030__on,r_0118_0018__reformers,arg0).
arc(r_0118_0028__set_r_0118_0030__on,r_0118_0029__Japan,arg1).
arc(r_0118_0028__set_r_0118_0030__on,r_0118_0031__a_r_0118_0032__course,arg2).
arc(r_0118_0031__a_r_0118_0032__course,r_0118_0037__industrialisation,r_0118_0033__of).
arc(r_0118_0036__speed,r_0118_0034__high,attrib).
arc(r_0118_0037__industrialisation,r_0118_0036__speed,nim).
arc(z_0118_5003,r_0118_0004__fearing,restriction).
arc(z_0118_5003,r_0118_0027__and,scope).

fof(formula,axiom,
    ? [R_0118_0008__CHINA,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_0030__ON,R_0118_0027__AND,Z_0118_5003] :
      ( r_0118_0002__1868(R_0118_0002__1868)
      & r_0118_0008__China(R_0118_0008__CHINA)
      & 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_0118_5003(Z_0118_5003)
      & has_conj2(Z_0118_5003,R_0118_0027__AND)
      & r_0118_0027__and(R_0118_0027__AND)
      & has_conj2(R_0118_0027__AND,R_0118_0028__SET_R_0118_0030__ON)
      & r_0118_0028__set_r_0118_0030__on(R_0118_0028__SET_R_0118_0030__ON)
      & has_arg2(R_0118_0028__SET_R_0118_0030__ON,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_0037__INDUSTRIALISATION)
      & r_0118_0037__industrialisation(R_0118_0037__INDUSTRIALISATION)
      & has_nim(R_0118_0037__INDUSTRIALISATION,R_0118_0036__SPEED)
      & r_0118_0036__speed(R_0118_0036__SPEED)
      & has_attrib(R_0118_0036__SPEED,R_0118_0034__HIGH)
      & has_arg1(R_0118_0028__SET_R_0118_0030__ON,R_0118_0029__JAPAN)
      & has_arg0(R_0118_0028__SET_R_0118_0030__ON,R_0118_0018__REFORMERS)
      & has_r_0118_0001__In__nim(R_0118_0028__SET_R_0118_0030__ON,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_attrib(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__nim(R_0118_0019__OVERTHREW,R_0118_0002__1868)
      & has_conj1(Z_0118_5003,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__nim(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_attrib(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) ) ).