TSPC 3_a_kyoto

3_a_kyoto_2
He was known as “RINZAI of Katu (meaning to help wake up the sleeping mind)” and “General RINZAI”, and rose to the top of Chinese Zen with his distinctive style.

arc(r_0003_0002__was, r_0003_0003__known, scope).
arc(r_0003_0003__known, r_0003_0001__He, arg1).
arc(r_0003_0003__known, r_0003_0020__and, prd).
arc(r_0003_0003__known, z_000_3_a_kyoto_2_10, arg0).
arc(r_0003_0006__RINZAI, r_0003_0008__Katu, r_0003_0007__of).
arc(r_0003_0010__meaning, r_0003_0006__RINZAI, arg0).
arc(r_0003_0010__meaning, r_0003_0011__to_r_0003_0012__help, arg1).
arc(r_0003_0011__to_r_0003_0012__help, r_0003_0013__wake_r_0003_0014__up, scope).
arc(r_0003_0013__wake_r_0003_0014__up, r_0003_0006__RINZAI, arg0).
arc(r_0003_0013__wake_r_0003_0014__up, r_0003_0015__the_r_0003_0017__mind, arg1).
arc(r_0003_0015__the_r_0003_0017__mind, r_0003_0016__sleeping, attrib48).
arc(r_0003_0020__and, r_0003_0006__RINZAI, conj1).
arc(r_0003_0020__and, r_0003_0022__General_r_0003_0023__RINZAI, conj2).
arc(r_0003_0026__and, r_0003_0002__was, conj1).
arc(r_0003_0026__and, r_0003_0027__rose, conj2).
arc(r_0003_0027__rose, r_0003_0001__He, arg0).
arc(r_0003_0027__rose, r_0003_0029__the_r_0003_0030__top, r_0003_0028__to_nim80).
arc(r_0003_0027__rose, r_0003_0037__style, r_0003_0034__with_nim97).
arc(r_0003_0029__the_r_0003_0030__top, r_0003_0033__Zen, r_0003_0031__of).
arc(r_0003_0033__Zen, r_0003_0032__Chinese, attrib89).
arc(r_0003_0037__style, r_0003_0001__He, gen).
arc(r_0003_0037__style, r_0003_0036__distinctive, attrib101).

fof(formula,axiom,
    ? [R_3_10_MEANING,R_3_11_TO_HELP_WAKE_UP,R_3_15_THE_MIND,R_3_16_SLEEPING,R_3_26_AND,R_3_2_WAS_KNOWN,Z_3_A_KYOTO_2_10,R_3_20_AND,R_3_6_RINZAI,R_3_8_KATU,R_3_22_GENERAL_RINZAI,R_3_27_ROSE,R_3_29_THE_TOP,R_3_33_ZEN,R_3_32_CHINESE,R_3_37_STYLE,R_3_36_DISTINCTIVE,R_3_1_HE] :
      ( sleeping(R_3_16_SLEEPING)
      & katu(R_3_8_KATU)
      & general_RINZAI(R_3_22_GENERAL_RINZAI)
      & chinese(R_3_32_CHINESE)
      & distinctive(R_3_36_DISTINCTIVE)
      & he(R_3_1_HE)
      & meaning(R_3_10_MEANING,R_3_6_RINZAI,R_3_11_TO_HELP_WAKE_UP)
      & rINZAI(R_3_6_RINZAI)
      & of(R_3_6_RINZAI,R_3_8_KATU)
      & to_help_wake_up(R_3_11_TO_HELP_WAKE_UP,R_3_6_RINZAI,R_3_15_THE_MIND)
      & the_mind(R_3_15_THE_MIND)
      & attrib48(R_3_15_THE_MIND,R_3_16_SLEEPING)
      & and(R_3_26_AND)
      & conj1(R_3_26_AND,R_3_2_WAS_KNOWN)
      & was_known(R_3_2_WAS_KNOWN,Z_3_A_KYOTO_2_10,R_3_1_HE,R_3_20_AND)
      & and(R_3_20_AND)
      & conj1(R_3_20_AND,R_3_6_RINZAI)
      & conj2(R_3_20_AND,R_3_22_GENERAL_RINZAI)
      & conj2(R_3_26_AND,R_3_27_ROSE)
      & rose(R_3_27_ROSE,R_3_1_HE)
      & to_nim80(R_3_27_ROSE,R_3_29_THE_TOP)
      & the_top(R_3_29_THE_TOP)
      & of(R_3_29_THE_TOP,R_3_33_ZEN)
      & zen(R_3_33_ZEN)
      & attrib89(R_3_33_ZEN,R_3_32_CHINESE)
      & with_nim97(R_3_27_ROSE,R_3_37_STYLE)
      & style(R_3_37_STYLE)
      & attrib101(R_3_37_STYLE,R_3_36_DISTINCTIVE)
      & gen(R_3_37_STYLE,R_3_1_HE) ) ).

( (IP-MAT (NP-SBJ;{GIGEN_RINZAI} (PRO He;{he}))
          (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n/a_ known;{know[as]})
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (NLYR (NLYR (PULQ <ldquo>)
                                                          (NPR RINZAI;{Rinzai})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (NPR Katu;{Katu})))
                                                          (PULB -LRB-)
                                                          (IP-PPL (VAG;_Tt_ meaning;{mean})
                                                                  (IP-INF-OB1 (TO to;{to})
                                                                              (VB;_cat_Vi_ help;{help})
                                                                              (IP-INF-CAT (VB;_phr_Vn<=>p_ wake;{wake[up]})
                                                                                          (RP up;{up})
                                                                                          (NP-OB1 (D the;{the})
                                                                                                  (ADJP (ADJ sleeping;{sleeping}))
                                                                                                  (N mind;{mind})))))
                                                          (PURB -RRB-)
                                                          (PURQ <rdquo>))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (PULQ <ldquo>)
                                                                 (NPR General;{General})
                                                                 (NPR RINZAI;{Rinzai})
                                                                 (PURQ <rdquo>))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ rose;{rise})
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (D the;{the})
                                         (N top;{top})
                                         (PP (P-ROLE of;{of})
                                             (NP (ADJP (ADJ Chinese;{chinese}))
                                                 (NPR Zen;{Zen})))))
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (NP-GEN;{GIGEN_RINZAI} (PRO;_genm_ his;{his}))
                                         (ADJP (ADJ distinctive;{distinctive}))
                                         (N style;{style}))))))
          (PUNC .))
  (ID 3_a_kyoto_2;BDS_00002;3))