TSPC 10_a_kyoto

10_a_kyoto_2
When it came to the Southern Song dynasty, Soukou DAIE, a disciple of Kokugon ENGO who belonged to the Yougi sect, started the Daikan sect in Zhejiang province, which became a major sect in the Rinzai School.

arc(r_0010_0001__When, r_0010_0003__came, restriction).
arc(r_0010_0001__When, r_0010_0025__started, scope).
arc(r_0010_0003__came, r_0010_0002__it, arg0).
arc(r_0010_0003__came, r_0010_0005__the_r_0010_0006__Southern_r_0010_0007__Song_r_0010_0008__dynasty, r_0010_0004__to_clr14).
arc(r_0010_0013__a_r_0010_0014__disciple, r_0010_0016__Kokugon_r_0010_0017__ENGO, r_0010_0015__of).
arc(r_0010_0019__belonged, r_0010_0013__a_r_0010_0014__disciple, arg0).
arc(r_0010_0019__belonged, r_0010_0021__the_r_0010_0022__Yougi_r_0010_0023__sect, r_0010_0020__to_clr55).
arc(r_0010_0025__started, r_0010_0010__Soukou_r_0010_0011__DAIE, arg0).
arc(r_0010_0025__started, r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect, arg1).
arc(r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect, r_0010_0030__Zhejiang_r_0010_0031__province, r_0010_0029__in).
arc(r_0010_0034__became, r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect, arg0).
arc(r_0010_0034__became, r_0010_0035__a_r_0010_0037__sect, prd).
arc(r_0010_0035__a_r_0010_0037__sect, r_0010_0036__major, attrib92).
arc(r_0010_0035__a_r_0010_0037__sect, r_0010_0039__the_r_0010_0040__Rinzai_r_0010_0041__School, r_0010_0038__in).
arc(z_000_10_a_kyoto_2_32, r_0010_0010__Soukou_r_0010_0011__DAIE, arg0).
arc(z_000_10_a_kyoto_2_32, r_0010_0013__a_r_0010_0014__disciple, prd).

fof(formula,axiom,
    ? [R_0010_0016__KOKUGON_R_0010_0017__ENGO,R_0010_0013__A_R_0010_0014__DISCIPLE,R_0010_0021__THE_R_0010_0022__YOUGI_R_0010_0023__SECT,R_0010_0019__BELONGED,R_0010_0030__ZHEJIANG_R_0010_0031__PROVINCE,R_0010_0026__THE_R_0010_0027__DAIKAN_R_0010_0028__SECT,R_0010_0036__MAJOR,R_0010_0039__THE_R_0010_0040__RINZAI_R_0010_0041__SCHOOL,R_0010_0035__A_R_0010_0037__SECT,R_0010_0034__BECAME,R_0010_0010__SOUKOU_R_0010_0011__DAIE,Z_000_10_A_KYOTO_2_32] :
      ( r_0010_0010__Soukou_r_0010_0011__DAIE(R_0010_0010__SOUKOU_R_0010_0011__DAIE)
      & r_0010_0016__Kokugon_r_0010_0017__ENGO(R_0010_0016__KOKUGON_R_0010_0017__ENGO)
      & r_0010_0021__the_r_0010_0022__Yougi_r_0010_0023__sect(R_0010_0021__THE_R_0010_0022__YOUGI_R_0010_0023__SECT)
      & r_0010_0030__Zhejiang_r_0010_0031__province(R_0010_0030__ZHEJIANG_R_0010_0031__PROVINCE)
      & r_0010_0036__major(R_0010_0036__MAJOR)
      & r_0010_0039__the_r_0010_0040__Rinzai_r_0010_0041__School(R_0010_0039__THE_R_0010_0040__RINZAI_R_0010_0041__SCHOOL)
      & z_000_10_a_kyoto_2_32(Z_000_10_A_KYOTO_2_32)
      & has_prd(Z_000_10_A_KYOTO_2_32,R_0010_0013__A_R_0010_0014__DISCIPLE)
      & r_0010_0013__a_r_0010_0014__disciple(R_0010_0013__A_R_0010_0014__DISCIPLE)
      & has_r_0010_0015__of(R_0010_0013__A_R_0010_0014__DISCIPLE,R_0010_0016__KOKUGON_R_0010_0017__ENGO)
      & has_arg0(Z_000_10_A_KYOTO_2_32,R_0010_0010__SOUKOU_R_0010_0011__DAIE)
      & r_0010_0034__became(R_0010_0034__BECAME)
      & has_prd(R_0010_0034__BECAME,R_0010_0035__A_R_0010_0037__SECT)
      & r_0010_0035__a_r_0010_0037__sect(R_0010_0035__A_R_0010_0037__SECT)
      & has_r_0010_0038__in(R_0010_0035__A_R_0010_0037__SECT,R_0010_0039__THE_R_0010_0040__RINZAI_R_0010_0041__SCHOOL)
      & has_attrib92(R_0010_0035__A_R_0010_0037__SECT,R_0010_0036__MAJOR)
      & has_arg0(R_0010_0034__BECAME,R_0010_0026__THE_R_0010_0027__DAIKAN_R_0010_0028__SECT)
      & r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect(R_0010_0026__THE_R_0010_0027__DAIKAN_R_0010_0028__SECT)
      & has_r_0010_0029__in(R_0010_0026__THE_R_0010_0027__DAIKAN_R_0010_0028__SECT,R_0010_0030__ZHEJIANG_R_0010_0031__PROVINCE)
      & r_0010_0019__belonged(R_0010_0019__BELONGED)
      & has_r_0010_0020__to_clr55(R_0010_0019__BELONGED,R_0010_0021__THE_R_0010_0022__YOUGI_R_0010_0023__SECT)
      & has_arg0(R_0010_0019__BELONGED,R_0010_0013__A_R_0010_0014__DISCIPLE)
      & ! [R_0010_0003__CAME,R_0010_0002__IT,R_0010_0005__THE_R_0010_0006__SOUTHERN_R_0010_0007__SONG_R_0010_0008__DYNASTY] :
          ( ( r_0010_0002__it(R_0010_0002__IT)
            & r_0010_0005__the_r_0010_0006__Southern_r_0010_0007__Song_r_0010_0008__dynasty(R_0010_0005__THE_R_0010_0006__SOUTHERN_R_0010_0007__SONG_R_0010_0008__DYNASTY)
            & r_0010_0003__came(R_0010_0003__CAME)
            & has_r_0010_0004__to_clr14(R_0010_0003__CAME,R_0010_0005__THE_R_0010_0006__SOUTHERN_R_0010_0007__SONG_R_0010_0008__DYNASTY)
            & has_arg0(R_0010_0003__CAME,R_0010_0002__IT) )
         => ? [R_0010_0025__STARTED] :
              ( r_0010_0025__started(R_0010_0025__STARTED)
              & has_arg1(R_0010_0025__STARTED,R_0010_0026__THE_R_0010_0027__DAIKAN_R_0010_0028__SECT)
              & has_arg0(R_0010_0025__STARTED,R_0010_0010__SOUKOU_R_0010_0011__DAIE) ) ) ) ).

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{PAST_TIME} (PRO it;{it}))
                           (VBD;_Ipr_ came;{come[to]})
                           (PP-CLR (P-ROLE to;{to})
                                   (NP (D the;{the})
                                       (NPR Southern;{Southern})
                                       (NPR Song;{Song})
                                       (N dynasty;{dynasty})))))
          (PUNC ,)
          (NP-SBJ (NPR Soukou;{Soukou})
                  (NPR DAIE;{Daie})
                  (PUNC ,)
                  (IP-PPL (NP-PRD (D a;{a})
                                  (N disciple;{disciple})
                                  (PP (P-ROLE of;{of})
                                      (NP (NPR Kokugon;{Kokugon})
                                          (NPR ENGO;{Engo})))
                                  (IP-REL (NP-SBJ (RPRO who;{who}))
                                          (VBD;_Ipr_ belonged;{belong[to]})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (NPR Yougi;{Yougi})
                                                      (N sect;{sect})))))))
          (PUNC ,)
          (VBD;_Tn_ started;{start})
          (NP-OB1 (D the;{the})
                  (NPR Daikan;{Daikan})
                  (N sect;{sect})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Zhejiang;{Zhejiang})
                          (N province;{province})))
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBD;_Ln_ became;{become})
                          (NP-PRD (D a;{a})
                                  (ADJP (ADJ major;{major}))
                                  (N sect;{sect})
                                  (PP (P-ROLE in;{in})
                                      (NP (D the;{the})
                                          (NPR Rinzai;{Rinzai})
                                          (NPR School;{School}))))))
          (PUNC .))
  (ID 10_a_kyoto_2;BDS_00002;10))