76_a_kyoto_2
Famous Zen masters after the Meiji period include Kousen IMAKITA, Souen SHAKU, and Sougen ASAHINA.
arc(r_0076_0002__Zen_r_0076_0003__masters, r_0076_0001__Famous, attrib3).
arc(r_0076_0002__Zen_r_0076_0003__masters, r_0076_0005__the_r_0076_0006__Meiji_r_0076_0007__period, r_0076_0004__after).
arc(r_0076_0008__include, r_0076_0002__Zen_r_0076_0003__masters, arg0).
arc(r_0076_0008__include, r_0076_0015__and, arg1).
arc(r_0076_0015__and, r_0076_0009__Kousen_r_0076_0010__IMAKITA, conj1).
arc(r_0076_0015__and, r_0076_0012__Souen_r_0076_0013__SHAKU, conj2).
arc(r_0076_0015__and, r_0076_0016__Sougen_r_0076_0017__ASAHINA, conj3).
fof(formula,axiom,
? [R_76_8_INCLUDE,R_76_2_ZEN_MASTERS,R_76_1_FAMOUS,R_76_5_THE_MEIJI_PERIOD,R_76_15_AND,R_76_9_KOUSEN_IMAKITA,R_76_12_SOUEN_SHAKU,R_76_16_SOUGEN_ASAHINA] :
( famous(R_76_1_FAMOUS)
& the_Meiji_period(R_76_5_THE_MEIJI_PERIOD)
& kousen_IMAKITA(R_76_9_KOUSEN_IMAKITA)
& souen_SHAKU(R_76_12_SOUEN_SHAKU)
& sougen_ASAHINA(R_76_16_SOUGEN_ASAHINA)
& include(R_76_8_INCLUDE,R_76_2_ZEN_MASTERS,R_76_15_AND)
& zen_masters(R_76_2_ZEN_MASTERS)
& attrib3(R_76_2_ZEN_MASTERS,R_76_1_FAMOUS)
& after(R_76_2_ZEN_MASTERS,R_76_5_THE_MEIJI_PERIOD)
& and(R_76_15_AND)
& conj1(R_76_15_AND,R_76_9_KOUSEN_IMAKITA)
& conj2(R_76_15_AND,R_76_12_SOUEN_SHAKU)
& conj3(R_76_15_AND,R_76_16_SOUGEN_ASAHINA) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ Famous;{famous}))
(NPR Zen;{Zen})
(NS masters;{master})
(PP (P-ROLE after;{after})
(NP (D the;{the})
(NPR Meiji;{Meiji})
(N period;{period}))))
(VBP;__ include;{include})
(NP-OB1 (NLYR (NLYR (NPR Kousen;{Kousen})
(NPR IMAKITA;{Imakita}))
(PUNC ,)
(CONJP (NLYR (NPR Souen;{Souen})
(NPR SHAKU;{Shaku})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NPR Sougen;{Sougen})
(NPR ASAHINA;{Asahina})))))
(PUNC .))
(ID 76_a_kyoto_2;BDS_00002;75))