103_a_kyoto_2
Head temple is Eigen-ji in Higashioumi City, Shiga Prefecture.
( (IP-MAT (NP-SBJ (N Head;{head})
(N temple;{temple}))
(BEP;_Ln_ is;{be})
(NP-PRD (NPR Eigen_<hyphen>_ji;{Eigen_ji})
(PP (P-ROLE in;{in})
(NP (NPR Higashioumi;{Higashioumi})
(NPR City;{City})
(PUNC ,)
(NPR Shiga;{Shiga})
(NPR Prefecture;{Prefecture}))))
(PUNC .))
(ID 103_a_kyoto_2;BDS_00002;102))
arc(r_0103_0003__is,r_0103_0001__Head_r_0103_0002__temple,arg0).
arc(r_0103_0003__is,r_0103_0004__Eigen__hyphen__ji,prd).
arc(r_0103_0004__Eigen__hyphen__ji,r_0103_0006__Higashioumi_r_0103_0007__City_r_0103_0009__Shiga_r_0103_0010__Prefecture,r_0103_0005__in).
fof(formula,axiom,
? [R_0103_0001__HEAD_R_0103_0002__TEMPLE,R_0103_0006__HIGASHIOUMI_R_0103_0007__CITY_R_0103_0009__SHIGA_R_0103_0010__PREFECTURE,R_0103_0004__EIGEN__HYPHEN__JI,R_0103_0003__IS] :
( r_0103_0001__Head_r_0103_0002__temple(R_0103_0001__HEAD_R_0103_0002__TEMPLE)
& r_0103_0006__Higashioumi_r_0103_0007__City_r_0103_0009__Shiga_r_0103_0010__Prefecture(R_0103_0006__HIGASHIOUMI_R_0103_0007__CITY_R_0103_0009__SHIGA_R_0103_0010__PREFECTURE)
& r_0103_0003__is(R_0103_0003__IS)
& has_prd(R_0103_0003__IS,R_0103_0004__EIGEN__HYPHEN__JI)
& r_0103_0004__Eigen__hyphen__ji(R_0103_0004__EIGEN__HYPHEN__JI)
& has_r_0103_0005__in(R_0103_0004__EIGEN__HYPHEN__JI,R_0103_0006__HIGASHIOUMI_R_0103_0007__CITY_R_0103_0009__SHIGA_R_0103_0010__PREFECTURE)
& has_arg0(R_0103_0003__IS,R_0103_0001__HEAD_R_0103_0002__TEMPLE) ) ).