Context                Previous, Next                Top


88_a_kyoto_2
Head temple is Daitoku-ji in Kyoto.

n88_a_kyoto_2 n88_a_kyoto_2__1_1_1_1 Head n88_a_kyoto_2__1_1_2_1 temple n88_a_kyoto_2__1_2_1 is n88_a_kyoto_2__1_3_1_1 Daitoku-ji n88_a_kyoto_2__1_3_2_1_1 in n88_a_kyoto_2__1_3_2_2_1_1 Kyoto n88_a_kyoto_2__1_4_1 . n88_a_kyoto_2__1 IP-MAT n88_a_kyoto_2__1_1 NP-SBJ n88_a_kyoto_2__1->n88_a_kyoto_2__1_1 n88_a_kyoto_2__1_2 BEP;_Ln_ n88_a_kyoto_2__1->n88_a_kyoto_2__1_2 n88_a_kyoto_2__1_3 NP-PRD n88_a_kyoto_2__1->n88_a_kyoto_2__1_3 n88_a_kyoto_2__1_4 PUNC n88_a_kyoto_2__1->n88_a_kyoto_2__1_4 n88_a_kyoto_2__1_1_1 N n88_a_kyoto_2__1_1->n88_a_kyoto_2__1_1_1 n88_a_kyoto_2__1_1_2 N n88_a_kyoto_2__1_1->n88_a_kyoto_2__1_1_2 n88_a_kyoto_2__1_1_1->n88_a_kyoto_2__1_1_1_1 n88_a_kyoto_2__1_1_2->n88_a_kyoto_2__1_1_2_1 n88_a_kyoto_2__1_2->n88_a_kyoto_2__1_2_1 n88_a_kyoto_2__1_3_1 NPR n88_a_kyoto_2__1_3->n88_a_kyoto_2__1_3_1 n88_a_kyoto_2__1_3_2 PP n88_a_kyoto_2__1_3->n88_a_kyoto_2__1_3_2 n88_a_kyoto_2__1_3_1->n88_a_kyoto_2__1_3_1_1 n88_a_kyoto_2__1_3_2_1 P-ROLE n88_a_kyoto_2__1_3_2->n88_a_kyoto_2__1_3_2_1 n88_a_kyoto_2__1_3_2_2 NP n88_a_kyoto_2__1_3_2->n88_a_kyoto_2__1_3_2_2 n88_a_kyoto_2__1_3_2_1->n88_a_kyoto_2__1_3_2_1_1 n88_a_kyoto_2__1_3_2_2_1 NPR n88_a_kyoto_2__1_3_2_2->n88_a_kyoto_2__1_3_2_2_1 n88_a_kyoto_2__1_3_2_2_1->n88_a_kyoto_2__1_3_2_2_1_1 n88_a_kyoto_2__1_4->n88_a_kyoto_2__1_4_1 
( (IP-MAT (NP-SBJ;{DAITOKUJI} (N Head;{head})
                              (N temple;{temple}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NPR Daitoku_<hyphen>_ji;{Daitoku_ji})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Kyoto;{Kyoto}))))
          (PUNC .))
  (ID 88_a_kyoto_2;BDS_00002;87))


%3 r_0088_0004__Daitoku__hyphen__ji Daitoku-ji r_0088_0006__Kyoto Kyoto r_0088_0004__Daitoku__hyphen__ji->r_0088_0006__Kyoto in r_0088_0003__is is r_0088_0003__is->r_0088_0004__Daitoku__hyphen__ji [prd] r_0088_0001__Head_r_0088_0002__temple Head temple r_0088_0003__is->r_0088_0001__Head_r_0088_0002__temple [arg0] 
arc(r_0088_0003__is,r_0088_0001__Head_r_0088_0002__temple,arg0).
arc(r_0088_0003__is,r_0088_0004__Daitoku__hyphen__ji,prd).
arc(r_0088_0004__Daitoku__hyphen__ji,r_0088_0006__Kyoto,r_0088_0005__in).


%3 r_0088_0003__is is r_0088_0001__Head_r_0088_0002__temple Head temple r_0088_0003__is->r_0088_0001__Head_r_0088_0002__temple [arg0] r_0088_0004__Daitoku__hyphen__ji Daitoku-ji r_0088_0003__is->r_0088_0004__Daitoku__hyphen__ji [prd] r_0088_0006__Kyoto Kyoto r_0088_0004__Daitoku__hyphen__ji->r_0088_0006__Kyoto in 
fof(formula,axiom,
    ? [R_0088_0001__HEAD_R_0088_0002__TEMPLE,R_0088_0006__KYOTO,R_0088_0004__DAITOKU__HYPHEN__JI,R_0088_0003__IS] :
      ( r_0088_0001__Head_r_0088_0002__temple(R_0088_0001__HEAD_R_0088_0002__TEMPLE)
      & r_0088_0006__Kyoto(R_0088_0006__KYOTO)
      & r_0088_0003__is(R_0088_0003__IS)
      & has_prd(R_0088_0003__IS,R_0088_0004__DAITOKU__HYPHEN__JI)
      & r_0088_0004__Daitoku__hyphen__ji(R_0088_0004__DAITOKU__HYPHEN__JI)
      & has_r_0088_0005__in(R_0088_0004__DAITOKU__HYPHEN__JI,R_0088_0006__KYOTO)
      & has_arg0(R_0088_0003__IS,R_0088_0001__HEAD_R_0088_0002__TEMPLE) ) ).