Context                Previous, Next                Top


92_a_kyoto_2
Head temple is Kogaku-ji in Koushuu City, Yamanashi Prefecture.

%3 r_0092_0003__is is r_0092_0001__Head_r_0092_0002__temple Head temple r_0092_0003__is->r_0092_0001__Head_r_0092_0002__temple [arg0] r_0092_0004__Kogaku__hyphen__ji Kogaku-ji r_0092_0003__is->r_0092_0004__Kogaku__hyphen__ji [prd] r_0092_0006__Koushuu_r_0092_0007__City_r_0092_0009__Yamanashi_r_0092_0010__Prefecture Koushuu City Yamanashi Prefecture r_0092_0004__Kogaku__hyphen__ji->r_0092_0006__Koushuu_r_0092_0007__City_r_0092_0009__Yamanashi_r_0092_0010__Prefecture in 
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).


%3 r_0092_0003__is is r_0092_0001__Head_r_0092_0002__temple Head temple r_0092_0003__is->r_0092_0001__Head_r_0092_0002__temple [arg0] r_0092_0004__Kogaku__hyphen__ji Kogaku-ji r_0092_0003__is->r_0092_0004__Kogaku__hyphen__ji [prd] r_0092_0006__Koushuu_r_0092_0007__City_r_0092_0009__Yamanashi_r_0092_0010__Prefecture Koushuu City Yamanashi Prefecture r_0092_0004__Kogaku__hyphen__ji->r_0092_0006__Koushuu_r_0092_0007__City_r_0092_0009__Yamanashi_r_0092_0010__Prefecture in 
fof(formula,axiom,
    ? [R_92_3_IS,R_92_1_HEAD_TEMPLE,R_92_4_KOGAKU_HYPHEN_JI,R_92_6_KOUSHUU_CITY_YAMANASHI_PREFECTURE] :
      ( head_temple(R_92_1_HEAD_TEMPLE)
      & koushuu_City_Yamanashi_Prefecture(R_92_6_KOUSHUU_CITY_YAMANASHI_PREFECTURE)
      & is(R_92_3_IS,R_92_1_HEAD_TEMPLE,R_92_4_KOGAKU_HYPHEN_JI)
      & kogaku_hyphen_ji(R_92_4_KOGAKU_HYPHEN_JI)
      & in(R_92_4_KOGAKU_HYPHEN_JI,R_92_6_KOUSHUU_CITY_YAMANASHI_PREFECTURE) ) ).


n92_a_kyoto_2 n92_a_kyoto_2_4 Head n92_a_kyoto_2_6 temple n92_a_kyoto_2_8 is n92_a_kyoto_2_11 Kogaku-ji n92_a_kyoto_2_14 in n92_a_kyoto_2_17 Koushuu n92_a_kyoto_2_19 City n92_a_kyoto_2_21 , n92_a_kyoto_2_23 Yamanashi n92_a_kyoto_2_25 Prefecture n92_a_kyoto_2_27 . n92_a_kyoto_2_1 IP-MAT n92_a_kyoto_2_2 NP-SBJ n92_a_kyoto_2_1->n92_a_kyoto_2_2 n92_a_kyoto_2_7 BEP;_Ln_ n92_a_kyoto_2_1->n92_a_kyoto_2_7 n92_a_kyoto_2_9 NP-PRD n92_a_kyoto_2_1->n92_a_kyoto_2_9 n92_a_kyoto_2_26 PUNC n92_a_kyoto_2_1->n92_a_kyoto_2_26 n92_a_kyoto_2_3 N n92_a_kyoto_2_2->n92_a_kyoto_2_3 n92_a_kyoto_2_5 N n92_a_kyoto_2_2->n92_a_kyoto_2_5 n92_a_kyoto_2_3->n92_a_kyoto_2_4 n92_a_kyoto_2_5->n92_a_kyoto_2_6 n92_a_kyoto_2_7->n92_a_kyoto_2_8 n92_a_kyoto_2_10 NPR n92_a_kyoto_2_9->n92_a_kyoto_2_10 n92_a_kyoto_2_12 PP n92_a_kyoto_2_9->n92_a_kyoto_2_12 n92_a_kyoto_2_10->n92_a_kyoto_2_11 n92_a_kyoto_2_13 P-ROLE n92_a_kyoto_2_12->n92_a_kyoto_2_13 n92_a_kyoto_2_15 NP n92_a_kyoto_2_12->n92_a_kyoto_2_15 n92_a_kyoto_2_13->n92_a_kyoto_2_14 n92_a_kyoto_2_16 NPR n92_a_kyoto_2_15->n92_a_kyoto_2_16 n92_a_kyoto_2_18 NPR n92_a_kyoto_2_15->n92_a_kyoto_2_18 n92_a_kyoto_2_20 PUNC n92_a_kyoto_2_15->n92_a_kyoto_2_20 n92_a_kyoto_2_22 NPR n92_a_kyoto_2_15->n92_a_kyoto_2_22 n92_a_kyoto_2_24 NPR n92_a_kyoto_2_15->n92_a_kyoto_2_24 n92_a_kyoto_2_16->n92_a_kyoto_2_17 n92_a_kyoto_2_18->n92_a_kyoto_2_19 n92_a_kyoto_2_20->n92_a_kyoto_2_21 n92_a_kyoto_2_22->n92_a_kyoto_2_23 n92_a_kyoto_2_24->n92_a_kyoto_2_25 n92_a_kyoto_2_26->n92_a_kyoto_2_27 
( (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))