Context                Previous, Next                Top


66_a_kyoto_2
Head temple is Tofuku-ji in Kyoto.

%3 r_0066_0003__is is r_0066_0001__Head_r_0066_0002__temple Head temple r_0066_0003__is->r_0066_0001__Head_r_0066_0002__temple [arg0] r_0066_0004__Tofuku__hyphen__ji Tofuku-ji r_0066_0003__is->r_0066_0004__Tofuku__hyphen__ji [prd] r_0066_0006__Kyoto Kyoto r_0066_0004__Tofuku__hyphen__ji->r_0066_0006__Kyoto in 
arc(r_0066_0003__is, r_0066_0001__Head_r_0066_0002__temple, arg0).
arc(r_0066_0003__is, r_0066_0004__Tofuku__hyphen__ji, prd).
arc(r_0066_0004__Tofuku__hyphen__ji, r_0066_0006__Kyoto, r_0066_0005__in).


%3 r_0066_0004__Tofuku__hyphen__ji Tofuku-ji r_0066_0006__Kyoto Kyoto r_0066_0004__Tofuku__hyphen__ji->r_0066_0006__Kyoto in r_0066_0003__is is r_0066_0003__is->r_0066_0004__Tofuku__hyphen__ji [prd] r_0066_0001__Head_r_0066_0002__temple Head temple r_0066_0003__is->r_0066_0001__Head_r_0066_0002__temple [arg0] 
fof(formula,axiom,
    ? [R_66_3_IS,R_66_1_HEAD_TEMPLE,R_66_4_TOFUKU_HYPHEN_JI,R_66_6_KYOTO] :
      ( head_temple(R_66_1_HEAD_TEMPLE)
      & kyoto(R_66_6_KYOTO)
      & is(R_66_3_IS,R_66_1_HEAD_TEMPLE,R_66_4_TOFUKU_HYPHEN_JI)
      & tofuku_hyphen_ji(R_66_4_TOFUKU_HYPHEN_JI)
      & in(R_66_4_TOFUKU_HYPHEN_JI,R_66_6_KYOTO) ) ).


n66_a_kyoto_2 n66_a_kyoto_2__1_1_1_1 Head n66_a_kyoto_2__1_1_2_1 temple n66_a_kyoto_2__1_2_1 is n66_a_kyoto_2__1_3_1_1 Tofuku-ji n66_a_kyoto_2__1_3_2_1_1 in n66_a_kyoto_2__1_3_2_2_1_1 Kyoto n66_a_kyoto_2__1_4_1 . n66_a_kyoto_2__1 IP-MAT n66_a_kyoto_2__1_1 NP-SBJ n66_a_kyoto_2__1->n66_a_kyoto_2__1_1 n66_a_kyoto_2__1_2 BEP;_Ln_ n66_a_kyoto_2__1->n66_a_kyoto_2__1_2 n66_a_kyoto_2__1_3 NP-PRD n66_a_kyoto_2__1->n66_a_kyoto_2__1_3 n66_a_kyoto_2__1_4 PUNC n66_a_kyoto_2__1->n66_a_kyoto_2__1_4 n66_a_kyoto_2__1_1_1 N n66_a_kyoto_2__1_1->n66_a_kyoto_2__1_1_1 n66_a_kyoto_2__1_1_2 N n66_a_kyoto_2__1_1->n66_a_kyoto_2__1_1_2 n66_a_kyoto_2__1_1_1->n66_a_kyoto_2__1_1_1_1 n66_a_kyoto_2__1_1_2->n66_a_kyoto_2__1_1_2_1 n66_a_kyoto_2__1_2->n66_a_kyoto_2__1_2_1 n66_a_kyoto_2__1_3_1 NPR n66_a_kyoto_2__1_3->n66_a_kyoto_2__1_3_1 n66_a_kyoto_2__1_3_2 PP n66_a_kyoto_2__1_3->n66_a_kyoto_2__1_3_2 n66_a_kyoto_2__1_3_1->n66_a_kyoto_2__1_3_1_1 n66_a_kyoto_2__1_3_2_1 P-ROLE n66_a_kyoto_2__1_3_2->n66_a_kyoto_2__1_3_2_1 n66_a_kyoto_2__1_3_2_2 NP n66_a_kyoto_2__1_3_2->n66_a_kyoto_2__1_3_2_2 n66_a_kyoto_2__1_3_2_1->n66_a_kyoto_2__1_3_2_1_1 n66_a_kyoto_2__1_3_2_2_1 NPR n66_a_kyoto_2__1_3_2_2->n66_a_kyoto_2__1_3_2_2_1 n66_a_kyoto_2__1_3_2_2_1->n66_a_kyoto_2__1_3_2_2_1_1 n66_a_kyoto_2__1_4->n66_a_kyoto_2__1_4_1 
( (IP-MAT (NP-SBJ (N Head;{head})
                  (N temple;{temple}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NPR Tofuku_<hyphen>_ji;{Tofuku_ji})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Kyoto;{Kyoto}))))
          (PUNC .))
  (ID 66_a_kyoto_2;BDS_00002;65))