Context                Previous, Next                Top


88_a_kyoto_2
Head temple is Daitoku-ji in Kyoto.

%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 
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_88_3_IS,R_88_1_HEAD_TEMPLE,R_88_4_DAITOKU_HYPHEN_JI,R_88_6_KYOTO] :
      ( head_temple(R_88_1_HEAD_TEMPLE)
      & kyoto(R_88_6_KYOTO)
      & is(R_88_3_IS,R_88_1_HEAD_TEMPLE,R_88_4_DAITOKU_HYPHEN_JI)
      & daitoku_hyphen_ji(R_88_4_DAITOKU_HYPHEN_JI)
      & in(R_88_4_DAITOKU_HYPHEN_JI,R_88_6_KYOTO) ) ).


n88_a_kyoto_2 n88_a_kyoto_2_4 Head n88_a_kyoto_2_6 temple n88_a_kyoto_2_8 is n88_a_kyoto_2_11 Daitoku-ji n88_a_kyoto_2_14 in n88_a_kyoto_2_17 Kyoto n88_a_kyoto_2_19 . n88_a_kyoto_2_1 IP-MAT n88_a_kyoto_2_2 NP-SBJ n88_a_kyoto_2_1->n88_a_kyoto_2_2 n88_a_kyoto_2_7 BEP;_Ln_ n88_a_kyoto_2_1->n88_a_kyoto_2_7 n88_a_kyoto_2_9 NP-PRD n88_a_kyoto_2_1->n88_a_kyoto_2_9 n88_a_kyoto_2_18 PUNC n88_a_kyoto_2_1->n88_a_kyoto_2_18 n88_a_kyoto_2_3 N n88_a_kyoto_2_2->n88_a_kyoto_2_3 n88_a_kyoto_2_5 N n88_a_kyoto_2_2->n88_a_kyoto_2_5 n88_a_kyoto_2_3->n88_a_kyoto_2_4 n88_a_kyoto_2_5->n88_a_kyoto_2_6 n88_a_kyoto_2_7->n88_a_kyoto_2_8 n88_a_kyoto_2_10 NPR n88_a_kyoto_2_9->n88_a_kyoto_2_10 n88_a_kyoto_2_12 PP n88_a_kyoto_2_9->n88_a_kyoto_2_12 n88_a_kyoto_2_10->n88_a_kyoto_2_11 n88_a_kyoto_2_13 P-ROLE n88_a_kyoto_2_12->n88_a_kyoto_2_13 n88_a_kyoto_2_15 NP n88_a_kyoto_2_12->n88_a_kyoto_2_15 n88_a_kyoto_2_13->n88_a_kyoto_2_14 n88_a_kyoto_2_16 NPR n88_a_kyoto_2_15->n88_a_kyoto_2_16 n88_a_kyoto_2_16->n88_a_kyoto_2_17 n88_a_kyoto_2_18->n88_a_kyoto_2_19 
( (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))