13_a_kyoto_2
Later the Rinzai school, which achieved the pinnacle of Zen teaching, was brought to Japan in the Kamakura period by Eisai, who went to China to study in the Southern Song period.

%3 r_0013_0007__achieved achieved r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school the Rinzai school r_0013_0007__achieved->r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school [arg0] r_0013_0008__the_r_0013_0009__pinnacle the pinnacle r_0013_0007__achieved->r_0013_0008__the_r_0013_0009__pinnacle [arg1] r_0013_0011__Zen_r_0013_0012__teaching Zen teaching r_0013_0008__the_r_0013_0009__pinnacle->r_0013_0011__Zen_r_0013_0012__teaching of r_0013_0014__was was r_0013_0001__Later Later r_0013_0014__was->r_0013_0001__Later [nim] r_0013_0015__brought brought r_0013_0014__was->r_0013_0015__brought [scope] r_0013_0015__brought->r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school [arg1] r_0013_0017__Japan Japan r_0013_0015__brought->r_0013_0017__Japan to [clr] r_0013_0019__the_r_0013_0020__Kamakura_r_0013_0021__period the Kamakura period r_0013_0015__brought->r_0013_0019__the_r_0013_0020__Kamakura_r_0013_0021__period in [nim] r_0013_0023__Eisai Eisai r_0013_0015__brought->r_0013_0023__Eisai [arg0] r_0013_0026__went went r_0013_0026__went->r_0013_0023__Eisai [arg0] r_0013_0028__China China r_0013_0026__went->r_0013_0028__China to [clr] r_0013_0029__to_r_0013_0030__study to study r_0013_0029__to_r_0013_0030__study->r_0013_0023__Eisai [arg0] r_0013_0032__the_r_0013_0033__Southern_r_0013_0034__Song_r_0013_0035__period the Southern Song period r_0013_0029__to_r_0013_0030__study->r_0013_0032__the_r_0013_0033__Southern_r_0013_0034__Song_r_0013_0035__period in [nim] z_000_13_a_kyoto_2_76 z_000_13_a_kyoto_2_76->r_0013_0026__went [scope] z_000_13_a_kyoto_2_76->r_0013_0029__to_r_0013_0030__study [restriction]
arc(r_0013_0007__achieved, r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school, arg0).
arc(r_0013_0007__achieved, r_0013_0008__the_r_0013_0009__pinnacle, arg1).
arc(r_0013_0008__the_r_0013_0009__pinnacle, r_0013_0011__Zen_r_0013_0012__teaching, r_0013_0010__of).
arc(r_0013_0014__was, r_0013_0001__Later, nim2).
arc(r_0013_0014__was, r_0013_0015__brought, scope).
arc(r_0013_0015__brought, r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school, arg1).
arc(r_0013_0015__brought, r_0013_0017__Japan, r_0013_0016__to_clr43).
arc(r_0013_0015__brought, r_0013_0019__the_r_0013_0020__Kamakura_r_0013_0021__period, r_0013_0018__in_nim49).
arc(r_0013_0015__brought, r_0013_0023__Eisai, arg0).
arc(r_0013_0026__went, r_0013_0023__Eisai, arg0).
arc(r_0013_0026__went, r_0013_0028__China, r_0013_0027__to_clr73).
arc(r_0013_0029__to_r_0013_0030__study, r_0013_0023__Eisai, arg0).
arc(r_0013_0029__to_r_0013_0030__study, r_0013_0032__the_r_0013_0033__Southern_r_0013_0034__Song_r_0013_0035__period, r_0013_0031__in_nim85).
arc(z_000_13_a_kyoto_2_76, r_0013_0026__went, scope).
arc(z_000_13_a_kyoto_2_76, r_0013_0029__to_r_0013_0030__study, restriction).



%3 r_0013_0007__achieved achieved r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school the Rinzai school r_0013_0007__achieved->r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school [arg0] r_0013_0008__the_r_0013_0009__pinnacle the pinnacle r_0013_0007__achieved->r_0013_0008__the_r_0013_0009__pinnacle [arg1] r_0013_0011__Zen_r_0013_0012__teaching Zen teaching r_0013_0008__the_r_0013_0009__pinnacle->r_0013_0011__Zen_r_0013_0012__teaching of r_0013_0014__was_r_0013_0015__brought was brought r_0013_0014__was_r_0013_0015__brought->r_0013_0002__the_r_0013_0003__Rinzai_r_0013_0004__school [arg1] r_0013_0001__Later Later r_0013_0014__was_r_0013_0015__brought->r_0013_0001__Later [nim] r_0013_0017__Japan Japan r_0013_0014__was_r_0013_0015__brought->r_0013_0017__Japan to [clr] r_0013_0019__the_r_0013_0020__Kamakura_r_0013_0021__period the Kamakura period r_0013_0014__was_r_0013_0015__brought->r_0013_0019__the_r_0013_0020__Kamakura_r_0013_0021__period in [nim] r_0013_0023__Eisai Eisai r_0013_0014__was_r_0013_0015__brought->r_0013_0023__Eisai [arg0] r_0013_0026__went went r_0013_0026__went->r_0013_0023__Eisai [arg0] r_0013_0028__China China r_0013_0026__went->r_0013_0028__China to [clr] r_0013_0029__to_r_0013_0030__study to study r_0013_0029__to_r_0013_0030__study->r_0013_0023__Eisai [arg0] r_0013_0032__the_r_0013_0033__Southern_r_0013_0034__Song_r_0013_0035__period the Southern Song period r_0013_0029__to_r_0013_0030__study->r_0013_0032__the_r_0013_0033__Southern_r_0013_0034__Song_r_0013_0035__period in [nim] z_000_13_a_kyoto_2_76 z_000_13_a_kyoto_2_76->r_0013_0026__went [conj2] z_000_13_a_kyoto_2_76->r_0013_0029__to_r_0013_0030__study [conj1]
fof(formula,axiom,
    ? [R_13_7_ACHIEVED,R_13_8_THE_PINNACLE,R_13_11_ZEN_TEACHING,R_13_14_WAS_BROUGHT,R_13_2_THE_RINZAI_SCHOOL,R_13_1_LATER,R_13_17_JAPAN,R_13_19_THE_KAMAKURA_PERIOD,Z_13_A_KYOTO_2_76,R_13_29_TO_STUDY,R_13_32_THE_SOUTHERN_SONG_PERIOD,R_13_26_WENT,R_13_23_EISAI,R_13_28_CHINA] :
      ( zen_teaching(R_13_11_ZEN_TEACHING)
      & the_Rinzai_school(R_13_2_THE_RINZAI_SCHOOL)
      & later(R_13_1_LATER)
      & japan(R_13_17_JAPAN)
      & the_Kamakura_period(R_13_19_THE_KAMAKURA_PERIOD)
      & the_Southern_Song_period(R_13_32_THE_SOUTHERN_SONG_PERIOD)
      & eisai(R_13_23_EISAI)
      & china(R_13_28_CHINA)
      & achieved(R_13_7_ACHIEVED,R_13_2_THE_RINZAI_SCHOOL,R_13_8_THE_PINNACLE)
      & the_pinnacle(R_13_8_THE_PINNACLE)
      & of(R_13_8_THE_PINNACLE,R_13_11_ZEN_TEACHING)
      & was_brought(R_13_14_WAS_BROUGHT,R_13_23_EISAI,R_13_2_THE_RINZAI_SCHOOL)
      & nim2(R_13_14_WAS_BROUGHT,R_13_1_LATER)
      & to_clr43(R_13_14_WAS_BROUGHT,R_13_17_JAPAN)
      & in_nim49(R_13_14_WAS_BROUGHT,R_13_19_THE_KAMAKURA_PERIOD)
      & z_13_a_kyoto_2_76(Z_13_A_KYOTO_2_76)
      & conj1(Z_13_A_KYOTO_2_76,R_13_29_TO_STUDY)
      & to_study(R_13_29_TO_STUDY,R_13_23_EISAI)
      & in_nim85(R_13_29_TO_STUDY,R_13_32_THE_SOUTHERN_SONG_PERIOD)
      & conj2(Z_13_A_KYOTO_2_76,R_13_26_WENT)
      & went(R_13_26_WENT,R_13_23_EISAI)
      & to_clr73(R_13_26_WENT,R_13_28_CHINA) ) ).



n13_a_kyoto_2 n13_a_kyoto_2_4 Later n13_a_kyoto_2_7 the n13_a_kyoto_2_9 Rinzai n13_a_kyoto_2_11 school n13_a_kyoto_2_13 , n13_a_kyoto_2_17 which n13_a_kyoto_2_19 achieved n13_a_kyoto_2_22 the n13_a_kyoto_2_24 pinnacle n13_a_kyoto_2_27 of n13_a_kyoto_2_30 Zen n13_a_kyoto_2_32 teaching n13_a_kyoto_2_34 , n13_a_kyoto_2_36 was n13_a_kyoto_2_39 brought n13_a_kyoto_2_42 to n13_a_kyoto_2_45 Japan n13_a_kyoto_2_48 in n13_a_kyoto_2_51 the n13_a_kyoto_2_53 Kamakura n13_a_kyoto_2_55 period n13_a_kyoto_2_58 by n13_a_kyoto_2_61 Eisai n13_a_kyoto_2_63 , n13_a_kyoto_2_67 who n13_a_kyoto_2_69 went n13_a_kyoto_2_72 to n13_a_kyoto_2_75 China n13_a_kyoto_2_79 to n13_a_kyoto_2_81 study n13_a_kyoto_2_84 in n13_a_kyoto_2_87 the n13_a_kyoto_2_89 Southern n13_a_kyoto_2_91 Song n13_a_kyoto_2_93 period n13_a_kyoto_2_95 . n13_a_kyoto_2_1 IP-MAT n13_a_kyoto_2_2 ADVP-NIM n13_a_kyoto_2_1->n13_a_kyoto_2_2 n13_a_kyoto_2_5 NP-SBJ n13_a_kyoto_2_1->n13_a_kyoto_2_5 n13_a_kyoto_2_33 PUNC n13_a_kyoto_2_1->n13_a_kyoto_2_33 n13_a_kyoto_2_35 BED;_cat_VePASS_ n13_a_kyoto_2_1->n13_a_kyoto_2_35 n13_a_kyoto_2_37 IP-PPL-CAT n13_a_kyoto_2_1->n13_a_kyoto_2_37 n13_a_kyoto_2_94 PUNC n13_a_kyoto_2_1->n13_a_kyoto_2_94 n13_a_kyoto_2_3 ADV n13_a_kyoto_2_2->n13_a_kyoto_2_3 n13_a_kyoto_2_3->n13_a_kyoto_2_4 n13_a_kyoto_2_6 D n13_a_kyoto_2_5->n13_a_kyoto_2_6 n13_a_kyoto_2_8 NPR n13_a_kyoto_2_5->n13_a_kyoto_2_8 n13_a_kyoto_2_10 N n13_a_kyoto_2_5->n13_a_kyoto_2_10 n13_a_kyoto_2_12 PUNC n13_a_kyoto_2_5->n13_a_kyoto_2_12 n13_a_kyoto_2_14 IP-REL n13_a_kyoto_2_5->n13_a_kyoto_2_14 n13_a_kyoto_2_6->n13_a_kyoto_2_7 n13_a_kyoto_2_8->n13_a_kyoto_2_9 n13_a_kyoto_2_10->n13_a_kyoto_2_11 n13_a_kyoto_2_12->n13_a_kyoto_2_13 n13_a_kyoto_2_15 NP-SBJ n13_a_kyoto_2_14->n13_a_kyoto_2_15 n13_a_kyoto_2_18 VBD;_Tn_ n13_a_kyoto_2_14->n13_a_kyoto_2_18 n13_a_kyoto_2_20 NP-OB1 n13_a_kyoto_2_14->n13_a_kyoto_2_20 n13_a_kyoto_2_16 RPRO n13_a_kyoto_2_15->n13_a_kyoto_2_16 n13_a_kyoto_2_16->n13_a_kyoto_2_17 n13_a_kyoto_2_18->n13_a_kyoto_2_19 n13_a_kyoto_2_21 D n13_a_kyoto_2_20->n13_a_kyoto_2_21 n13_a_kyoto_2_23 N n13_a_kyoto_2_20->n13_a_kyoto_2_23 n13_a_kyoto_2_25 PP n13_a_kyoto_2_20->n13_a_kyoto_2_25 n13_a_kyoto_2_21->n13_a_kyoto_2_22 n13_a_kyoto_2_23->n13_a_kyoto_2_24 n13_a_kyoto_2_26 P-ROLE n13_a_kyoto_2_25->n13_a_kyoto_2_26 n13_a_kyoto_2_28 NP n13_a_kyoto_2_25->n13_a_kyoto_2_28 n13_a_kyoto_2_26->n13_a_kyoto_2_27 n13_a_kyoto_2_29 NPR n13_a_kyoto_2_28->n13_a_kyoto_2_29 n13_a_kyoto_2_31 N n13_a_kyoto_2_28->n13_a_kyoto_2_31 n13_a_kyoto_2_29->n13_a_kyoto_2_30 n13_a_kyoto_2_31->n13_a_kyoto_2_32 n13_a_kyoto_2_33->n13_a_kyoto_2_34 n13_a_kyoto_2_35->n13_a_kyoto_2_36 n13_a_kyoto_2_38 VVN;_Tn.pr_ n13_a_kyoto_2_37->n13_a_kyoto_2_38 n13_a_kyoto_2_40 PP-CLR n13_a_kyoto_2_37->n13_a_kyoto_2_40 n13_a_kyoto_2_46 PP-NIM n13_a_kyoto_2_37->n13_a_kyoto_2_46 n13_a_kyoto_2_56 PP-LGS n13_a_kyoto_2_37->n13_a_kyoto_2_56 n13_a_kyoto_2_38->n13_a_kyoto_2_39 n13_a_kyoto_2_41 P-ROLE n13_a_kyoto_2_40->n13_a_kyoto_2_41 n13_a_kyoto_2_43 NP n13_a_kyoto_2_40->n13_a_kyoto_2_43 n13_a_kyoto_2_41->n13_a_kyoto_2_42 n13_a_kyoto_2_44 NPR n13_a_kyoto_2_43->n13_a_kyoto_2_44 n13_a_kyoto_2_44->n13_a_kyoto_2_45 n13_a_kyoto_2_47 P-ROLE n13_a_kyoto_2_46->n13_a_kyoto_2_47 n13_a_kyoto_2_49 NP n13_a_kyoto_2_46->n13_a_kyoto_2_49 n13_a_kyoto_2_47->n13_a_kyoto_2_48 n13_a_kyoto_2_50 D n13_a_kyoto_2_49->n13_a_kyoto_2_50 n13_a_kyoto_2_52 NPR n13_a_kyoto_2_49->n13_a_kyoto_2_52 n13_a_kyoto_2_54 N n13_a_kyoto_2_49->n13_a_kyoto_2_54 n13_a_kyoto_2_50->n13_a_kyoto_2_51 n13_a_kyoto_2_52->n13_a_kyoto_2_53 n13_a_kyoto_2_54->n13_a_kyoto_2_55 n13_a_kyoto_2_57 P-ROLE;_lgs_ n13_a_kyoto_2_56->n13_a_kyoto_2_57 n13_a_kyoto_2_59 NP n13_a_kyoto_2_56->n13_a_kyoto_2_59 n13_a_kyoto_2_57->n13_a_kyoto_2_58 n13_a_kyoto_2_60 NPR n13_a_kyoto_2_59->n13_a_kyoto_2_60 n13_a_kyoto_2_62 PUNC n13_a_kyoto_2_59->n13_a_kyoto_2_62 n13_a_kyoto_2_64 IP-REL n13_a_kyoto_2_59->n13_a_kyoto_2_64 n13_a_kyoto_2_60->n13_a_kyoto_2_61 n13_a_kyoto_2_62->n13_a_kyoto_2_63 n13_a_kyoto_2_65 NP-SBJ n13_a_kyoto_2_64->n13_a_kyoto_2_65 n13_a_kyoto_2_68 VBD;_Ipr_ n13_a_kyoto_2_64->n13_a_kyoto_2_68 n13_a_kyoto_2_70 PP-CLR n13_a_kyoto_2_64->n13_a_kyoto_2_70 n13_a_kyoto_2_76 PP-SCON n13_a_kyoto_2_64->n13_a_kyoto_2_76 n13_a_kyoto_2_66 RPRO n13_a_kyoto_2_65->n13_a_kyoto_2_66 n13_a_kyoto_2_66->n13_a_kyoto_2_67 n13_a_kyoto_2_68->n13_a_kyoto_2_69 n13_a_kyoto_2_71 P-ROLE n13_a_kyoto_2_70->n13_a_kyoto_2_71 n13_a_kyoto_2_73 NP n13_a_kyoto_2_70->n13_a_kyoto_2_73 n13_a_kyoto_2_71->n13_a_kyoto_2_72 n13_a_kyoto_2_74 NPR n13_a_kyoto_2_73->n13_a_kyoto_2_74 n13_a_kyoto_2_74->n13_a_kyoto_2_75 n13_a_kyoto_2_77 IP-INF2 n13_a_kyoto_2_76->n13_a_kyoto_2_77 n13_a_kyoto_2_78 TO n13_a_kyoto_2_77->n13_a_kyoto_2_78 n13_a_kyoto_2_80 VB;_I_ n13_a_kyoto_2_77->n13_a_kyoto_2_80 n13_a_kyoto_2_82 PP-NIM n13_a_kyoto_2_77->n13_a_kyoto_2_82 n13_a_kyoto_2_78->n13_a_kyoto_2_79 n13_a_kyoto_2_80->n13_a_kyoto_2_81 n13_a_kyoto_2_83 P-ROLE n13_a_kyoto_2_82->n13_a_kyoto_2_83 n13_a_kyoto_2_85 NP n13_a_kyoto_2_82->n13_a_kyoto_2_85 n13_a_kyoto_2_83->n13_a_kyoto_2_84 n13_a_kyoto_2_86 D n13_a_kyoto_2_85->n13_a_kyoto_2_86 n13_a_kyoto_2_88 NPR n13_a_kyoto_2_85->n13_a_kyoto_2_88 n13_a_kyoto_2_90 NPR n13_a_kyoto_2_85->n13_a_kyoto_2_90 n13_a_kyoto_2_92 N n13_a_kyoto_2_85->n13_a_kyoto_2_92 n13_a_kyoto_2_86->n13_a_kyoto_2_87 n13_a_kyoto_2_88->n13_a_kyoto_2_89 n13_a_kyoto_2_90->n13_a_kyoto_2_91 n13_a_kyoto_2_92->n13_a_kyoto_2_93 n13_a_kyoto_2_94->n13_a_kyoto_2_95
( (IP-MAT (ADVP-NIM (ADV Later;{later}))
          (NP-SBJ (D the;{the})
                  (NPR Rinzai;{Rinzai})
                  (N school;{school})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBD;_Tn_ achieved;{achieve})
                          (NP-OB1 (D the;{the})
                                  (N pinnacle;{pinnacle})
                                  (PP (P-ROLE of;{of})
                                      (NP (NPR Zen;{Zen})
                                          (N teaching;{teaching}))))))
          (PUNC ,)
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn.pr_ brought;{bring[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (NPR Japan;{Japan})))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (NPR Kamakura;{Kamakura})
                                  (N period;{period})))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NPR Eisai;{Eisai})
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO who;{who}))
                                          (VBD;_Ipr_ went;{go[to]})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (NPR China;{China})))
                                          (PP-SCON (IP-INF2 (TO to;{to})
                                                            (VB;_I_ study;{study})
                                                            (PP-NIM (P-ROLE in;{in})
                                                                    (NP (D the;{the})
                                                                        (NPR Southern;{Southern})
                                                                        (NPR Song;{Song})
                                                                        (N period;{period})))))))))
          (PUNC .))
  (ID 13_a_kyoto_2;BDS_00002;13))