TSPC 7_a_kyoto

7_a_kyoto_2
RINZAI was the disciple of Kiun OBAKU; the school grew as a religious movement centered in the province of Hebei, with the support of Changshi WANG of the Hanchin government, but in the confusion that arose around the end of the Tang dynasty, Hebei was at the center of the tumultuous five dynasties and it became difficult to sustain a religious movement.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{RINZAI} (NPR RINZAI;{Rinzai}))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D the;{the})
                              (N disciple;{disciple})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR Kiun;{Kiun})
                                      (NPR OBAKU;{Obaku})))))
                (PUNC ;)
                (CONJP (ILYR (ILYR (ILYR (NP-SBJ (D the;{the})
                                                 (N school;{school}))
                                         (VBD;_Ipr_ grew;{grow[as]})
                                         (PP-CLR (P-ROLE as;{as})
                                                 (NP (D a;{a})
                                                     (ADJP (ADJ religious;{religious}))
                                                     (N movement;{movement})
                                                     (IP-PPL (NP-LGS *)
                                                             (VVN;_Tn.pr_ centered;{center[in]})
                                                             (PP-CLR (P-ROLE in;{in})
                                                                     (NP (D the;{the})
                                                                         (N province;{province})
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (NPR Hebei;{Hebei}))))))))
                                         (PUNC ,)
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (D the;{the})
                                                     (N support;{support})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (NPR Changshi;{Changshi})
                                                             (NPR WANG;{Wang})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (D the;{the})
                                                                     (NPR Hanchin;{Hanchin})
                                                                     (N government;{government}))))))))
                                   (PUNC ,)
                                   (CONJP (CONJ but;{but})
                                          (ILYR (ILYR (ILYR (PP-NIM (P-ROLE in;{in})
                                                                    (NP (D the;{the})
                                                                        (N confusion;{confusion})
                                                                        (IP-REL (C that;{that})
                                                                                (NP-SBJ *T*)
                                                                                (VBD;_I_ arose;{arise})
                                                                                (PP-NIM (P-ROLE around;{around})
                                                                                        (NP (D the;{the})
                                                                                            (N end;{end})
                                                                                            (PP (P-ROLE of;{of})
                                                                                                (NP (D the;{the})
                                                                                                    (NPR Tang;{Tang})
                                                                                                    (N dynasty;{dynasty}))))))))
                                                            (PUNC ,)
                                                            (NP-SBJ (NPR Hebei;{Hebei}))
                                                            (BED;_Ipr_ was;{be[at]})
                                                            (PP-CLR (P-ROLE at;{at})
                                                                    (NP (D the;{the})
                                                                        (N center;{center})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (D the;{the})
                                                                                (ADJP (ADJ tumultuous;{tumultuous}))
                                                                                (NUM five;{five})
                                                                                (NS dynasties;{dynasty}))))))
                                                      (CONJP (CONJ and;{and})
                                                             (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                                                                   (VBD;_La_ became;{become})
                                                                   (ADJP-PRD (ADJ difficult;{difficult}))
                                                                   (IP-INF-NSBJ (TO to;{to})
                                                                                (VB;_Tn_ sustain;{sustain})
                                                                                (NP-OB1 (D a;{a})
                                                                                        (ADJP (ADJ religious;{religious}))
                                                                                        (N movement;{movement}))))))))))))
          (PUNC .))
  (ID 7_a_kyoto_2;BDS_00002;7))

arc(r_0007_0002__was,r_0007_0001__RINZAI,arg0).
arc(r_0007_0002__was,r_0007_0003__the_r_0007_0004__disciple,prd).
arc(r_0007_0003__the_r_0007_0004__disciple,r_0007_0006__Kiun_r_0007_0007__OBAKU,r_0007_0005__of).
arc(r_0007_0011__grew_r_0007_0012__as,r_0007_0009__the_r_0007_0010__school,arg0).
arc(r_0007_0011__grew_r_0007_0012__as,r_0007_0013__a_r_0007_0015__movement,arg1).
arc(r_0007_0011__grew_r_0007_0012__as,r_0007_0024__the_r_0007_0025__support,r_0007_0023__with__nim).
arc(r_0007_0013__a_r_0007_0015__movement,r_0007_0014__religious,attrib).
arc(r_0007_0016__centered_r_0007_0017__in,r_0007_0013__a_r_0007_0015__movement,inv_arg1).
arc(r_0007_0016__centered_r_0007_0017__in,r_0007_0018__the_r_0007_0019__province,arg2).
arc(r_0007_0016__centered_r_0007_0017__in,z_0007_5008___star_,arg0).
arc(r_0007_0018__the_r_0007_0019__province,r_0007_0021__Hebei,r_0007_0020__of).
arc(r_0007_0024__the_r_0007_0025__support,r_0007_0027__Changshi_r_0007_0028__WANG,r_0007_0026__of).
arc(r_0007_0027__Changshi_r_0007_0028__WANG,r_0007_0030__the_r_0007_0031__Hanchin_r_0007_0032__government,r_0007_0029__of).
arc(r_0007_0034__but,r_0007_0011__grew_r_0007_0012__as,conj1).
arc(r_0007_0034__but,r_0007_0058__and,conj2).
arc(r_0007_0039__arose,r_0007_0036__the_r_0007_0037__confusion,inv_arg0).
arc(r_0007_0039__arose,r_0007_0041__the_r_0007_0042__end,r_0007_0040__around__nim).
arc(r_0007_0041__the_r_0007_0042__end,r_0007_0044__the_r_0007_0045__Tang_r_0007_0046__dynasty,r_0007_0043__of).
arc(r_0007_0049__was_r_0007_0050__at,r_0007_0036__the_r_0007_0037__confusion,r_0007_0035__in__nim).
arc(r_0007_0049__was_r_0007_0050__at,r_0007_0048__Hebei,arg0).
arc(r_0007_0049__was_r_0007_0050__at,r_0007_0051__the_r_0007_0052__center,arg1).
arc(r_0007_0051__the_r_0007_0052__center,r_0007_0054__the_r_0007_0056__five_r_0007_0057__dynasties,r_0007_0053__of).
arc(r_0007_0054__the_r_0007_0056__five_r_0007_0057__dynasties,r_0007_0055__tumultuous,attrib).
arc(r_0007_0058__and,r_0007_0049__was_r_0007_0050__at,conj1).
arc(r_0007_0058__and,r_0007_0060__became,conj2).
arc(r_0007_0060__became,r_0007_0061__difficult,prd).
arc(r_0007_0060__became,r_0007_0063__sustain,arg0).
arc(r_0007_0063__sustain,r_0007_0064__a_r_0007_0066__movement,arg1).
arc(r_0007_0063__sustain,z_0007_5021,arg0).
arc(r_0007_0064__a_r_0007_0066__movement,r_0007_0065__religious,attrib).
arc(z_0007_5001,r_0007_0002__was,conj1).
arc(z_0007_5001,r_0007_0034__but,conj2).

fof(formula,axiom,
    ? [R_0007_0001__RINZAI,R_0007_0006__KIUN_R_0007_0007__OBAKU,R_0007_0003__THE_R_0007_0004__DISCIPLE,R_0007_0002__WAS,R_0007_0009__THE_R_0007_0010__SCHOOL,R_0007_0014__RELIGIOUS,R_0007_0021__HEBEI,R_0007_0018__THE_R_0007_0019__PROVINCE,Z_0007_5008___STAR_,R_0007_0016__CENTERED_R_0007_0017__IN,R_0007_0013__A_R_0007_0015__MOVEMENT,R_0007_0030__THE_R_0007_0031__HANCHIN_R_0007_0032__GOVERNMENT,R_0007_0027__CHANGSHI_R_0007_0028__WANG,R_0007_0024__THE_R_0007_0025__SUPPORT,R_0007_0011__GREW_R_0007_0012__AS,R_0007_0044__THE_R_0007_0045__TANG_R_0007_0046__DYNASTY,R_0007_0041__THE_R_0007_0042__END,R_0007_0039__AROSE,R_0007_0036__THE_R_0007_0037__CONFUSION,R_0007_0048__HEBEI,R_0007_0055__TUMULTUOUS,R_0007_0054__THE_R_0007_0056__FIVE_R_0007_0057__DYNASTIES,R_0007_0051__THE_R_0007_0052__CENTER,R_0007_0049__WAS_R_0007_0050__AT,R_0007_0061__DIFFICULT,R_0007_0065__RELIGIOUS,R_0007_0064__A_R_0007_0066__MOVEMENT,Z_0007_5021,R_0007_0063__SUSTAIN,R_0007_0060__BECAME,R_0007_0058__AND,R_0007_0034__BUT,Z_0007_5001] :
      ( r_0007_0001__RINZAI(R_0007_0001__RINZAI)
      & r_0007_0006__Kiun_r_0007_0007__OBAKU(R_0007_0006__KIUN_R_0007_0007__OBAKU)
      & r_0007_0009__the_r_0007_0010__school(R_0007_0009__THE_R_0007_0010__SCHOOL)
      & r_0007_0014__religious(R_0007_0014__RELIGIOUS)
      & r_0007_0021__Hebei(R_0007_0021__HEBEI)
      & r_0007_0030__the_r_0007_0031__Hanchin_r_0007_0032__government(R_0007_0030__THE_R_0007_0031__HANCHIN_R_0007_0032__GOVERNMENT)
      & r_0007_0044__the_r_0007_0045__Tang_r_0007_0046__dynasty(R_0007_0044__THE_R_0007_0045__TANG_R_0007_0046__DYNASTY)
      & r_0007_0048__Hebei(R_0007_0048__HEBEI)
      & r_0007_0055__tumultuous(R_0007_0055__TUMULTUOUS)
      & r_0007_0061__difficult(R_0007_0061__DIFFICULT)
      & r_0007_0065__religious(R_0007_0065__RELIGIOUS)
      & z_0007_5008___star_(Z_0007_5008___STAR_)
      & z_0007_5021(Z_0007_5021)
      & z_0007_5001(Z_0007_5001)
      & has_conj2(Z_0007_5001,R_0007_0034__BUT)
      & r_0007_0034__but(R_0007_0034__BUT)
      & has_conj2(R_0007_0034__BUT,R_0007_0058__AND)
      & r_0007_0058__and(R_0007_0058__AND)
      & has_conj2(R_0007_0058__AND,R_0007_0060__BECAME)
      & r_0007_0060__became(R_0007_0060__BECAME)
      & has_arg0(R_0007_0060__BECAME,R_0007_0063__SUSTAIN)
      & r_0007_0063__sustain(R_0007_0063__SUSTAIN)
      & has_arg0(R_0007_0063__SUSTAIN,Z_0007_5021)
      & has_arg1(R_0007_0063__SUSTAIN,R_0007_0064__A_R_0007_0066__MOVEMENT)
      & r_0007_0064__a_r_0007_0066__movement(R_0007_0064__A_R_0007_0066__MOVEMENT)
      & has_attrib(R_0007_0064__A_R_0007_0066__MOVEMENT,R_0007_0065__RELIGIOUS)
      & has_prd(R_0007_0060__BECAME,R_0007_0061__DIFFICULT)
      & has_conj1(R_0007_0058__AND,R_0007_0049__WAS_R_0007_0050__AT)
      & r_0007_0049__was_r_0007_0050__at(R_0007_0049__WAS_R_0007_0050__AT)
      & has_arg1(R_0007_0049__WAS_R_0007_0050__AT,R_0007_0051__THE_R_0007_0052__CENTER)
      & r_0007_0051__the_r_0007_0052__center(R_0007_0051__THE_R_0007_0052__CENTER)
      & has_r_0007_0053__of(R_0007_0051__THE_R_0007_0052__CENTER,R_0007_0054__THE_R_0007_0056__FIVE_R_0007_0057__DYNASTIES)
      & r_0007_0054__the_r_0007_0056__five_r_0007_0057__dynasties(R_0007_0054__THE_R_0007_0056__FIVE_R_0007_0057__DYNASTIES)
      & has_attrib(R_0007_0054__THE_R_0007_0056__FIVE_R_0007_0057__DYNASTIES,R_0007_0055__TUMULTUOUS)
      & has_arg0(R_0007_0049__WAS_R_0007_0050__AT,R_0007_0048__HEBEI)
      & has_r_0007_0035__in__nim(R_0007_0049__WAS_R_0007_0050__AT,R_0007_0036__THE_R_0007_0037__CONFUSION)
      & r_0007_0036__the_r_0007_0037__confusion(R_0007_0036__THE_R_0007_0037__CONFUSION)
      & has_inv_arg0(R_0007_0036__THE_R_0007_0037__CONFUSION,R_0007_0039__AROSE)
      & r_0007_0039__arose(R_0007_0039__AROSE)
      & has_r_0007_0040__around__nim(R_0007_0039__AROSE,R_0007_0041__THE_R_0007_0042__END)
      & r_0007_0041__the_r_0007_0042__end(R_0007_0041__THE_R_0007_0042__END)
      & has_r_0007_0043__of(R_0007_0041__THE_R_0007_0042__END,R_0007_0044__THE_R_0007_0045__TANG_R_0007_0046__DYNASTY)
      & has_conj1(R_0007_0034__BUT,R_0007_0011__GREW_R_0007_0012__AS)
      & r_0007_0011__grew_r_0007_0012__as(R_0007_0011__GREW_R_0007_0012__AS)
      & has_r_0007_0023__with__nim(R_0007_0011__GREW_R_0007_0012__AS,R_0007_0024__THE_R_0007_0025__SUPPORT)
      & r_0007_0024__the_r_0007_0025__support(R_0007_0024__THE_R_0007_0025__SUPPORT)
      & has_r_0007_0026__of(R_0007_0024__THE_R_0007_0025__SUPPORT,R_0007_0027__CHANGSHI_R_0007_0028__WANG)
      & r_0007_0027__Changshi_r_0007_0028__WANG(R_0007_0027__CHANGSHI_R_0007_0028__WANG)
      & has_r_0007_0029__of(R_0007_0027__CHANGSHI_R_0007_0028__WANG,R_0007_0030__THE_R_0007_0031__HANCHIN_R_0007_0032__GOVERNMENT)
      & has_arg1(R_0007_0011__GREW_R_0007_0012__AS,R_0007_0013__A_R_0007_0015__MOVEMENT)
      & r_0007_0013__a_r_0007_0015__movement(R_0007_0013__A_R_0007_0015__MOVEMENT)
      & has_inv_arg1(R_0007_0013__A_R_0007_0015__MOVEMENT,R_0007_0016__CENTERED_R_0007_0017__IN)
      & r_0007_0016__centered_r_0007_0017__in(R_0007_0016__CENTERED_R_0007_0017__IN)
      & has_arg0(R_0007_0016__CENTERED_R_0007_0017__IN,Z_0007_5008___STAR_)
      & has_arg2(R_0007_0016__CENTERED_R_0007_0017__IN,R_0007_0018__THE_R_0007_0019__PROVINCE)
      & r_0007_0018__the_r_0007_0019__province(R_0007_0018__THE_R_0007_0019__PROVINCE)
      & has_r_0007_0020__of(R_0007_0018__THE_R_0007_0019__PROVINCE,R_0007_0021__HEBEI)
      & has_attrib(R_0007_0013__A_R_0007_0015__MOVEMENT,R_0007_0014__RELIGIOUS)
      & has_arg0(R_0007_0011__GREW_R_0007_0012__AS,R_0007_0009__THE_R_0007_0010__SCHOOL)
      & has_conj1(Z_0007_5001,R_0007_0002__WAS)
      & r_0007_0002__was(R_0007_0002__WAS)
      & has_prd(R_0007_0002__WAS,R_0007_0003__THE_R_0007_0004__DISCIPLE)
      & r_0007_0003__the_r_0007_0004__disciple(R_0007_0003__THE_R_0007_0004__DISCIPLE)
      & has_r_0007_0005__of(R_0007_0003__THE_R_0007_0004__DISCIPLE,R_0007_0006__KIUN_R_0007_0007__OBAKU)
      & has_arg0(R_0007_0002__WAS,R_0007_0001__RINZAI) ) ).