75_a_kyoto_2
Enkaku-ji Temple was passed from Sogen MUGAKU to Kennichi KOUHOU and Soseki MUSOU, and was at one time the center of Japanese Zen.
arc(r_0075_0003__was, r_0075_0004__passed, scope).
arc(r_0075_0004__passed, r_0075_0001__Enkaku__hyphen__ji_r_0075_0002__Temple, arg1).
arc(r_0075_0004__passed, r_0075_0006__Sogen_r_0075_0007__MUGAKU, r_0075_0005__from_nim19).
arc(r_0075_0004__passed, r_0075_0011__and, r_0075_0008__to_nim27).
arc(r_0075_0004__passed, z_000_75_a_kyoto_2_12, arg0).
arc(r_0075_0011__and, r_0075_0009__Kennichi_r_0075_0010__KOUHOU, conj1).
arc(r_0075_0011__and, r_0075_0012__Soseki_r_0075_0013__MUSOU, conj2).
arc(r_0075_0015__and, r_0075_0003__was, conj1).
arc(r_0075_0015__and, r_0075_0016__was, conj2).
arc(r_0075_0016__was, r_0075_0001__Enkaku__hyphen__ji_r_0075_0002__Temple, arg0).
arc(r_0075_0016__was, r_0075_0018__one_r_0075_0019__time, r_0075_0017__at_nim53).
arc(r_0075_0016__was, r_0075_0020__the_r_0075_0021__center, prd).
arc(r_0075_0020__the_r_0075_0021__center, r_0075_0024__Zen, r_0075_0022__of).
arc(r_0075_0024__Zen, r_0075_0023__Japanese, attrib67).
fof(formula,axiom,
? [R_75_15_AND,R_75_3_WAS_PASSED,Z_75_A_KYOTO_2_12,R_75_6_SOGEN_MUGAKU,R_75_11_AND,R_75_9_KENNICHI_KOUHOU,R_75_12_SOSEKI_MUSOU,R_75_16_WAS,R_75_1_ENKAKU_HYPHEN_JI_TEMPLE,R_75_20_THE_CENTER,R_75_24_ZEN,R_75_23_JAPANESE,R_75_18_ONE_TIME] :
( sogen_MUGAKU(R_75_6_SOGEN_MUGAKU)
& kennichi_KOUHOU(R_75_9_KENNICHI_KOUHOU)
& soseki_MUSOU(R_75_12_SOSEKI_MUSOU)
& enkaku_hyphen_ji_Temple(R_75_1_ENKAKU_HYPHEN_JI_TEMPLE)
& japanese(R_75_23_JAPANESE)
& one_time(R_75_18_ONE_TIME)
& and(R_75_15_AND)
& conj1(R_75_15_AND,R_75_3_WAS_PASSED)
& was_passed(R_75_3_WAS_PASSED,Z_75_A_KYOTO_2_12,R_75_1_ENKAKU_HYPHEN_JI_TEMPLE)
& from_nim19(R_75_3_WAS_PASSED,R_75_6_SOGEN_MUGAKU)
& to_nim27(R_75_3_WAS_PASSED,R_75_11_AND)
& and(R_75_11_AND)
& conj1(R_75_11_AND,R_75_9_KENNICHI_KOUHOU)
& conj2(R_75_11_AND,R_75_12_SOSEKI_MUSOU)
& conj2(R_75_15_AND,R_75_16_WAS)
& was(R_75_16_WAS,R_75_1_ENKAKU_HYPHEN_JI_TEMPLE,R_75_20_THE_CENTER)
& the_center(R_75_20_THE_CENTER)
& of(R_75_20_THE_CENTER,R_75_24_ZEN)
& zen(R_75_24_ZEN)
& attrib67(R_75_24_ZEN,R_75_23_JAPANESE)
& at_nim53(R_75_16_WAS,R_75_18_ONE_TIME) ) ).
( (IP-MAT (NP-SBJ (NPR Enkaku_<hyphen>_ji;{Enkaku_ji})
(NPR Temple;{Temple}))
(ILYR (ILYR (BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ passed;{pass})
(PP-NIM (P-ROLE from;{from})
(NP (NPR Sogen;{Sogen})
(NPR MUGAKU;{Mugaku})))
(PP-NIM (P-ROLE to;{to})
(NP (NLYR (NLYR (NPR Kennichi;{Kennichi})
(NPR KOUHOU;{Kouhou}))
(CONJP (CONJ and;{and})
(NLYR (NPR Soseki;{Soseki})
(NPR MUSOU;{Musou}))))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (BED;_Ln_ was;{be})
(PP-NIM (P-ROLE at;{at})
(NP (NUM one;{one})
(N time;{time})))
(NP-PRD (D the;{the})
(N center;{center})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ Japanese;{Japanese}))
(NPR Zen;{Zen})))))))
(PUNC .))
(ID 75_a_kyoto_2;BDS_00002;74))