TSPC 2_a_kyoto

2_a_kyoto_2
Rinzai Zen Buddhism is one of the Chinese five Houses / seven Schools of Zen (Rinzai, Igyou, Soto, Unmon, Hogan) and Gigen RINZAI (<quest> - 867) of Tang was its founder.

arc(r_0002_0004__is, r_0002_0001__Rinzai_r_0002_0002__Zen_r_0002_0003__Buddhism, arg0).
arc(r_0002_0004__is, r_0002_0005__one, prd).
arc(r_0002_0005__one, r_0002_0007__the_r_0002_0009__five_r_0002_0010__Houses_r_0002_0012__seven_r_0002_0013__Schools, r_0002_0006__of).
arc(r_0002_0007__the_r_0002_0009__five_r_0002_0010__Houses_r_0002_0012__seven_r_0002_0013__Schools, r_0002_0008__Chinese, attrib22).
arc(r_0002_0007__the_r_0002_0009__five_r_0002_0010__Houses_r_0002_0012__seven_r_0002_0013__Schools, r_0002_0015__Zen, r_0002_0014__of).
arc(r_0002_0027__and, r_0002_0004__is, conj1).
arc(r_0002_0027__and, r_0002_0037__was, conj2).
arc(r_0002_0028__Gigen_r_0002_0029__RINZAI, r_0002_0036__Tang, r_0002_0035__of).
arc(r_0002_0037__was, r_0002_0028__Gigen_r_0002_0029__RINZAI, arg0).
arc(r_0002_0037__was, r_0002_0039__founder, prd).
arc(r_0002_0039__founder, r_0002_0001__Rinzai_r_0002_0002__Zen_r_0002_0003__Buddhism, gen).
arc(z_000_2_a_kyoto_2_43, r_0002_0007__the_r_0002_0009__five_r_0002_0010__Houses_r_0002_0012__seven_r_0002_0013__Schools, arg0).
arc(z_000_2_a_kyoto_2_43, z_000_2_a_kyoto_2_45, prd).
arc(z_000_2_a_kyoto_2_45, r_0002_0017__Rinzai, conj1).
arc(z_000_2_a_kyoto_2_45, r_0002_0019__Igyou, conj2).
arc(z_000_2_a_kyoto_2_45, r_0002_0021__Soto, conj3).
arc(z_000_2_a_kyoto_2_45, r_0002_0023__Unmon, conj4).
arc(z_000_2_a_kyoto_2_45, r_0002_0025__Hogan, conj5).
arc(z_000_2_a_kyoto_2_86, r_0002_0028__Gigen_r_0002_0029__RINZAI, arg0).
arc(z_000_2_a_kyoto_2_86, r_0002_0031___quest__r_0002_0033__867, prd).

fof(formula,axiom,
    ? [R_0002_0001__RINZAI_R_0002_0002__ZEN_R_0002_0003__BUDDHISM,R_0002_0008__CHINESE,R_0002_0015__ZEN,R_0002_0007__THE_R_0002_0009__FIVE_R_0002_0010__HOUSES_R_0002_0012__SEVEN_R_0002_0013__SCHOOLS,R_0002_0005__ONE,R_0002_0004__IS,R_0002_0036__TANG,R_0002_0028__GIGEN_R_0002_0029__RINZAI,R_0002_0039__FOUNDER,R_0002_0037__WAS,R_0002_0027__AND,R_0002_0017__RINZAI,R_0002_0019__IGYOU,R_0002_0021__SOTO,R_0002_0023__UNMON,R_0002_0025__HOGAN,Z_000_2_A_KYOTO_2_45,Z_000_2_A_KYOTO_2_43,R_0002_0031___QUEST__R_0002_0033__867,Z_000_2_A_KYOTO_2_86] :
      ( r_0002_0001__Rinzai_r_0002_0002__Zen_r_0002_0003__Buddhism(R_0002_0001__RINZAI_R_0002_0002__ZEN_R_0002_0003__BUDDHISM)
      & r_0002_0008__Chinese(R_0002_0008__CHINESE)
      & r_0002_0015__Zen(R_0002_0015__ZEN)
      & r_0002_0017__Rinzai(R_0002_0017__RINZAI)
      & r_0002_0019__Igyou(R_0002_0019__IGYOU)
      & r_0002_0021__Soto(R_0002_0021__SOTO)
      & r_0002_0023__Unmon(R_0002_0023__UNMON)
      & r_0002_0025__Hogan(R_0002_0025__HOGAN)
      & r_0002_0031___quest__r_0002_0033__867(R_0002_0031___QUEST__R_0002_0033__867)
      & r_0002_0036__Tang(R_0002_0036__TANG)
      & z_000_2_a_kyoto_2_86(Z_000_2_A_KYOTO_2_86)
      & has_prd(Z_000_2_A_KYOTO_2_86,R_0002_0031___QUEST__R_0002_0033__867)
      & has_arg0(Z_000_2_A_KYOTO_2_86,R_0002_0028__GIGEN_R_0002_0029__RINZAI)
      & r_0002_0028__Gigen_r_0002_0029__RINZAI(R_0002_0028__GIGEN_R_0002_0029__RINZAI)
      & has_r_0002_0035__of(R_0002_0028__GIGEN_R_0002_0029__RINZAI,R_0002_0036__TANG)
      & z_000_2_a_kyoto_2_43(Z_000_2_A_KYOTO_2_43)
      & has_prd(Z_000_2_A_KYOTO_2_43,Z_000_2_A_KYOTO_2_45)
      & z_000_2_a_kyoto_2_45(Z_000_2_A_KYOTO_2_45)
      & has_conj5(Z_000_2_A_KYOTO_2_45,R_0002_0025__HOGAN)
      & has_conj4(Z_000_2_A_KYOTO_2_45,R_0002_0023__UNMON)
      & has_conj3(Z_000_2_A_KYOTO_2_45,R_0002_0021__SOTO)
      & has_conj2(Z_000_2_A_KYOTO_2_45,R_0002_0019__IGYOU)
      & has_conj1(Z_000_2_A_KYOTO_2_45,R_0002_0017__RINZAI)
      & has_arg0(Z_000_2_A_KYOTO_2_43,R_0002_0007__THE_R_0002_0009__FIVE_R_0002_0010__HOUSES_R_0002_0012__SEVEN_R_0002_0013__SCHOOLS)
      & r_0002_0007__the_r_0002_0009__five_r_0002_0010__Houses_r_0002_0012__seven_r_0002_0013__Schools(R_0002_0007__THE_R_0002_0009__FIVE_R_0002_0010__HOUSES_R_0002_0012__SEVEN_R_0002_0013__SCHOOLS)
      & has_r_0002_0014__of(R_0002_0007__THE_R_0002_0009__FIVE_R_0002_0010__HOUSES_R_0002_0012__SEVEN_R_0002_0013__SCHOOLS,R_0002_0015__ZEN)
      & has_attrib22(R_0002_0007__THE_R_0002_0009__FIVE_R_0002_0010__HOUSES_R_0002_0012__SEVEN_R_0002_0013__SCHOOLS,R_0002_0008__CHINESE)
      & r_0002_0027__and(R_0002_0027__AND)
      & has_conj2(R_0002_0027__AND,R_0002_0037__WAS)
      & r_0002_0037__was(R_0002_0037__WAS)
      & has_prd(R_0002_0037__WAS,R_0002_0039__FOUNDER)
      & r_0002_0039__founder(R_0002_0039__FOUNDER)
      & has_gen(R_0002_0039__FOUNDER,R_0002_0001__RINZAI_R_0002_0002__ZEN_R_0002_0003__BUDDHISM)
      & has_arg0(R_0002_0037__WAS,R_0002_0028__GIGEN_R_0002_0029__RINZAI)
      & has_conj1(R_0002_0027__AND,R_0002_0004__IS)
      & r_0002_0004__is(R_0002_0004__IS)
      & has_prd(R_0002_0004__IS,R_0002_0005__ONE)
      & r_0002_0005__one(R_0002_0005__ONE)
      & has_r_0002_0006__of(R_0002_0005__ONE,R_0002_0007__THE_R_0002_0009__FIVE_R_0002_0010__HOUSES_R_0002_0012__SEVEN_R_0002_0013__SCHOOLS)
      & has_arg0(R_0002_0004__IS,R_0002_0001__RINZAI_R_0002_0002__ZEN_R_0002_0003__BUDDHISM) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{RINZAI_ZEN_BUDDHISM} (NPR Rinzai;{Rinzai})
                                                    (NPR Zen;{Zen})
                                                    (NPR Buddhism;{Buddhism}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (NUM one;{one})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (ADJP (ADJ Chinese;{chinese}))
                                      (NUM five;{five})
                                      (NS Houses;{house})
                                      (PUNC <sol>)
                                      (NUM seven;{seven})
                                      (NS Schools;{school})
                                      (PP (P-ROLE of;{of})
                                          (NP (NPR Zen;{Zen})))
                                      (PULB -LRB-)
                                      (IP-PPL (NP-PRD (NLYR (NLYR (NPR Rinzai;{Rinzai}))
                                                            (PUNC ,)
                                                            (CONJP (NLYR (NPR Igyou;{Igyou})))
                                                            (PUNC ,)
                                                            (CONJP (NLYR (NPR Soto;{Soto})))
                                                            (PUNC ,)
                                                            (CONJP (NLYR (NPR Unmon;{Unmon})))
                                                            (PUNC ,)
                                                            (CONJP (NLYR (NPR Hogan;{Hogan}))))))
                                      (PURB -RRB-)))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{GIGEN_RINZAI} (NPR Gigen;{Gigen})
                                                    (NPR RINZAI;{Rinzai})
                                                    (PULB -LRB-)
                                                    (IP-PPL (NP-PRD (NUM <quest>)
                                                                    (PUNC <hyphen>)
                                                                    (NUM 867)))
                                                    (PURB -RRB-)
                                                    (PP (P-ROLE of;{of})
                                                        (NP (NPR Tang;{Tang}))))
                             (BED;_Ln_ was;{be})
                             (NP-PRD (NP-GEN;{RINZAI_ZEN_BUDDHISM} (PRO;_genm_ its;{its}))
                                     (N founder;{founder})))))
          (PUNC .))
  (ID 2_a_kyoto_2;BDS_00002;2))