TSPC 118_a_kyoto

118_a_kyoto_2
Head temple is Buttsu-ji in 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))

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_0118_0001__HEAD_R_0118_0002__TEMPLE,R_0118_0006__MIHARA_R_0118_0007__CITY_R_0118_0009__HIROSHIMA_R_0118_0010__PREFECTURE,R_0118_0004__BUTTSU__HYPHEN__JI,R_0118_0003__IS] :
      ( r_0118_0001__Head_r_0118_0002__temple(R_0118_0001__HEAD_R_0118_0002__TEMPLE)
      & r_0118_0006__Mihara_r_0118_0007__City_r_0118_0009__Hiroshima_r_0118_0010__Prefecture(R_0118_0006__MIHARA_R_0118_0007__CITY_R_0118_0009__HIROSHIMA_R_0118_0010__PREFECTURE)
      & r_0118_0003__is(R_0118_0003__IS)
      & has_prd(R_0118_0003__IS,R_0118_0004__BUTTSU__HYPHEN__JI)
      & r_0118_0004__Buttsu__hyphen__ji(R_0118_0004__BUTTSU__HYPHEN__JI)
      & has_r_0118_0005__in(R_0118_0004__BUTTSU__HYPHEN__JI,R_0118_0006__MIHARA_R_0118_0007__CITY_R_0118_0009__HIROSHIMA_R_0118_0010__PREFECTURE)
      & has_arg0(R_0118_0003__IS,R_0118_0001__HEAD_R_0118_0002__TEMPLE) ) ).