92_a_kyoto_2
Head temple is Kogaku-ji in Koushuu City, Yamanashi Prefecture.
( (IP-MAT (NP-SBJ (N Head;{head})
(N temple;{temple}))
(BEP;_Ln_ is;{be})
(NP-PRD (NPR Kogaku_<hyphen>_ji;{Kogaku_ji})
(PP (P-ROLE in;{in})
(NP (NPR Koushuu;{Koushuu})
(NPR City;{City})
(PUNC ,)
(NPR Yamanashi;{Yamanashi})
(NPR Prefecture;{Prefecture}))))
(PUNC .))
(ID 92_a_kyoto_2;BDS_00002;91))
arc(r_0092_0003__is,r_0092_0001__Head_r_0092_0002__temple,arg0).
arc(r_0092_0003__is,r_0092_0004__Kogaku__hyphen__ji,prd).
arc(r_0092_0004__Kogaku__hyphen__ji,r_0092_0006__Koushuu_r_0092_0007__City_r_0092_0009__Yamanashi_r_0092_0010__Prefecture,r_0092_0005__in).
fof(formula,axiom,
? [R_0092_0001__HEAD_R_0092_0002__TEMPLE,R_0092_0006__KOUSHUU_R_0092_0007__CITY_R_0092_0009__YAMANASHI_R_0092_0010__PREFECTURE,R_0092_0004__KOGAKU__HYPHEN__JI,R_0092_0003__IS] :
( r_0092_0001__Head_r_0092_0002__temple(R_0092_0001__HEAD_R_0092_0002__TEMPLE)
& r_0092_0006__Koushuu_r_0092_0007__City_r_0092_0009__Yamanashi_r_0092_0010__Prefecture(R_0092_0006__KOUSHUU_R_0092_0007__CITY_R_0092_0009__YAMANASHI_R_0092_0010__PREFECTURE)
& r_0092_0003__is(R_0092_0003__IS)
& has_prd(R_0092_0003__IS,R_0092_0004__KOGAKU__HYPHEN__JI)
& r_0092_0004__Kogaku__hyphen__ji(R_0092_0004__KOGAKU__HYPHEN__JI)
& has_r_0092_0005__in(R_0092_0004__KOGAKU__HYPHEN__JI,R_0092_0006__KOUSHUU_R_0092_0007__CITY_R_0092_0009__YAMANASHI_R_0092_0010__PREFECTURE)
& has_arg0(R_0092_0003__IS,R_0092_0001__HEAD_R_0092_0002__TEMPLE) ) ).