108_a_kyoto_2
Head temple is Hoko-ji in Inasa Town, Kita-ku, Hamamatsu City.
arc(r_0108_0003__is, r_0108_0001__Head_r_0108_0002__temple, arg0).
arc(r_0108_0003__is, r_0108_0004__Hoko__hyphen__ji, prd).
arc(r_0108_0004__Hoko__hyphen__ji, r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City, r_0108_0005__in).
arc(z_000_108_a_kyoto_2_22, r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City, arg0).
arc(z_000_108_a_kyoto_2_22, r_0108_0009__Kita__hyphen__ku, prd).
fof(formula,axiom,
? [R_0108_0001__HEAD_R_0108_0002__TEMPLE,R_0108_0006__INASA_R_0108_0007__TOWN_R_0108_0011__HAMAMATSU_R_0108_0012__CITY,R_0108_0004__HOKO__HYPHEN__JI,R_0108_0003__IS,R_0108_0009__KITA__HYPHEN__KU,Z_000_108_A_KYOTO_2_22] :
( r_0108_0001__Head_r_0108_0002__temple(R_0108_0001__HEAD_R_0108_0002__TEMPLE)
& r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City(R_0108_0006__INASA_R_0108_0007__TOWN_R_0108_0011__HAMAMATSU_R_0108_0012__CITY)
& r_0108_0009__Kita__hyphen__ku(R_0108_0009__KITA__HYPHEN__KU)
& z_000_108_a_kyoto_2_22(Z_000_108_A_KYOTO_2_22)
& has_prd(Z_000_108_A_KYOTO_2_22,R_0108_0009__KITA__HYPHEN__KU)
& has_arg0(Z_000_108_A_KYOTO_2_22,R_0108_0006__INASA_R_0108_0007__TOWN_R_0108_0011__HAMAMATSU_R_0108_0012__CITY)
& r_0108_0003__is(R_0108_0003__IS)
& has_prd(R_0108_0003__IS,R_0108_0004__HOKO__HYPHEN__JI)
& r_0108_0004__Hoko__hyphen__ji(R_0108_0004__HOKO__HYPHEN__JI)
& has_r_0108_0005__in(R_0108_0004__HOKO__HYPHEN__JI,R_0108_0006__INASA_R_0108_0007__TOWN_R_0108_0011__HAMAMATSU_R_0108_0012__CITY)
& has_arg0(R_0108_0003__IS,R_0108_0001__HEAD_R_0108_0002__TEMPLE) ) ).
( (IP-MAT (NP-SBJ (N Head;{head})
(N temple;{temple}))
(BEP;_Ln_ is;{be})
(NP-PRD (NPR Hoko_<hyphen>_ji;{Hoko_ji})
(PP (P-ROLE in;{in})
(NP (NPR Inasa;{Inasa})
(NPR Town;{Town})
(PUNC ,)
(IP-PPL (NP-PRD (NPR Kita_<hyphen>_ku;{Kita_ku})))
(PUNC ,)
(NPR Hamamatsu;{Hamamatsu})
(NPR City;{City}))))
(PUNC .))
(ID 108_a_kyoto_2;BDS_00002;107))