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_24_25_AND,R_24_10_CHANGED,R_24_7_THE_ZEN_SCHOOLS,R_24_1_ALSO,R_24_3_THE_SONG_DYNASTY,R_24_41_INCLUDING,R_24_36_THOSE,R_24_38_THE_TANG_DYNASTY,R_24_42_RINZAI,Z_24_A_KYOTO_2_53,R_24_20_USING,R_24_21_TRANSCRIPTS,R_24_23_ZEN_TALKS,R_24_18_GIVE,R_24_17_MASTERS,R_24_19_LECTURES,R_24_12_A_KANNAZEN_STYLE] :
      ( the_Zen_schools(R_24_7_THE_ZEN_SCHOOLS)
      & also(R_24_1_ALSO)
      & the_Song_dynasty(R_24_3_THE_SONG_DYNASTY)
      & the_Tang_dynasty(R_24_38_THE_TANG_DYNASTY)
      & rinzai(R_24_42_RINZAI)
      & zen_talks(R_24_23_ZEN_TALKS)
      & masters(R_24_17_MASTERS)
      & lectures(R_24_19_LECTURES)
      & a_Kannazen_style(R_24_12_A_KANNAZEN_STYLE)
      & and(R_24_25_AND)
      & conj1(R_24_25_AND,R_24_10_CHANGED)
      & changed(R_24_10_CHANGED,R_24_7_THE_ZEN_SCHOOLS)
      & nim4(R_24_10_CHANGED,R_24_1_ALSO)
      & since_nim10(R_24_10_CHANGED,R_24_3_THE_SONG_DYNASTY)
      & to_clr31(R_24_10_CHANGED,R_24_12_A_KANNAZEN_STYLE)
      & conj2(R_24_25_AND,R_24_29_NOT)
      & ~ ? [R_24_28_BECAME_TO_DISPLAY,R_24_26_THE_MASTERS,R_24_32_THE_MAJESTY,R_24_33_SAME] :
            ( the_masters(R_24_26_THE_MASTERS)
            & same(R_24_33_SAME)
            & became_to_display(R_24_28_BECAME_TO_DISPLAY,R_24_26_THE_MASTERS,R_24_32_THE_MAJESTY)
            & the_majesty(R_24_32_THE_MAJESTY)
            & attrib89(R_24_32_THE_MAJESTY,R_24_33_SAME)
            & as(R_24_32_THE_MAJESTY,R_24_36_THOSE) )
      & including(R_24_41_INCLUDING,R_24_36_THOSE,R_24_42_RINZAI)
      & those(R_24_36_THOSE)
      & in(R_24_36_THOSE,R_24_38_THE_TANG_DYNASTY)
      & z_24_a_kyoto_2_53(Z_24_A_KYOTO_2_53)
      & conj1(Z_24_A_KYOTO_2_53,R_24_20_USING)
      & using(R_24_20_USING,R_24_17_MASTERS,R_24_21_TRANSCRIPTS)
      & transcripts(R_24_21_TRANSCRIPTS)
      & of(R_24_21_TRANSCRIPTS,R_24_23_ZEN_TALKS)
      & conj2(Z_24_A_KYOTO_2_53,R_24_18_GIVE)
      & give(R_24_18_GIVE,R_24_17_MASTERS,R_24_19_LECTURES)
      & in_nim42(R_24_18_GIVE,R_24_12_A_KANNAZEN_STYLE) ) ).

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