TSPC 108_a_kyoto

108_a_kyoto_2
Head temple is Hoko-ji in Inasa Town, Kita-ku, Hamamatsu City.

( (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 ,)
                          (PRN (NP (NPR Kita_<hyphen>_ku;{Kita_ku})))
                          (PUNC ,)
                          (NPR Hamamatsu;{Hamamatsu})
                          (NPR City;{City}))))
          (PUNC .))
  (ID 108_a_kyoto_2;BDS_00002;107))

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_0108_5002,r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City,arg0).
arc(z_0108_5002,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_0108_5002] :
      ( 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_0108_5002(Z_0108_5002)
      & has_prd(Z_0108_5002,R_0108_0009__KITA__HYPHEN__KU)
      & has_arg0(Z_0108_5002,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) ) ).