TSPC 24_a_kyoto

24_a_kyoto_2
Also since the Song dynasty, the Zen schools changed to a Kannazen style in which masters give lectures using transcripts of Zen talks and the masters became not to display the same majesty as those in the Tang dynasty including Rinzai.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Also;{also}))
                      (PP-NIM (P-ROLE since;{since})
                              (NP (D the;{the})
                                  (NPR Song;{Song})
                                  (N dynasty;{dynasty})))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (NPR Zen;{Zen})
                              (NS schools;{school}))
                      (VBD;_Ipr_ changed;{change[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D a;{a})
                                  (NPR Kannazen;{Kannazen})
                                  (N style;{style})
                                  (IP-REL (PP-NIM (P-ROLE in;{in})
                                                  (NP (RPRO which;{which})))
                                          (NP-SBJ (NS masters;{master}))
                                          (VBP;_Tn_ give;{give})
                                          (NP-OB1 (N lectures;{lecture}))
                                          (PP-SCON (IP-PPL2 (VAG;_Tn_ using;{use})
                                                            (NP-OB1 (NS transcripts;{transcript})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (NPR Zen;{Zen})
                                                                            (NS talks;{talk}))))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NS masters;{master}))
                             (VBD;_cat_Vt_ became;{become})
                             (NEG not;{not})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Tn_ display;{display})
                                         (NP-OB1 (D the;{the})
                                                 (ADJP (ADJ same;{same}))
                                                 (N majesty;{majesty})
                                                 (PP (P-ROLE as;{as})
                                                     (NP (D;_nphd_ those;{those})
                                                         (PP (P-ROLE in;{in})
                                                             (NP (D the;{the})
                                                                 (NPR Tang;{Tang})
                                                                 (N dynasty;{dynasty})))
                                                         (IP-PPL (VAG;_Tn_ including;{include})
                                                                 (NP-OB1 (NPR Rinzai;{Rinzai}))))))))))
          (PUNC .))
  (ID 24_a_kyoto_2;BDS_00002;24))

arc(r_0024_0010__changed_r_0024_0011__to,r_0024_0001__Also,nim).
arc(r_0024_0010__changed_r_0024_0011__to,r_0024_0003__the_r_0024_0004__Song_r_0024_0005__dynasty,r_0024_0002__since__nim).
arc(r_0024_0010__changed_r_0024_0011__to,r_0024_0007__the_r_0024_0008__Zen_r_0024_0009__schools,arg0).
arc(r_0024_0010__changed_r_0024_0011__to,r_0024_0012__a_r_0024_0013__Kannazen_r_0024_0014__style,arg1).
arc(r_0024_0018__give,r_0024_0012__a_r_0024_0013__Kannazen_r_0024_0014__style,r_0024_0015__in__nim).
arc(r_0024_0018__give,r_0024_0017__masters,arg0).
arc(r_0024_0018__give,r_0024_0019__lectures,arg1).
arc(r_0024_0020__using,r_0024_0017__masters,arg0).
arc(r_0024_0020__using,r_0024_0021__transcripts,arg1).
arc(r_0024_0021__transcripts,r_0024_0023__Zen_r_0024_0024__talks,r_0024_0022__of).
arc(r_0024_0025__and,r_0024_0010__changed_r_0024_0011__to,conj1).
arc(r_0024_0025__and,r_0024_0029__not,conj2).
arc(r_0024_0028__became,r_0024_0026__the_r_0024_0027__masters,arg0).
arc(r_0024_0028__became,r_0024_0031__display,arg1).
arc(r_0024_0029__not,r_0024_0028__became,keep_scope).
arc(r_0024_0031__display,r_0024_0026__the_r_0024_0027__masters,arg0).
arc(r_0024_0031__display,r_0024_0032__the_r_0024_0034__majesty,arg1).
arc(r_0024_0032__the_r_0024_0034__majesty,r_0024_0033__same,attrib).
arc(r_0024_0032__the_r_0024_0034__majesty,r_0024_0036__those,r_0024_0035__as).
arc(r_0024_0036__those,r_0024_0038__the_r_0024_0039__Tang_r_0024_0040__dynasty,r_0024_0037__in).
arc(r_0024_0041__including,r_0024_0036__those,inv_arg0).
arc(r_0024_0041__including,r_0024_0042__Rinzai,arg1).
arc(z_0024_5007,r_0024_0018__give,scope).
arc(z_0024_5007,r_0024_0020__using,restriction).

fof(formula,axiom,
    ? [R_0024_0001__ALSO,R_0024_0003__THE_R_0024_0004__SONG_R_0024_0005__DYNASTY,R_0024_0007__THE_R_0024_0008__ZEN_R_0024_0009__SCHOOLS,R_0024_0012__A_R_0024_0013__KANNAZEN_R_0024_0014__STYLE,R_0024_0010__CHANGED_R_0024_0011__TO,R_0024_0025__AND,R_0024_0017__MASTERS,R_0024_0019__LECTURES,R_0024_0018__GIVE,R_0024_0023__ZEN_R_0024_0024__TALKS,R_0024_0021__TRANSCRIPTS,R_0024_0020__USING,Z_0024_5007] :
      ( r_0024_0001__Also(R_0024_0001__ALSO)
      & r_0024_0003__the_r_0024_0004__Song_r_0024_0005__dynasty(R_0024_0003__THE_R_0024_0004__SONG_R_0024_0005__DYNASTY)
      & r_0024_0007__the_r_0024_0008__Zen_r_0024_0009__schools(R_0024_0007__THE_R_0024_0008__ZEN_R_0024_0009__SCHOOLS)
      & r_0024_0012__a_r_0024_0013__Kannazen_r_0024_0014__style(R_0024_0012__A_R_0024_0013__KANNAZEN_R_0024_0014__STYLE)
      & r_0024_0017__masters(R_0024_0017__MASTERS)
      & r_0024_0019__lectures(R_0024_0019__LECTURES)
      & r_0024_0023__Zen_r_0024_0024__talks(R_0024_0023__ZEN_R_0024_0024__TALKS)
      & z_0024_5007(Z_0024_5007)
      & has_conj1(Z_0024_5007,R_0024_0020__USING)
      & r_0024_0020__using(R_0024_0020__USING)
      & has_arg1(R_0024_0020__USING,R_0024_0021__TRANSCRIPTS)
      & r_0024_0021__transcripts(R_0024_0021__TRANSCRIPTS)
      & has_r_0024_0022__of(R_0024_0021__TRANSCRIPTS,R_0024_0023__ZEN_R_0024_0024__TALKS)
      & has_arg0(R_0024_0020__USING,R_0024_0017__MASTERS)
      & has_conj2(Z_0024_5007,R_0024_0018__GIVE)
      & r_0024_0018__give(R_0024_0018__GIVE)
      & has_arg1(R_0024_0018__GIVE,R_0024_0019__LECTURES)
      & has_arg0(R_0024_0018__GIVE,R_0024_0017__MASTERS)
      & has_r_0024_0015__in__nim(R_0024_0018__GIVE,R_0024_0012__A_R_0024_0013__KANNAZEN_R_0024_0014__STYLE)
      & r_0024_0025__and(R_0024_0025__AND)
      & has_conj2(R_0024_0025__AND,R_0024_0029__NOT)
      & ~ ? [R_0024_0026__THE_R_0024_0027__MASTERS,R_0024_0033__SAME,R_0024_0038__THE_R_0024_0039__TANG_R_0024_0040__DYNASTY,R_0024_0042__RINZAI,R_0024_0041__INCLUDING,R_0024_0036__THOSE,R_0024_0032__THE_R_0024_0034__MAJESTY,R_0024_0031__DISPLAY,R_0024_0028__BECAME] :
            ( r_0024_0026__the_r_0024_0027__masters(R_0024_0026__THE_R_0024_0027__MASTERS)
            & r_0024_0033__same(R_0024_0033__SAME)
            & r_0024_0038__the_r_0024_0039__Tang_r_0024_0040__dynasty(R_0024_0038__THE_R_0024_0039__TANG_R_0024_0040__DYNASTY)
            & r_0024_0042__Rinzai(R_0024_0042__RINZAI)
            & r_0024_0028__became(R_0024_0028__BECAME)
            & has_arg1(R_0024_0028__BECAME,R_0024_0031__DISPLAY)
            & r_0024_0031__display(R_0024_0031__DISPLAY)
            & has_arg1(R_0024_0031__DISPLAY,R_0024_0032__THE_R_0024_0034__MAJESTY)
            & r_0024_0032__the_r_0024_0034__majesty(R_0024_0032__THE_R_0024_0034__MAJESTY)
            & has_r_0024_0035__as(R_0024_0032__THE_R_0024_0034__MAJESTY,R_0024_0036__THOSE)
            & r_0024_0036__those(R_0024_0036__THOSE)
            & has_inv_arg0(R_0024_0036__THOSE,R_0024_0041__INCLUDING)
            & r_0024_0041__including(R_0024_0041__INCLUDING)
            & has_arg1(R_0024_0041__INCLUDING,R_0024_0042__RINZAI)
            & has_r_0024_0037__in(R_0024_0036__THOSE,R_0024_0038__THE_R_0024_0039__TANG_R_0024_0040__DYNASTY)
            & has_attrib(R_0024_0032__THE_R_0024_0034__MAJESTY,R_0024_0033__SAME)
            & has_arg0(R_0024_0031__DISPLAY,R_0024_0026__THE_R_0024_0027__MASTERS)
            & has_arg0(R_0024_0028__BECAME,R_0024_0026__THE_R_0024_0027__MASTERS) )
      & has_conj1(R_0024_0025__AND,R_0024_0010__CHANGED_R_0024_0011__TO)
      & r_0024_0010__changed_r_0024_0011__to(R_0024_0010__CHANGED_R_0024_0011__TO)
      & has_arg1(R_0024_0010__CHANGED_R_0024_0011__TO,R_0024_0012__A_R_0024_0013__KANNAZEN_R_0024_0014__STYLE)
      & has_arg0(R_0024_0010__CHANGED_R_0024_0011__TO,R_0024_0007__THE_R_0024_0008__ZEN_R_0024_0009__SCHOOLS)
      & has_r_0024_0002__since__nim(R_0024_0010__CHANGED_R_0024_0011__TO,R_0024_0003__THE_R_0024_0004__SONG_R_0024_0005__DYNASTY)
      & has_nim(R_0024_0010__CHANGED_R_0024_0011__TO,R_0024_0001__ALSO) ) ).