Context                Previous, Next                Top


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

%3 r_0108_0003__is is r_0108_0001__Head_r_0108_0002__temple Head temple r_0108_0003__is->r_0108_0001__Head_r_0108_0002__temple [arg0] r_0108_0004__Hoko__hyphen__ji Hoko-ji r_0108_0003__is->r_0108_0004__Hoko__hyphen__ji [prd] r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City Inasa Town Hamamatsu City r_0108_0004__Hoko__hyphen__ji->r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City in z_000_108_a_kyoto_2_22 z_000_108_a_kyoto_2_22->r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City [arg0] r_0108_0009__Kita__hyphen__ku Kita-ku z_000_108_a_kyoto_2_22->r_0108_0009__Kita__hyphen__ku [prd] 
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).


%3 z_000_108_a_kyoto_2_22 r_0108_0009__Kita__hyphen__ku Kita-ku z_000_108_a_kyoto_2_22->r_0108_0009__Kita__hyphen__ku [prd] r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City Inasa Town Hamamatsu City z_000_108_a_kyoto_2_22->r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City [arg0] r_0108_0004__Hoko__hyphen__ji Hoko-ji r_0108_0004__Hoko__hyphen__ji->r_0108_0006__Inasa_r_0108_0007__Town_r_0108_0011__Hamamatsu_r_0108_0012__City in r_0108_0003__is is r_0108_0003__is->r_0108_0004__Hoko__hyphen__ji [prd] r_0108_0001__Head_r_0108_0002__temple Head temple r_0108_0003__is->r_0108_0001__Head_r_0108_0002__temple [arg0] 
fof(formula,axiom,
    ? [R_108_3_IS,R_108_1_HEAD_TEMPLE,R_108_4_HOKO_HYPHEN_JI,Z_108_A_KYOTO_2_22,R_108_6_INASA_TOWN_HAMAMATSU_CITY,R_108_9_KITA_HYPHEN_KU] :
      ( head_temple(R_108_1_HEAD_TEMPLE)
      & inasa_Town_Hamamatsu_City(R_108_6_INASA_TOWN_HAMAMATSU_CITY)
      & kita_hyphen_ku(R_108_9_KITA_HYPHEN_KU)
      & is(R_108_3_IS,R_108_1_HEAD_TEMPLE,R_108_4_HOKO_HYPHEN_JI)
      & hoko_hyphen_ji(R_108_4_HOKO_HYPHEN_JI)
      & in(R_108_4_HOKO_HYPHEN_JI,R_108_6_INASA_TOWN_HAMAMATSU_CITY)
      & z_108_a_kyoto_2_22(Z_108_A_KYOTO_2_22,R_108_6_INASA_TOWN_HAMAMATSU_CITY,R_108_9_KITA_HYPHEN_KU) ) ).


n108_a_kyoto_2 n108_a_kyoto_2__1_1_1_1 Head n108_a_kyoto_2__1_1_2_1 temple n108_a_kyoto_2__1_2_1 is n108_a_kyoto_2__1_3_1_1 Hoko-ji n108_a_kyoto_2__1_3_2_1_1 in n108_a_kyoto_2__1_3_2_2_1_1 Inasa n108_a_kyoto_2__1_3_2_2_2_1 Town n108_a_kyoto_2__1_3_2_2_3_1 , n108_a_kyoto_2__1_3_2_2_4_1_1_1 Kita-ku n108_a_kyoto_2__1_3_2_2_5_1 , n108_a_kyoto_2__1_3_2_2_6_1 Hamamatsu n108_a_kyoto_2__1_3_2_2_7_1 City n108_a_kyoto_2__1_4_1 . n108_a_kyoto_2__1 IP-MAT n108_a_kyoto_2__1_1 NP-SBJ n108_a_kyoto_2__1->n108_a_kyoto_2__1_1 n108_a_kyoto_2__1_2 BEP;_Ln_ n108_a_kyoto_2__1->n108_a_kyoto_2__1_2 n108_a_kyoto_2__1_3 NP-PRD n108_a_kyoto_2__1->n108_a_kyoto_2__1_3 n108_a_kyoto_2__1_4 PUNC n108_a_kyoto_2__1->n108_a_kyoto_2__1_4 n108_a_kyoto_2__1_1_1 N n108_a_kyoto_2__1_1->n108_a_kyoto_2__1_1_1 n108_a_kyoto_2__1_1_2 N n108_a_kyoto_2__1_1->n108_a_kyoto_2__1_1_2 n108_a_kyoto_2__1_1_1->n108_a_kyoto_2__1_1_1_1 n108_a_kyoto_2__1_1_2->n108_a_kyoto_2__1_1_2_1 n108_a_kyoto_2__1_2->n108_a_kyoto_2__1_2_1 n108_a_kyoto_2__1_3_1 NPR n108_a_kyoto_2__1_3->n108_a_kyoto_2__1_3_1 n108_a_kyoto_2__1_3_2 PP n108_a_kyoto_2__1_3->n108_a_kyoto_2__1_3_2 n108_a_kyoto_2__1_3_1->n108_a_kyoto_2__1_3_1_1 n108_a_kyoto_2__1_3_2_1 P-ROLE n108_a_kyoto_2__1_3_2->n108_a_kyoto_2__1_3_2_1 n108_a_kyoto_2__1_3_2_2 NP n108_a_kyoto_2__1_3_2->n108_a_kyoto_2__1_3_2_2 n108_a_kyoto_2__1_3_2_1->n108_a_kyoto_2__1_3_2_1_1 n108_a_kyoto_2__1_3_2_2_1 NPR n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_1 n108_a_kyoto_2__1_3_2_2_2 NPR n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_2 n108_a_kyoto_2__1_3_2_2_3 PUNC n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_3 n108_a_kyoto_2__1_3_2_2_4 IP-PPL n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_4 n108_a_kyoto_2__1_3_2_2_5 PUNC n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_5 n108_a_kyoto_2__1_3_2_2_6 NPR n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_6 n108_a_kyoto_2__1_3_2_2_7 NPR n108_a_kyoto_2__1_3_2_2->n108_a_kyoto_2__1_3_2_2_7 n108_a_kyoto_2__1_3_2_2_1->n108_a_kyoto_2__1_3_2_2_1_1 n108_a_kyoto_2__1_3_2_2_2->n108_a_kyoto_2__1_3_2_2_2_1 n108_a_kyoto_2__1_3_2_2_3->n108_a_kyoto_2__1_3_2_2_3_1 n108_a_kyoto_2__1_3_2_2_4_1 NP-PRD n108_a_kyoto_2__1_3_2_2_4->n108_a_kyoto_2__1_3_2_2_4_1 n108_a_kyoto_2__1_3_2_2_4_1_1 NPR n108_a_kyoto_2__1_3_2_2_4_1->n108_a_kyoto_2__1_3_2_2_4_1_1 n108_a_kyoto_2__1_3_2_2_4_1_1->n108_a_kyoto_2__1_3_2_2_4_1_1_1 n108_a_kyoto_2__1_3_2_2_5->n108_a_kyoto_2__1_3_2_2_5_1 n108_a_kyoto_2__1_3_2_2_6->n108_a_kyoto_2__1_3_2_2_6_1 n108_a_kyoto_2__1_3_2_2_7->n108_a_kyoto_2__1_3_2_2_7_1 n108_a_kyoto_2__1_4->n108_a_kyoto_2__1_4_1 
( (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))