77_a_kyoto_2
Daisetsu SUZUKI who introduced Zen to the West experienced Zen under the two masters, IMAKITA and Souen SHAKU as a lay buddhist.
arc(r_0077_0004__introduced, r_0077_0001__Daisetsu_r_0077_0002__SUZUKI, arg0).
arc(r_0077_0004__introduced, r_0077_0005__Zen, arg1).
arc(r_0077_0004__introduced, r_0077_0007__the_r_0077_0008__West, r_0077_0006__to_clr19).
arc(r_0077_0009__experienced, r_0077_0001__Daisetsu_r_0077_0002__SUZUKI, arg0).
arc(r_0077_0009__experienced, r_0077_0010__Zen, arg1).
arc(r_0077_0009__experienced, r_0077_0012__the_r_0077_0013__two_r_0077_0014__masters, r_0077_0011__under_nim32).
arc(r_0077_0009__experienced, r_0077_0021__a_r_0077_0023__buddhist, prd).
arc(r_0077_0017__and, r_0077_0016__IMAKITA, conj1).
arc(r_0077_0017__and, r_0077_0018__Souen_r_0077_0019__SHAKU, conj2).
arc(r_0077_0021__a_r_0077_0023__buddhist, r_0077_0022__lay, attrib61).
arc(z_000_77_a_kyoto_2_41, r_0077_0012__the_r_0077_0013__two_r_0077_0014__masters, arg0).
arc(z_000_77_a_kyoto_2_41, r_0077_0017__and, prd).
fof(formula,axiom,
? [R_77_4_INTRODUCED,R_77_5_ZEN,R_77_7_THE_WEST,R_77_9_EXPERIENCED,R_77_1_DAISETSU_SUZUKI,R_77_10_ZEN,R_77_21_A_BUDDHIST,R_77_22_LAY,Z_77_A_KYOTO_2_41,R_77_12_THE_TWO_MASTERS,R_77_17_AND,R_77_16_IMAKITA,R_77_18_SOUEN_SHAKU] :
( zen(R_77_5_ZEN)
& the_West(R_77_7_THE_WEST)
& daisetsu_SUZUKI(R_77_1_DAISETSU_SUZUKI)
& zen(R_77_10_ZEN)
& lay(R_77_22_LAY)
& the_two_masters(R_77_12_THE_TWO_MASTERS)
& iMAKITA(R_77_16_IMAKITA)
& souen_SHAKU(R_77_18_SOUEN_SHAKU)
& introduced(R_77_4_INTRODUCED,R_77_1_DAISETSU_SUZUKI,R_77_5_ZEN)
& to_clr19(R_77_4_INTRODUCED,R_77_7_THE_WEST)
& experienced(R_77_9_EXPERIENCED,R_77_1_DAISETSU_SUZUKI,R_77_10_ZEN,R_77_21_A_BUDDHIST)
& a_buddhist(R_77_21_A_BUDDHIST)
& attrib61(R_77_21_A_BUDDHIST,R_77_22_LAY)
& under_nim32(R_77_9_EXPERIENCED,R_77_12_THE_TWO_MASTERS)
& z_77_a_kyoto_2_41(Z_77_A_KYOTO_2_41,R_77_12_THE_TWO_MASTERS,R_77_17_AND)
& and(R_77_17_AND)
& conj1(R_77_17_AND,R_77_16_IMAKITA)
& conj2(R_77_17_AND,R_77_18_SOUEN_SHAKU) ) ).
( (IP-MAT (NP-SBJ (NPR Daisetsu;{Daisetsu})
(NPR SUZUKI;{Suzuki})
(IP-REL (NP-SBJ (RPRO who;{who}))
(VBD;__ introduced;{introduce})
(NP-OB1 (NPR Zen;{Zen}))
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(NPR West;{West})))))
(VBD;_Cn.n/a_ experienced;{experience[as]})
(NP-OB1 (NPR Zen;{Zen}))
(PP-NIM (P-ROLE under;{under})
(NP (D the;{the})
(NUM two;{two})
(NS masters;{master})
(PUNC ,)
(IP-PPL (NP-PRD (NLYR (NLYR (NPR IMAKITA;{Imakita}))
(CONJP (CONJ and;{and})
(NLYR (NPR Souen;{Souen})
(NPR SHAKU;{Shaku}))))))))
(PP-PRD (P-ROLE as;{as})
(NP (D a;{a})
(ADJP (ADJ lay;{lay}))
(N buddhist;{buddhist})))
(PUNC .))
(ID 77_a_kyoto_2;BDS_00002;76))