118_a_kyoto_2
Head temple is Buttsu-ji in Mihara City, Hiroshima Prefecture.
arc(r_0118_0003__is, r_0118_0001__Head_r_0118_0002__temple, arg0).
arc(r_0118_0003__is, r_0118_0004__Buttsu__hyphen__ji, prd).
arc(r_0118_0004__Buttsu__hyphen__ji, r_0118_0006__Mihara_r_0118_0007__City_r_0118_0009__Hiroshima_r_0118_0010__Prefecture, r_0118_0005__in).
fof(formula,axiom,
? [R_118_3_IS,R_118_1_HEAD_TEMPLE,R_118_4_BUTTSU_HYPHEN_JI,R_118_6_MIHARA_CITY_HIROSHIMA_PREFECTURE] :
( head_temple(R_118_1_HEAD_TEMPLE)
& mihara_City_Hiroshima_Prefecture(R_118_6_MIHARA_CITY_HIROSHIMA_PREFECTURE)
& is(R_118_3_IS,R_118_1_HEAD_TEMPLE,R_118_4_BUTTSU_HYPHEN_JI)
& buttsu_hyphen_ji(R_118_4_BUTTSU_HYPHEN_JI)
& in(R_118_4_BUTTSU_HYPHEN_JI,R_118_6_MIHARA_CITY_HIROSHIMA_PREFECTURE) ) ).
( (IP-MAT (NP-SBJ (N Head;{head})
(N temple;{temple}))
(BEP;_Ln_ is;{be})
(NP-PRD (NPR Buttsu_<hyphen>_ji;{Buttsu_ji})
(PP (P-ROLE in;{in})
(NP (NPR Mihara;{Mihara})
(NPR City;{City})
(PUNC ,)
(NPR Hiroshima;{Hiroshima})
(NPR Prefecture;{Prefecture}))))
(PUNC .))
(ID 118_a_kyoto_2;BDS_00002;117))