TSPC 117_a_stuck

117_a_stuck_japan
“In 1868 the Samurai surrendered their swords, cut their hair, put on Western suits and marched into the ministries in Kasumigaseki (the government district of central Tokyo) and they're still there today.”

( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
                              (NP (NUM 1868)))
                      (NP-SBJ (D the;{the})
                              (NPR Samurai;{Samurai}))
                      (ILYR (ILYR (VBD;_Tn_ surrendered;{surrender})
                                  (NP-OB1 (NP-GEN (PRO their;{they}))
                                          (NS swords;{sword})))
                            (PUNC ,)
                            (CONJP (ILYR (VBD;_Tn_ cut;{cut})
                                         (NP-OB1 (NP-GEN (PRO their;{they}))
                                                 (N hair;{hair}))))
                            (PUNC ,)
                            (CONJP (ILYR (VBD;_phr_Vn<=>p_ put;{put[on]})
                                         (RP on;{on})
                                         (NP-OB1 (ADJP (ADJ Western;{western}))
                                                 (NS suits;{suit}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_Ipr_ marched;{march[into]})
                                         (PP-CLR (P-ROLE into;{into})
                                                 (NP (D the;{the})
                                                     (NS ministries;{ministry})
                                                     (PP (P-ROLE in;{in})
                                                         (NP (NPR Kasumigaseki;{Kasumigaseki})
                                                             (PRN (PULB -LRB-)
                                                                  (NP (D the;{the})
                                                                      (N government;{government})
                                                                      (N district;{district})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (ADJP (ADJ central;{central}))
                                                                              (NPR Tokyo;{Tokyo}))))
                                                                  (PURB -RRB-))))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO they;{they}))
                             (BEP;__ <apos>re;{be})
                             (ADVP-NIM (ADV still;{still}))
                             (ADVP-NIM (ADV there;{there}))
                             (NP-NIM (N today;{today})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 117_a_stuck_japan))

arc(r_0117_0006__surrendered,r_0117_0003__1868,r_0117_0002__In__nim).
arc(r_0117_0006__surrendered,r_0117_0004__the_r_0117_0005__Samurai,arg0).
arc(r_0117_0006__surrendered,r_0117_0008__swords,arg1).
arc(r_0117_0008__swords,r_0117_0007__their,gen).
arc(r_0117_0010__cut,r_0117_0003__1868,r_0117_0002__In__nim).
arc(r_0117_0010__cut,r_0117_0004__the_r_0117_0005__Samurai,arg0).
arc(r_0117_0010__cut,r_0117_0012__hair,arg1).
arc(r_0117_0012__hair,r_0117_0011__their,gen).
arc(r_0117_0014__put_r_0117_0015__on,r_0117_0003__1868,r_0117_0002__In__nim).
arc(r_0117_0014__put_r_0117_0015__on,r_0117_0004__the_r_0117_0005__Samurai,arg0).
arc(r_0117_0014__put_r_0117_0015__on,r_0117_0017__suits,arg1).
arc(r_0117_0017__suits,r_0117_0016__Western,attrib).
arc(r_0117_0018__and,r_0117_0006__surrendered,conj1).
arc(r_0117_0018__and,r_0117_0010__cut,conj2).
arc(r_0117_0018__and,r_0117_0014__put_r_0117_0015__on,conj3).
arc(r_0117_0018__and,r_0117_0019__marched_r_0117_0020__into,conj4).
arc(r_0117_0019__marched_r_0117_0020__into,r_0117_0003__1868,r_0117_0002__In__nim).
arc(r_0117_0019__marched_r_0117_0020__into,r_0117_0004__the_r_0117_0005__Samurai,arg0).
arc(r_0117_0019__marched_r_0117_0020__into,r_0117_0021__the_r_0117_0022__ministries,arg1).
arc(r_0117_0021__the_r_0117_0022__ministries,r_0117_0024__Kasumigaseki,r_0117_0023__in).
arc(r_0117_0026__the_r_0117_0027__government_r_0117_0028__district,r_0117_0031__Tokyo,r_0117_0029__of).
arc(r_0117_0031__Tokyo,r_0117_0030__central,attrib).
arc(r_0117_0033__and,r_0117_0018__and,conj1).
arc(r_0117_0033__and,r_0117_0035___apos_re,conj2).
arc(r_0117_0035___apos_re,r_0117_0034__they,arg0).
arc(r_0117_0035___apos_re,r_0117_0036__still,nim).
arc(r_0117_0035___apos_re,r_0117_0037__there,nim).
arc(r_0117_0035___apos_re,r_0117_0038__today,nim).
arc(z_0117_5012,r_0117_0024__Kasumigaseki,arg0).
arc(z_0117_5012,r_0117_0026__the_r_0117_0027__government_r_0117_0028__district,prd).

fof(formula,axiom,
    ? [R_0117_0003__1868,R_0117_0004__THE_R_0117_0005__SAMURAI,R_0117_0007__THEIR,R_0117_0008__SWORDS,R_0117_0006__SURRENDERED,R_0117_0011__THEIR,R_0117_0012__HAIR,R_0117_0010__CUT,R_0117_0016__WESTERN,R_0117_0017__SUITS,R_0117_0014__PUT_R_0117_0015__ON,R_0117_0024__KASUMIGASEKI,R_0117_0021__THE_R_0117_0022__MINISTRIES,R_0117_0019__MARCHED_R_0117_0020__INTO,R_0117_0018__AND,R_0117_0034__THEY,R_0117_0036__STILL,R_0117_0037__THERE,R_0117_0038__TODAY,R_0117_0035___APOS_RE,R_0117_0033__AND,R_0117_0030__CENTRAL,R_0117_0031__TOKYO,R_0117_0026__THE_R_0117_0027__GOVERNMENT_R_0117_0028__DISTRICT,Z_0117_5012] :
      ( r_0117_0003__1868(R_0117_0003__1868)
      & r_0117_0004__the_r_0117_0005__Samurai(R_0117_0004__THE_R_0117_0005__SAMURAI)
      & r_0117_0007__their(R_0117_0007__THEIR)
      & r_0117_0011__their(R_0117_0011__THEIR)
      & r_0117_0016__Western(R_0117_0016__WESTERN)
      & r_0117_0024__Kasumigaseki(R_0117_0024__KASUMIGASEKI)
      & r_0117_0030__central(R_0117_0030__CENTRAL)
      & r_0117_0034__they(R_0117_0034__THEY)
      & r_0117_0036__still(R_0117_0036__STILL)
      & r_0117_0037__there(R_0117_0037__THERE)
      & r_0117_0038__today(R_0117_0038__TODAY)
      & z_0117_5012(Z_0117_5012)
      & has_prd(Z_0117_5012,R_0117_0026__THE_R_0117_0027__GOVERNMENT_R_0117_0028__DISTRICT)
      & r_0117_0026__the_r_0117_0027__government_r_0117_0028__district(R_0117_0026__THE_R_0117_0027__GOVERNMENT_R_0117_0028__DISTRICT)
      & has_r_0117_0029__of(R_0117_0026__THE_R_0117_0027__GOVERNMENT_R_0117_0028__DISTRICT,R_0117_0031__TOKYO)
      & r_0117_0031__Tokyo(R_0117_0031__TOKYO)
      & has_attrib(R_0117_0031__TOKYO,R_0117_0030__CENTRAL)
      & has_arg0(Z_0117_5012,R_0117_0024__KASUMIGASEKI)
      & r_0117_0033__and(R_0117_0033__AND)
      & has_conj2(R_0117_0033__AND,R_0117_0035___APOS_RE)
      & r_0117_0035___apos_re(R_0117_0035___APOS_RE)
      & has_nim(R_0117_0035___APOS_RE,R_0117_0038__TODAY)
      & has_nim(R_0117_0035___APOS_RE,R_0117_0037__THERE)
      & has_nim(R_0117_0035___APOS_RE,R_0117_0036__STILL)
      & has_arg0(R_0117_0035___APOS_RE,R_0117_0034__THEY)
      & has_conj1(R_0117_0033__AND,R_0117_0018__AND)
      & r_0117_0018__and(R_0117_0018__AND)
      & has_conj4(R_0117_0018__AND,R_0117_0019__MARCHED_R_0117_0020__INTO)
      & r_0117_0019__marched_r_0117_0020__into(R_0117_0019__MARCHED_R_0117_0020__INTO)
      & has_arg1(R_0117_0019__MARCHED_R_0117_0020__INTO,R_0117_0021__THE_R_0117_0022__MINISTRIES)
      & r_0117_0021__the_r_0117_0022__ministries(R_0117_0021__THE_R_0117_0022__MINISTRIES)
      & has_r_0117_0023__in(R_0117_0021__THE_R_0117_0022__MINISTRIES,R_0117_0024__KASUMIGASEKI)
      & has_arg0(R_0117_0019__MARCHED_R_0117_0020__INTO,R_0117_0004__THE_R_0117_0005__SAMURAI)
      & has_r_0117_0002__In__nim(R_0117_0019__MARCHED_R_0117_0020__INTO,R_0117_0003__1868)
      & has_conj3(R_0117_0018__AND,R_0117_0014__PUT_R_0117_0015__ON)
      & r_0117_0014__put_r_0117_0015__on(R_0117_0014__PUT_R_0117_0015__ON)
      & has_arg1(R_0117_0014__PUT_R_0117_0015__ON,R_0117_0017__SUITS)
      & r_0117_0017__suits(R_0117_0017__SUITS)
      & has_attrib(R_0117_0017__SUITS,R_0117_0016__WESTERN)
      & has_arg0(R_0117_0014__PUT_R_0117_0015__ON,R_0117_0004__THE_R_0117_0005__SAMURAI)
      & has_r_0117_0002__In__nim(R_0117_0014__PUT_R_0117_0015__ON,R_0117_0003__1868)
      & has_conj2(R_0117_0018__AND,R_0117_0010__CUT)
      & r_0117_0010__cut(R_0117_0010__CUT)
      & has_arg1(R_0117_0010__CUT,R_0117_0012__HAIR)
      & r_0117_0012__hair(R_0117_0012__HAIR)
      & has_gen(R_0117_0012__HAIR,R_0117_0011__THEIR)
      & has_arg0(R_0117_0010__CUT,R_0117_0004__THE_R_0117_0005__SAMURAI)
      & has_r_0117_0002__In__nim(R_0117_0010__CUT,R_0117_0003__1868)
      & has_conj1(R_0117_0018__AND,R_0117_0006__SURRENDERED)
      & r_0117_0006__surrendered(R_0117_0006__SURRENDERED)
      & has_arg1(R_0117_0006__SURRENDERED,R_0117_0008__SWORDS)
      & r_0117_0008__swords(R_0117_0008__SWORDS)
      & has_gen(R_0117_0008__SWORDS,R_0117_0007__THEIR)
      & has_arg0(R_0117_0006__SURRENDERED,R_0117_0004__THE_R_0117_0005__SAMURAI)
      & has_r_0117_0002__In__nim(R_0117_0006__SURRENDERED,R_0117_0003__1868) ) ).