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.

%3 r_0010_0001__When When r_0010_0003__came came r_0010_0001__When->r_0010_0003__came [restriction] r_0010_0025__started started r_0010_0001__When->r_0010_0025__started [scope] r_0010_0002__it it r_0010_0003__came->r_0010_0002__it [arg0] r_0010_0005__the_r_0010_0006__Southern_r_0010_0007__Song_r_0010_0008__dynasty the Southern Song dynasty r_0010_0003__came->r_0010_0005__the_r_0010_0006__Southern_r_0010_0007__Song_r_0010_0008__dynasty to [clr] r_0010_0010__Soukou_r_0010_0011__DAIE Soukou DAIE r_0010_0025__started->r_0010_0010__Soukou_r_0010_0011__DAIE [arg0] r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect the Daikan sect r_0010_0025__started->r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect [arg1] r_0010_0013__a_r_0010_0014__disciple a disciple r_0010_0016__Kokugon_r_0010_0017__ENGO Kokugon ENGO r_0010_0013__a_r_0010_0014__disciple->r_0010_0016__Kokugon_r_0010_0017__ENGO of r_0010_0019__belonged belonged r_0010_0019__belonged->r_0010_0013__a_r_0010_0014__disciple [arg0] r_0010_0021__the_r_0010_0022__Yougi_r_0010_0023__sect the Yougi sect r_0010_0019__belonged->r_0010_0021__the_r_0010_0022__Yougi_r_0010_0023__sect to [clr] r_0010_0030__Zhejiang_r_0010_0031__province Zhejiang province r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect->r_0010_0030__Zhejiang_r_0010_0031__province in r_0010_0034__became became r_0010_0034__became->r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect [arg0] r_0010_0035__a_r_0010_0037__sect a sect r_0010_0034__became->r_0010_0035__a_r_0010_0037__sect [prd] r_0010_0036__major major r_0010_0035__a_r_0010_0037__sect->r_0010_0036__major [attrib] r_0010_0039__the_r_0010_0040__Rinzai_r_0010_0041__School the Rinzai School r_0010_0035__a_r_0010_0037__sect->r_0010_0039__the_r_0010_0040__Rinzai_r_0010_0041__School in z_000_10_a_kyoto_2_32 z_000_10_a_kyoto_2_32->r_0010_0013__a_r_0010_0014__disciple [prd] z_000_10_a_kyoto_2_32->r_0010_0010__Soukou_r_0010_0011__DAIE [arg0]
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).



%3 r_0010_0001__When When r_0010_0003__came came r_0010_0001__When->r_0010_0003__came [restriction] r_0010_0025__started started r_0010_0001__When->r_0010_0025__started [scope] r_0010_0002__it it r_0010_0003__came->r_0010_0002__it [arg0] r_0010_0005__the_r_0010_0006__Southern_r_0010_0007__Song_r_0010_0008__dynasty the Southern Song dynasty r_0010_0003__came->r_0010_0005__the_r_0010_0006__Southern_r_0010_0007__Song_r_0010_0008__dynasty to [clr] r_0010_0010__Soukou_r_0010_0011__DAIE Soukou DAIE r_0010_0025__started->r_0010_0010__Soukou_r_0010_0011__DAIE [arg0] r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect the Daikan sect r_0010_0025__started->r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect [arg1] r_0010_0013__a_r_0010_0014__disciple a disciple r_0010_0016__Kokugon_r_0010_0017__ENGO Kokugon ENGO r_0010_0013__a_r_0010_0014__disciple->r_0010_0016__Kokugon_r_0010_0017__ENGO of r_0010_0019__belonged belonged r_0010_0019__belonged->r_0010_0013__a_r_0010_0014__disciple [arg0] r_0010_0021__the_r_0010_0022__Yougi_r_0010_0023__sect the Yougi sect r_0010_0019__belonged->r_0010_0021__the_r_0010_0022__Yougi_r_0010_0023__sect to [clr] r_0010_0030__Zhejiang_r_0010_0031__province Zhejiang province r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect->r_0010_0030__Zhejiang_r_0010_0031__province in r_0010_0034__became became r_0010_0034__became->r_0010_0026__the_r_0010_0027__Daikan_r_0010_0028__sect [arg0] r_0010_0035__a_r_0010_0037__sect a sect r_0010_0034__became->r_0010_0035__a_r_0010_0037__sect [prd] r_0010_0036__major major r_0010_0035__a_r_0010_0037__sect->r_0010_0036__major [attrib] r_0010_0039__the_r_0010_0040__Rinzai_r_0010_0041__School the Rinzai School r_0010_0035__a_r_0010_0037__sect->r_0010_0039__the_r_0010_0040__Rinzai_r_0010_0041__School in z_000_10_a_kyoto_2_32 z_000_10_a_kyoto_2_32->r_0010_0013__a_r_0010_0014__disciple [prd] z_000_10_a_kyoto_2_32->r_0010_0010__Soukou_r_0010_0011__DAIE [arg0]
fof(formula,axiom,
    ? [R_10_19_BELONGED,R_10_21_THE_YOUGI_SECT,R_10_34_BECAME,R_10_26_THE_DAIKAN_SECT,R_10_30_ZHEJIANG_PROVINCE,R_10_35_A_SECT,R_10_36_MAJOR,R_10_39_THE_RINZAI_SCHOOL,Z_10_A_KYOTO_2_32,R_10_10_SOUKOU_DAIE,R_10_13_A_DISCIPLE,R_10_16_KOKUGON_ENGO] :
      ( the_Yougi_sect(R_10_21_THE_YOUGI_SECT)
      & zhejiang_province(R_10_30_ZHEJIANG_PROVINCE)
      & major(R_10_36_MAJOR)
      & the_Rinzai_School(R_10_39_THE_RINZAI_SCHOOL)
      & soukou_DAIE(R_10_10_SOUKOU_DAIE)
      & kokugon_ENGO(R_10_16_KOKUGON_ENGO)
      & ! [R_10_3_CAME,R_10_2_IT,R_10_5_THE_SOUTHERN_SONG_DYNASTY] :
          ( ( it(R_10_2_IT)
            & the_Southern_Song_dynasty(R_10_5_THE_SOUTHERN_SONG_DYNASTY)
            & came(R_10_3_CAME,R_10_2_IT)
            & to_clr14(R_10_3_CAME,R_10_5_THE_SOUTHERN_SONG_DYNASTY) )
         => ? [R_10_25_STARTED] : started(R_10_25_STARTED,R_10_10_SOUKOU_DAIE,R_10_26_THE_DAIKAN_SECT) )
      & belonged(R_10_19_BELONGED,R_10_13_A_DISCIPLE)
      & a_disciple(R_10_13_A_DISCIPLE)
      & of(R_10_13_A_DISCIPLE,R_10_16_KOKUGON_ENGO)
      & to_clr55(R_10_19_BELONGED,R_10_21_THE_YOUGI_SECT)
      & became(R_10_34_BECAME,R_10_26_THE_DAIKAN_SECT,R_10_35_A_SECT)
      & the_Daikan_sect(R_10_26_THE_DAIKAN_SECT)
      & in(R_10_26_THE_DAIKAN_SECT,R_10_30_ZHEJIANG_PROVINCE)
      & a_sect(R_10_35_A_SECT)
      & attrib92(R_10_35_A_SECT,R_10_36_MAJOR)
      & in(R_10_35_A_SECT,R_10_39_THE_RINZAI_SCHOOL)
      & z_10_a_kyoto_2_32(Z_10_A_KYOTO_2_32,R_10_10_SOUKOU_DAIE,R_10_13_A_DISCIPLE) ) ).



n10_a_kyoto_2 n10_a_kyoto_2_4 When n10_a_kyoto_2_8 it n10_a_kyoto_2_10 came n10_a_kyoto_2_13 to n10_a_kyoto_2_16 the n10_a_kyoto_2_18 Southern n10_a_kyoto_2_20 Song n10_a_kyoto_2_22 dynasty n10_a_kyoto_2_24 , n10_a_kyoto_2_27 Soukou n10_a_kyoto_2_29 DAIE n10_a_kyoto_2_31 , n10_a_kyoto_2_35 a n10_a_kyoto_2_37 disciple n10_a_kyoto_2_40 of n10_a_kyoto_2_43 Kokugon n10_a_kyoto_2_45 ENGO n10_a_kyoto_2_49 who n10_a_kyoto_2_51 belonged n10_a_kyoto_2_54 to n10_a_kyoto_2_57 the n10_a_kyoto_2_59 Yougi n10_a_kyoto_2_61 sect n10_a_kyoto_2_63 , n10_a_kyoto_2_65 started n10_a_kyoto_2_68 the n10_a_kyoto_2_70 Daikan n10_a_kyoto_2_72 sect n10_a_kyoto_2_75 in n10_a_kyoto_2_78 Zhejiang n10_a_kyoto_2_80 province n10_a_kyoto_2_82 , n10_a_kyoto_2_86 which n10_a_kyoto_2_88 became n10_a_kyoto_2_91 a n10_a_kyoto_2_94 major n10_a_kyoto_2_96 sect n10_a_kyoto_2_99 in n10_a_kyoto_2_102 the n10_a_kyoto_2_104 Rinzai n10_a_kyoto_2_106 School n10_a_kyoto_2_108 . n10_a_kyoto_2_1 IP-MAT n10_a_kyoto_2_2 PP-SCON n10_a_kyoto_2_1->n10_a_kyoto_2_2 n10_a_kyoto_2_23 PUNC n10_a_kyoto_2_1->n10_a_kyoto_2_23 n10_a_kyoto_2_25 NP-SBJ n10_a_kyoto_2_1->n10_a_kyoto_2_25 n10_a_kyoto_2_62 PUNC n10_a_kyoto_2_1->n10_a_kyoto_2_62 n10_a_kyoto_2_64 VBD;_Tn_ n10_a_kyoto_2_1->n10_a_kyoto_2_64 n10_a_kyoto_2_66 NP-OB1 n10_a_kyoto_2_1->n10_a_kyoto_2_66 n10_a_kyoto_2_107 PUNC n10_a_kyoto_2_1->n10_a_kyoto_2_107 n10_a_kyoto_2_3 P-CONN n10_a_kyoto_2_2->n10_a_kyoto_2_3 n10_a_kyoto_2_5 IP-ADV n10_a_kyoto_2_2->n10_a_kyoto_2_5 n10_a_kyoto_2_3->n10_a_kyoto_2_4 n10_a_kyoto_2_6 NP-SBJ n10_a_kyoto_2_5->n10_a_kyoto_2_6 n10_a_kyoto_2_9 VBD;_Ipr_ n10_a_kyoto_2_5->n10_a_kyoto_2_9 n10_a_kyoto_2_11 PP-CLR n10_a_kyoto_2_5->n10_a_kyoto_2_11 n10_a_kyoto_2_7 PRO n10_a_kyoto_2_6->n10_a_kyoto_2_7 n10_a_kyoto_2_7->n10_a_kyoto_2_8 n10_a_kyoto_2_9->n10_a_kyoto_2_10 n10_a_kyoto_2_12 P-ROLE n10_a_kyoto_2_11->n10_a_kyoto_2_12 n10_a_kyoto_2_14 NP n10_a_kyoto_2_11->n10_a_kyoto_2_14 n10_a_kyoto_2_12->n10_a_kyoto_2_13 n10_a_kyoto_2_15 D n10_a_kyoto_2_14->n10_a_kyoto_2_15 n10_a_kyoto_2_17 NPR n10_a_kyoto_2_14->n10_a_kyoto_2_17 n10_a_kyoto_2_19 NPR n10_a_kyoto_2_14->n10_a_kyoto_2_19 n10_a_kyoto_2_21 N n10_a_kyoto_2_14->n10_a_kyoto_2_21 n10_a_kyoto_2_15->n10_a_kyoto_2_16 n10_a_kyoto_2_17->n10_a_kyoto_2_18 n10_a_kyoto_2_19->n10_a_kyoto_2_20 n10_a_kyoto_2_21->n10_a_kyoto_2_22 n10_a_kyoto_2_23->n10_a_kyoto_2_24 n10_a_kyoto_2_26 NPR n10_a_kyoto_2_25->n10_a_kyoto_2_26 n10_a_kyoto_2_28 NPR n10_a_kyoto_2_25->n10_a_kyoto_2_28 n10_a_kyoto_2_30 PUNC n10_a_kyoto_2_25->n10_a_kyoto_2_30 n10_a_kyoto_2_32 IP-PPL n10_a_kyoto_2_25->n10_a_kyoto_2_32 n10_a_kyoto_2_26->n10_a_kyoto_2_27 n10_a_kyoto_2_28->n10_a_kyoto_2_29 n10_a_kyoto_2_30->n10_a_kyoto_2_31 n10_a_kyoto_2_33 NP-PRD n10_a_kyoto_2_32->n10_a_kyoto_2_33 n10_a_kyoto_2_34 D n10_a_kyoto_2_33->n10_a_kyoto_2_34 n10_a_kyoto_2_36 N n10_a_kyoto_2_33->n10_a_kyoto_2_36 n10_a_kyoto_2_38 PP n10_a_kyoto_2_33->n10_a_kyoto_2_38 n10_a_kyoto_2_46 IP-REL n10_a_kyoto_2_33->n10_a_kyoto_2_46 n10_a_kyoto_2_34->n10_a_kyoto_2_35 n10_a_kyoto_2_36->n10_a_kyoto_2_37 n10_a_kyoto_2_39 P-ROLE n10_a_kyoto_2_38->n10_a_kyoto_2_39 n10_a_kyoto_2_41 NP n10_a_kyoto_2_38->n10_a_kyoto_2_41 n10_a_kyoto_2_39->n10_a_kyoto_2_40 n10_a_kyoto_2_42 NPR n10_a_kyoto_2_41->n10_a_kyoto_2_42 n10_a_kyoto_2_44 NPR n10_a_kyoto_2_41->n10_a_kyoto_2_44 n10_a_kyoto_2_42->n10_a_kyoto_2_43 n10_a_kyoto_2_44->n10_a_kyoto_2_45 n10_a_kyoto_2_47 NP-SBJ n10_a_kyoto_2_46->n10_a_kyoto_2_47 n10_a_kyoto_2_50 VBD;_Ipr_ n10_a_kyoto_2_46->n10_a_kyoto_2_50 n10_a_kyoto_2_52 PP-CLR n10_a_kyoto_2_46->n10_a_kyoto_2_52 n10_a_kyoto_2_48 RPRO n10_a_kyoto_2_47->n10_a_kyoto_2_48 n10_a_kyoto_2_48->n10_a_kyoto_2_49 n10_a_kyoto_2_50->n10_a_kyoto_2_51 n10_a_kyoto_2_53 P-ROLE n10_a_kyoto_2_52->n10_a_kyoto_2_53 n10_a_kyoto_2_55 NP n10_a_kyoto_2_52->n10_a_kyoto_2_55 n10_a_kyoto_2_53->n10_a_kyoto_2_54 n10_a_kyoto_2_56 D n10_a_kyoto_2_55->n10_a_kyoto_2_56 n10_a_kyoto_2_58 NPR n10_a_kyoto_2_55->n10_a_kyoto_2_58 n10_a_kyoto_2_60 N n10_a_kyoto_2_55->n10_a_kyoto_2_60 n10_a_kyoto_2_56->n10_a_kyoto_2_57 n10_a_kyoto_2_58->n10_a_kyoto_2_59 n10_a_kyoto_2_60->n10_a_kyoto_2_61 n10_a_kyoto_2_62->n10_a_kyoto_2_63 n10_a_kyoto_2_64->n10_a_kyoto_2_65 n10_a_kyoto_2_67 D n10_a_kyoto_2_66->n10_a_kyoto_2_67 n10_a_kyoto_2_69 NPR n10_a_kyoto_2_66->n10_a_kyoto_2_69 n10_a_kyoto_2_71 N n10_a_kyoto_2_66->n10_a_kyoto_2_71 n10_a_kyoto_2_73 PP n10_a_kyoto_2_66->n10_a_kyoto_2_73 n10_a_kyoto_2_81 PUNC n10_a_kyoto_2_66->n10_a_kyoto_2_81 n10_a_kyoto_2_83 IP-REL n10_a_kyoto_2_66->n10_a_kyoto_2_83 n10_a_kyoto_2_67->n10_a_kyoto_2_68 n10_a_kyoto_2_69->n10_a_kyoto_2_70 n10_a_kyoto_2_71->n10_a_kyoto_2_72 n10_a_kyoto_2_74 P-ROLE n10_a_kyoto_2_73->n10_a_kyoto_2_74 n10_a_kyoto_2_76 NP n10_a_kyoto_2_73->n10_a_kyoto_2_76 n10_a_kyoto_2_74->n10_a_kyoto_2_75 n10_a_kyoto_2_77 NPR n10_a_kyoto_2_76->n10_a_kyoto_2_77 n10_a_kyoto_2_79 N n10_a_kyoto_2_76->n10_a_kyoto_2_79 n10_a_kyoto_2_77->n10_a_kyoto_2_78 n10_a_kyoto_2_79->n10_a_kyoto_2_80 n10_a_kyoto_2_81->n10_a_kyoto_2_82 n10_a_kyoto_2_84 NP-SBJ n10_a_kyoto_2_83->n10_a_kyoto_2_84 n10_a_kyoto_2_87 VBD;_Ln_ n10_a_kyoto_2_83->n10_a_kyoto_2_87 n10_a_kyoto_2_89 NP-PRD n10_a_kyoto_2_83->n10_a_kyoto_2_89 n10_a_kyoto_2_85 RPRO n10_a_kyoto_2_84->n10_a_kyoto_2_85 n10_a_kyoto_2_85->n10_a_kyoto_2_86 n10_a_kyoto_2_87->n10_a_kyoto_2_88 n10_a_kyoto_2_90 D n10_a_kyoto_2_89->n10_a_kyoto_2_90 n10_a_kyoto_2_92 ADJP n10_a_kyoto_2_89->n10_a_kyoto_2_92 n10_a_kyoto_2_95 N n10_a_kyoto_2_89->n10_a_kyoto_2_95 n10_a_kyoto_2_97 PP n10_a_kyoto_2_89->n10_a_kyoto_2_97 n10_a_kyoto_2_90->n10_a_kyoto_2_91 n10_a_kyoto_2_93 ADJ n10_a_kyoto_2_92->n10_a_kyoto_2_93 n10_a_kyoto_2_93->n10_a_kyoto_2_94 n10_a_kyoto_2_95->n10_a_kyoto_2_96 n10_a_kyoto_2_98 P-ROLE n10_a_kyoto_2_97->n10_a_kyoto_2_98 n10_a_kyoto_2_100 NP n10_a_kyoto_2_97->n10_a_kyoto_2_100 n10_a_kyoto_2_98->n10_a_kyoto_2_99 n10_a_kyoto_2_101 D n10_a_kyoto_2_100->n10_a_kyoto_2_101 n10_a_kyoto_2_103 NPR n10_a_kyoto_2_100->n10_a_kyoto_2_103 n10_a_kyoto_2_105 NPR n10_a_kyoto_2_100->n10_a_kyoto_2_105 n10_a_kyoto_2_101->n10_a_kyoto_2_102 n10_a_kyoto_2_103->n10_a_kyoto_2_104 n10_a_kyoto_2_105->n10_a_kyoto_2_106 n10_a_kyoto_2_107->n10_a_kyoto_2_108
( (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))