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.

arc(r_0024_0010__changed, r_0024_0001__Also, nim4).
arc(r_0024_0010__changed, r_0024_0003__the_r_0024_0004__Song_r_0024_0005__dynasty, r_0024_0002__since_nim10).
arc(r_0024_0010__changed, r_0024_0007__the_r_0024_0008__Zen_r_0024_0009__schools, arg0).
arc(r_0024_0010__changed, r_0024_0012__a_r_0024_0013__Kannazen_r_0024_0014__style, r_0024_0011__to_clr31).
arc(r_0024_0018__give, r_0024_0012__a_r_0024_0013__Kannazen_r_0024_0014__style, r_0024_0015__in_nim42).
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, conj1).
arc(r_0024_0025__and, r_0024_0029__not, conj2).
arc(r_0024_0028__became, r_0024_0030__to_r_0024_0031__display, scope).
arc(r_0024_0029__not, r_0024_0028__became, keep_scope).
arc(r_0024_0030__to_r_0024_0031__display, r_0024_0026__the_r_0024_0027__masters, arg0).
arc(r_0024_0030__to_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, attrib89).
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, arg0).
arc(r_0024_0041__including, r_0024_0042__Rinzai, arg1).
arc(z_000_24_a_kyoto_2_53, r_0024_0018__give, scope).
arc(z_000_24_a_kyoto_2_53, 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_0025__AND,R_0024_0038__THE_R_0024_0039__TANG_R_0024_0040__DYNASTY,R_0024_0036__THOSE,R_0024_0042__RINZAI,R_0024_0041__INCLUDING,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_000_24_A_KYOTO_2_53] :
      ( 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)
      & 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)
      & z_000_24_a_kyoto_2_53(Z_000_24_A_KYOTO_2_53)
      & has_conj1(Z_000_24_A_KYOTO_2_53,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_000_24_A_KYOTO_2_53,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_nim42(R_0024_0018__GIVE,R_0024_0012__A_R_0024_0013__KANNAZEN_R_0024_0014__STYLE)
      & r_0024_0041__including(R_0024_0041__INCLUDING)
      & has_arg1(R_0024_0041__INCLUDING,R_0024_0042__RINZAI)
      & has_arg0(R_0024_0041__INCLUDING,R_0024_0036__THOSE)
      & r_0024_0036__those(R_0024_0036__THOSE)
      & has_r_0024_0037__in(R_0024_0036__THOSE,R_0024_0038__THE_R_0024_0039__TANG_R_0024_0040__DYNASTY)
      & 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_0032__THE_R_0024_0034__MAJESTY,R_0024_0028__BECAME_R_0024_0030__TO_R_0024_0031__DISPLAY] :
            ( 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_0028__became_r_0024_0030__to_r_0024_0031__display(R_0024_0028__BECAME_R_0024_0030__TO_R_0024_0031__DISPLAY)
            & has_arg1(R_0024_0028__BECAME_R_0024_0030__TO_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)
            & has_attrib89(R_0024_0032__THE_R_0024_0034__MAJESTY,R_0024_0033__SAME)
            & has_arg0(R_0024_0028__BECAME_R_0024_0030__TO_R_0024_0031__DISPLAY,R_0024_0026__THE_R_0024_0027__MASTERS) )
      & has_conj1(R_0024_0025__AND,R_0024_0010__CHANGED)
      & r_0024_0010__changed(R_0024_0010__CHANGED)
      & has_r_0024_0011__to_clr31(R_0024_0010__CHANGED,R_0024_0012__A_R_0024_0013__KANNAZEN_R_0024_0014__STYLE)
      & has_arg0(R_0024_0010__CHANGED,R_0024_0007__THE_R_0024_0008__ZEN_R_0024_0009__SCHOOLS)
      & has_r_0024_0002__since_nim10(R_0024_0010__CHANGED,R_0024_0003__THE_R_0024_0004__SONG_R_0024_0005__DYNASTY)
      & has_nim4(R_0024_0010__CHANGED,R_0024_0001__ALSO) ) ).

( (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-CAT (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))