6_a_kyoto_2
As the name implies, Rinzai School started with its founder Gigen RINZAI at the end of the Tang dynasty, after the anti-Buddhist movement at the Kaishou era.

%3 r_0006_0001__As As r_0006_0004__implies implies r_0006_0001__As->r_0006_0004__implies [restriction] r_0006_0008__started started r_0006_0001__As->r_0006_0008__started [scope] r_0006_0002__the_r_0006_0003__name the name r_0006_0004__implies->r_0006_0002__the_r_0006_0003__name [arg0] r_0006_0006__Rinzai_r_0006_0007__School Rinzai School r_0006_0008__started->r_0006_0006__Rinzai_r_0006_0007__School [arg0] r_0006_0011__founder founder r_0006_0008__started->r_0006_0011__founder with [nim] r_0006_0015__the_r_0006_0016__end the end r_0006_0008__started->r_0006_0015__the_r_0006_0016__end at [nim] r_0006_0023__the_r_0006_0025__movement the movement r_0006_0008__started->r_0006_0023__the_r_0006_0025__movement after [nim] r_0006_0011__founder->r_0006_0006__Rinzai_r_0006_0007__School [gen] r_0006_0018__the_r_0006_0019__Tang_r_0006_0020__dynasty the Tang dynasty r_0006_0015__the_r_0006_0016__end->r_0006_0018__the_r_0006_0019__Tang_r_0006_0020__dynasty of r_0006_0024__anti__hyphen__Buddhist anti-Buddhist r_0006_0023__the_r_0006_0025__movement->r_0006_0024__anti__hyphen__Buddhist [attrib] r_0006_0027__the_r_0006_0028__Kaishou_r_0006_0029__era the Kaishou era r_0006_0023__the_r_0006_0025__movement->r_0006_0027__the_r_0006_0028__Kaishou_r_0006_0029__era at z_000_6_a_kyoto_2_31 z_000_6_a_kyoto_2_31->r_0006_0011__founder [arg0] r_0006_0012__Gigen_r_0006_0013__RINZAI Gigen RINZAI z_000_6_a_kyoto_2_31->r_0006_0012__Gigen_r_0006_0013__RINZAI [prd]
arc(r_0006_0001__As, r_0006_0004__implies, restriction).
arc(r_0006_0001__As, r_0006_0008__started, scope).
arc(r_0006_0004__implies, r_0006_0002__the_r_0006_0003__name, arg0).
arc(r_0006_0008__started, r_0006_0006__Rinzai_r_0006_0007__School, arg0).
arc(r_0006_0008__started, r_0006_0011__founder, r_0006_0009__with_nim25).
arc(r_0006_0008__started, r_0006_0015__the_r_0006_0016__end, r_0006_0014__at_nim40).
arc(r_0006_0008__started, r_0006_0023__the_r_0006_0025__movement, r_0006_0022__after_nim60).
arc(r_0006_0011__founder, r_0006_0006__Rinzai_r_0006_0007__School, gen).
arc(r_0006_0015__the_r_0006_0016__end, r_0006_0018__the_r_0006_0019__Tang_r_0006_0020__dynasty, r_0006_0017__of).
arc(r_0006_0023__the_r_0006_0025__movement, r_0006_0024__anti__hyphen__Buddhist, attrib63).
arc(r_0006_0023__the_r_0006_0025__movement, r_0006_0027__the_r_0006_0028__Kaishou_r_0006_0029__era, r_0006_0026__at).
arc(z_000_6_a_kyoto_2_31, r_0006_0011__founder, arg0).
arc(z_000_6_a_kyoto_2_31, r_0006_0012__Gigen_r_0006_0013__RINZAI, prd).



%3 z_000_6_a_kyoto_2_31 r_0006_0012__Gigen_r_0006_0013__RINZAI Gigen RINZAI z_000_6_a_kyoto_2_31->r_0006_0012__Gigen_r_0006_0013__RINZAI [prd] r_0006_0011__founder founder z_000_6_a_kyoto_2_31->r_0006_0011__founder [arg0] r_0006_0006__Rinzai_r_0006_0007__School Rinzai School r_0006_0011__founder->r_0006_0006__Rinzai_r_0006_0007__School [gen] r_0006_0023__the_r_0006_0025__movement the movement r_0006_0027__the_r_0006_0028__Kaishou_r_0006_0029__era the Kaishou era r_0006_0023__the_r_0006_0025__movement->r_0006_0027__the_r_0006_0028__Kaishou_r_0006_0029__era at r_0006_0024__anti__hyphen__Buddhist anti-Buddhist r_0006_0023__the_r_0006_0025__movement->r_0006_0024__anti__hyphen__Buddhist [attrib] r_0006_0015__the_r_0006_0016__end the end r_0006_0018__the_r_0006_0019__Tang_r_0006_0020__dynasty the Tang dynasty r_0006_0015__the_r_0006_0016__end->r_0006_0018__the_r_0006_0019__Tang_r_0006_0020__dynasty of r_0006_0008__started started r_0006_0008__started->r_0006_0011__founder with [nim] r_0006_0008__started->r_0006_0023__the_r_0006_0025__movement after [nim] r_0006_0008__started->r_0006_0015__the_r_0006_0016__end at [nim] r_0006_0008__started->r_0006_0006__Rinzai_r_0006_0007__School [arg0] r_0006_0004__implies implies r_0006_0002__the_r_0006_0003__name the name r_0006_0004__implies->r_0006_0002__the_r_0006_0003__name [arg0] r_0006_0001__As As r_0006_0001__As->r_0006_0008__started [conj2] r_0006_0001__As->r_0006_0004__implies [conj1]
fof(formula,axiom,
    ? [R_6_1_AS,R_6_4_IMPLIES,R_6_2_THE_NAME,R_6_8_STARTED,R_6_15_THE_END,R_6_18_THE_TANG_DYNASTY,R_6_23_THE_MOVEMENT,R_6_24_ANTI_HYPHEN_BUDDHIST,R_6_27_THE_KAISHOU_ERA,Z_6_A_KYOTO_2_31,R_6_11_FOUNDER,R_6_6_RINZAI_SCHOOL,R_6_12_GIGEN_RINZAI] :
      ( the_name(R_6_2_THE_NAME)
      & the_Tang_dynasty(R_6_18_THE_TANG_DYNASTY)
      & anti_hyphen_Buddhist(R_6_24_ANTI_HYPHEN_BUDDHIST)
      & the_Kaishou_era(R_6_27_THE_KAISHOU_ERA)
      & rinzai_School(R_6_6_RINZAI_SCHOOL)
      & gigen_RINZAI(R_6_12_GIGEN_RINZAI)
      & as(R_6_1_AS)
      & conj1(R_6_1_AS,R_6_4_IMPLIES)
      & implies(R_6_4_IMPLIES,R_6_2_THE_NAME)
      & conj2(R_6_1_AS,R_6_8_STARTED)
      & started(R_6_8_STARTED,R_6_6_RINZAI_SCHOOL)
      & with_nim25(R_6_8_STARTED,R_6_11_FOUNDER)
      & founder(R_6_11_FOUNDER)
      & gen(R_6_11_FOUNDER,R_6_6_RINZAI_SCHOOL)
      & at_nim40(R_6_8_STARTED,R_6_15_THE_END)
      & the_end(R_6_15_THE_END)
      & of(R_6_15_THE_END,R_6_18_THE_TANG_DYNASTY)
      & after_nim60(R_6_8_STARTED,R_6_23_THE_MOVEMENT)
      & the_movement(R_6_23_THE_MOVEMENT)
      & attrib63(R_6_23_THE_MOVEMENT,R_6_24_ANTI_HYPHEN_BUDDHIST)
      & at(R_6_23_THE_MOVEMENT,R_6_27_THE_KAISHOU_ERA)
      & z_6_a_kyoto_2_31(Z_6_A_KYOTO_2_31,R_6_11_FOUNDER,R_6_12_GIGEN_RINZAI) ) ).



n6_a_kyoto_2 n6_a_kyoto_2__1_1_1_1 As n6_a_kyoto_2__1_1_2_1_1_1 the n6_a_kyoto_2__1_1_2_1_2_1 name n6_a_kyoto_2__1_1_2_2_1 implies n6_a_kyoto_2__1_2_1 , n6_a_kyoto_2__1_3_1_1 Rinzai n6_a_kyoto_2__1_3_2_1 School n6_a_kyoto_2__1_4_1 started n6_a_kyoto_2__1_5_1_1 with n6_a_kyoto_2__1_5_2_1_1_1 its n6_a_kyoto_2__1_5_2_2_1 founder n6_a_kyoto_2__1_5_2_3_1_1_1 Gigen n6_a_kyoto_2__1_5_2_3_1_2_1 RINZAI n6_a_kyoto_2__1_6_1_1 at n6_a_kyoto_2__1_6_2_1_1 the n6_a_kyoto_2__1_6_2_2_1 end n6_a_kyoto_2__1_6_2_3_1_1 of n6_a_kyoto_2__1_6_2_3_2_1_1 the n6_a_kyoto_2__1_6_2_3_2_2_1 Tang n6_a_kyoto_2__1_6_2_3_2_3_1 dynasty n6_a_kyoto_2__1_7_1 , n6_a_kyoto_2__1_8_1_1 after n6_a_kyoto_2__1_8_2_1_1 the n6_a_kyoto_2__1_8_2_2_1_1 anti-Buddhist n6_a_kyoto_2__1_8_2_3_1 movement n6_a_kyoto_2__1_8_2_4_1_1 at n6_a_kyoto_2__1_8_2_4_2_1_1 the n6_a_kyoto_2__1_8_2_4_2_2_1 Kaishou n6_a_kyoto_2__1_8_2_4_2_3_1 era n6_a_kyoto_2__1_9_1 . n6_a_kyoto_2__1 IP-MAT n6_a_kyoto_2__1_1 PP-SCON n6_a_kyoto_2__1->n6_a_kyoto_2__1_1 n6_a_kyoto_2__1_2 PUNC n6_a_kyoto_2__1->n6_a_kyoto_2__1_2 n6_a_kyoto_2__1_3 NP-SBJ n6_a_kyoto_2__1->n6_a_kyoto_2__1_3 n6_a_kyoto_2__1_4 VBD;_I_ n6_a_kyoto_2__1->n6_a_kyoto_2__1_4 n6_a_kyoto_2__1_5 PP-NIM n6_a_kyoto_2__1->n6_a_kyoto_2__1_5 n6_a_kyoto_2__1_6 PP-NIM n6_a_kyoto_2__1->n6_a_kyoto_2__1_6 n6_a_kyoto_2__1_7 PUNC n6_a_kyoto_2__1->n6_a_kyoto_2__1_7 n6_a_kyoto_2__1_8 PP-NIM n6_a_kyoto_2__1->n6_a_kyoto_2__1_8 n6_a_kyoto_2__1_9 PUNC n6_a_kyoto_2__1->n6_a_kyoto_2__1_9 n6_a_kyoto_2__1_1_1 P-CONN n6_a_kyoto_2__1_1->n6_a_kyoto_2__1_1_1 n6_a_kyoto_2__1_1_2 IP-ADV n6_a_kyoto_2__1_1->n6_a_kyoto_2__1_1_2 n6_a_kyoto_2__1_1_1->n6_a_kyoto_2__1_1_1_1 n6_a_kyoto_2__1_1_2_1 NP-SBJ n6_a_kyoto_2__1_1_2->n6_a_kyoto_2__1_1_2_1 n6_a_kyoto_2__1_1_2_2 VBP;_I_ n6_a_kyoto_2__1_1_2->n6_a_kyoto_2__1_1_2_2 n6_a_kyoto_2__1_1_2_1_1 D n6_a_kyoto_2__1_1_2_1->n6_a_kyoto_2__1_1_2_1_1 n6_a_kyoto_2__1_1_2_1_2 N n6_a_kyoto_2__1_1_2_1->n6_a_kyoto_2__1_1_2_1_2 n6_a_kyoto_2__1_1_2_1_1->n6_a_kyoto_2__1_1_2_1_1_1 n6_a_kyoto_2__1_1_2_1_2->n6_a_kyoto_2__1_1_2_1_2_1 n6_a_kyoto_2__1_1_2_2->n6_a_kyoto_2__1_1_2_2_1 n6_a_kyoto_2__1_2->n6_a_kyoto_2__1_2_1 n6_a_kyoto_2__1_3_1 NPR n6_a_kyoto_2__1_3->n6_a_kyoto_2__1_3_1 n6_a_kyoto_2__1_3_2 NPR n6_a_kyoto_2__1_3->n6_a_kyoto_2__1_3_2 n6_a_kyoto_2__1_3_1->n6_a_kyoto_2__1_3_1_1 n6_a_kyoto_2__1_3_2->n6_a_kyoto_2__1_3_2_1 n6_a_kyoto_2__1_4->n6_a_kyoto_2__1_4_1 n6_a_kyoto_2__1_5_1 P-ROLE n6_a_kyoto_2__1_5->n6_a_kyoto_2__1_5_1 n6_a_kyoto_2__1_5_2 NP n6_a_kyoto_2__1_5->n6_a_kyoto_2__1_5_2 n6_a_kyoto_2__1_5_1->n6_a_kyoto_2__1_5_1_1 n6_a_kyoto_2__1_5_2_1 NP-GEN n6_a_kyoto_2__1_5_2->n6_a_kyoto_2__1_5_2_1 n6_a_kyoto_2__1_5_2_2 N n6_a_kyoto_2__1_5_2->n6_a_kyoto_2__1_5_2_2 n6_a_kyoto_2__1_5_2_3 IP-PPL n6_a_kyoto_2__1_5_2->n6_a_kyoto_2__1_5_2_3 n6_a_kyoto_2__1_5_2_1_1 PRO;_genm_ n6_a_kyoto_2__1_5_2_1->n6_a_kyoto_2__1_5_2_1_1 n6_a_kyoto_2__1_5_2_1_1->n6_a_kyoto_2__1_5_2_1_1_1 n6_a_kyoto_2__1_5_2_2->n6_a_kyoto_2__1_5_2_2_1 n6_a_kyoto_2__1_5_2_3_1 NP-PRD n6_a_kyoto_2__1_5_2_3->n6_a_kyoto_2__1_5_2_3_1 n6_a_kyoto_2__1_5_2_3_1_1 NPR n6_a_kyoto_2__1_5_2_3_1->n6_a_kyoto_2__1_5_2_3_1_1 n6_a_kyoto_2__1_5_2_3_1_2 NPR n6_a_kyoto_2__1_5_2_3_1->n6_a_kyoto_2__1_5_2_3_1_2 n6_a_kyoto_2__1_5_2_3_1_1->n6_a_kyoto_2__1_5_2_3_1_1_1 n6_a_kyoto_2__1_5_2_3_1_2->n6_a_kyoto_2__1_5_2_3_1_2_1 n6_a_kyoto_2__1_6_1 P-ROLE n6_a_kyoto_2__1_6->n6_a_kyoto_2__1_6_1 n6_a_kyoto_2__1_6_2 NP n6_a_kyoto_2__1_6->n6_a_kyoto_2__1_6_2 n6_a_kyoto_2__1_6_1->n6_a_kyoto_2__1_6_1_1 n6_a_kyoto_2__1_6_2_1 D n6_a_kyoto_2__1_6_2->n6_a_kyoto_2__1_6_2_1 n6_a_kyoto_2__1_6_2_2 N n6_a_kyoto_2__1_6_2->n6_a_kyoto_2__1_6_2_2 n6_a_kyoto_2__1_6_2_3 PP n6_a_kyoto_2__1_6_2->n6_a_kyoto_2__1_6_2_3 n6_a_kyoto_2__1_6_2_1->n6_a_kyoto_2__1_6_2_1_1 n6_a_kyoto_2__1_6_2_2->n6_a_kyoto_2__1_6_2_2_1 n6_a_kyoto_2__1_6_2_3_1 P-ROLE n6_a_kyoto_2__1_6_2_3->n6_a_kyoto_2__1_6_2_3_1 n6_a_kyoto_2__1_6_2_3_2 NP n6_a_kyoto_2__1_6_2_3->n6_a_kyoto_2__1_6_2_3_2 n6_a_kyoto_2__1_6_2_3_1->n6_a_kyoto_2__1_6_2_3_1_1 n6_a_kyoto_2__1_6_2_3_2_1 D n6_a_kyoto_2__1_6_2_3_2->n6_a_kyoto_2__1_6_2_3_2_1 n6_a_kyoto_2__1_6_2_3_2_2 NPR n6_a_kyoto_2__1_6_2_3_2->n6_a_kyoto_2__1_6_2_3_2_2 n6_a_kyoto_2__1_6_2_3_2_3 N n6_a_kyoto_2__1_6_2_3_2->n6_a_kyoto_2__1_6_2_3_2_3 n6_a_kyoto_2__1_6_2_3_2_1->n6_a_kyoto_2__1_6_2_3_2_1_1 n6_a_kyoto_2__1_6_2_3_2_2->n6_a_kyoto_2__1_6_2_3_2_2_1 n6_a_kyoto_2__1_6_2_3_2_3->n6_a_kyoto_2__1_6_2_3_2_3_1 n6_a_kyoto_2__1_7->n6_a_kyoto_2__1_7_1 n6_a_kyoto_2__1_8_1 P-ROLE n6_a_kyoto_2__1_8->n6_a_kyoto_2__1_8_1 n6_a_kyoto_2__1_8_2 NP n6_a_kyoto_2__1_8->n6_a_kyoto_2__1_8_2 n6_a_kyoto_2__1_8_1->n6_a_kyoto_2__1_8_1_1 n6_a_kyoto_2__1_8_2_1 D n6_a_kyoto_2__1_8_2->n6_a_kyoto_2__1_8_2_1 n6_a_kyoto_2__1_8_2_2 ADJP n6_a_kyoto_2__1_8_2->n6_a_kyoto_2__1_8_2_2 n6_a_kyoto_2__1_8_2_3 N n6_a_kyoto_2__1_8_2->n6_a_kyoto_2__1_8_2_3 n6_a_kyoto_2__1_8_2_4 PP n6_a_kyoto_2__1_8_2->n6_a_kyoto_2__1_8_2_4 n6_a_kyoto_2__1_8_2_1->n6_a_kyoto_2__1_8_2_1_1 n6_a_kyoto_2__1_8_2_2_1 ADJ n6_a_kyoto_2__1_8_2_2->n6_a_kyoto_2__1_8_2_2_1 n6_a_kyoto_2__1_8_2_2_1->n6_a_kyoto_2__1_8_2_2_1_1 n6_a_kyoto_2__1_8_2_3->n6_a_kyoto_2__1_8_2_3_1 n6_a_kyoto_2__1_8_2_4_1 P-ROLE n6_a_kyoto_2__1_8_2_4->n6_a_kyoto_2__1_8_2_4_1 n6_a_kyoto_2__1_8_2_4_2 NP n6_a_kyoto_2__1_8_2_4->n6_a_kyoto_2__1_8_2_4_2 n6_a_kyoto_2__1_8_2_4_1->n6_a_kyoto_2__1_8_2_4_1_1 n6_a_kyoto_2__1_8_2_4_2_1 D n6_a_kyoto_2__1_8_2_4_2->n6_a_kyoto_2__1_8_2_4_2_1 n6_a_kyoto_2__1_8_2_4_2_2 NPR n6_a_kyoto_2__1_8_2_4_2->n6_a_kyoto_2__1_8_2_4_2_2 n6_a_kyoto_2__1_8_2_4_2_3 N n6_a_kyoto_2__1_8_2_4_2->n6_a_kyoto_2__1_8_2_4_2_3 n6_a_kyoto_2__1_8_2_4_2_1->n6_a_kyoto_2__1_8_2_4_2_1_1 n6_a_kyoto_2__1_8_2_4_2_2->n6_a_kyoto_2__1_8_2_4_2_2_1 n6_a_kyoto_2__1_8_2_4_2_3->n6_a_kyoto_2__1_8_2_4_2_3_1 n6_a_kyoto_2__1_9->n6_a_kyoto_2__1_9_1
( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (N name;{name}))
                           (VBP;_I_ implies;{imply})))
          (PUNC ,)
          (NP-SBJ;{RINZAI_SCHOOL} (NPR Rinzai;{Rinzai})
                                  (NPR School;{School}))
          (VBD;_I_ started;{start})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN;{RINZAI_SCHOOL} (PRO;_genm_ its;{its}))
                      (N founder;{founder})
                      (IP-PPL (NP-PRD;{RINZAI} (NPR Gigen;{Gigen})
                                               (NPR RINZAI;{Rinzai})))))
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N end;{end})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (NPR Tang;{Tang})
                              (N dynasty;{dynasty})))))
          (PUNC ,)
          (PP-NIM (P-ROLE after;{after})
                  (NP (D the;{the})
                      (ADJP (ADJ anti_<hyphen>_Buddhist;{anti_buddhist}))
                      (N movement;{movement})
                      (PP (P-ROLE at;{at})
                          (NP (D the;{the})
                              (NPR Kaishou;{Kaishou})
                              (N era;{era})))))
          (PUNC .))
  (ID 6_a_kyoto_2;BDS_00002;6))