Context                Previous, Next                Top


63_a_kyoto_2
Kenni-ji is the oldest Zen temple in Japan.

%3 r_0063_0002__is is r_0063_0001__Kenni__hyphen__ji Kenni-ji r_0063_0002__is->r_0063_0001__Kenni__hyphen__ji [arg0] r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple the Zen temple r_0063_0002__is->r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple [prd] r_0063_0004__oldest oldest r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0004__oldest [attrib] r_0063_0008__Japan Japan r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0008__Japan in 
arc(r_0063_0002__is, r_0063_0001__Kenni__hyphen__ji, arg0).
arc(r_0063_0002__is, r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple, prd).
arc(r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple, r_0063_0004__oldest, attrib10).
arc(r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple, r_0063_0008__Japan, r_0063_0007__in).


%3 r_0063_0002__is is r_0063_0001__Kenni__hyphen__ji Kenni-ji r_0063_0002__is->r_0063_0001__Kenni__hyphen__ji [arg0] r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple the Zen temple r_0063_0002__is->r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple [prd] r_0063_0004__oldest oldest r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0004__oldest [attrib] r_0063_0008__Japan Japan r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0008__Japan in 
fof(formula,axiom,
    ? [R_63_2_IS,R_63_1_KENNI_HYPHEN_JI,R_63_3_THE_ZEN_TEMPLE,R_63_4_OLDEST,R_63_8_JAPAN] :
      ( kenni_hyphen_ji(R_63_1_KENNI_HYPHEN_JI)
      & oldest(R_63_4_OLDEST)
      & japan(R_63_8_JAPAN)
      & is(R_63_2_IS,R_63_1_KENNI_HYPHEN_JI,R_63_3_THE_ZEN_TEMPLE)
      & the_Zen_temple(R_63_3_THE_ZEN_TEMPLE)
      & attrib10(R_63_3_THE_ZEN_TEMPLE,R_63_4_OLDEST)
      & in(R_63_3_THE_ZEN_TEMPLE,R_63_8_JAPAN) ) ).


n63_a_kyoto_2 n63_a_kyoto_2_4 Kenni-ji n63_a_kyoto_2_6 is n63_a_kyoto_2_9 the n63_a_kyoto_2_12 oldest n63_a_kyoto_2_14 Zen n63_a_kyoto_2_16 temple n63_a_kyoto_2_19 in n63_a_kyoto_2_22 Japan n63_a_kyoto_2_24 . n63_a_kyoto_2_1 IP-MAT n63_a_kyoto_2_2 NP-SBJ n63_a_kyoto_2_1->n63_a_kyoto_2_2 n63_a_kyoto_2_5 BEP;_Ln_ n63_a_kyoto_2_1->n63_a_kyoto_2_5 n63_a_kyoto_2_7 NP-PRD n63_a_kyoto_2_1->n63_a_kyoto_2_7 n63_a_kyoto_2_23 PUNC n63_a_kyoto_2_1->n63_a_kyoto_2_23 n63_a_kyoto_2_3 NPR n63_a_kyoto_2_2->n63_a_kyoto_2_3 n63_a_kyoto_2_3->n63_a_kyoto_2_4 n63_a_kyoto_2_5->n63_a_kyoto_2_6 n63_a_kyoto_2_8 D n63_a_kyoto_2_7->n63_a_kyoto_2_8 n63_a_kyoto_2_10 ADJP n63_a_kyoto_2_7->n63_a_kyoto_2_10 n63_a_kyoto_2_13 NPR n63_a_kyoto_2_7->n63_a_kyoto_2_13 n63_a_kyoto_2_15 N n63_a_kyoto_2_7->n63_a_kyoto_2_15 n63_a_kyoto_2_17 PP n63_a_kyoto_2_7->n63_a_kyoto_2_17 n63_a_kyoto_2_8->n63_a_kyoto_2_9 n63_a_kyoto_2_11 ADJS n63_a_kyoto_2_10->n63_a_kyoto_2_11 n63_a_kyoto_2_11->n63_a_kyoto_2_12 n63_a_kyoto_2_13->n63_a_kyoto_2_14 n63_a_kyoto_2_15->n63_a_kyoto_2_16 n63_a_kyoto_2_18 P-ROLE n63_a_kyoto_2_17->n63_a_kyoto_2_18 n63_a_kyoto_2_20 NP n63_a_kyoto_2_17->n63_a_kyoto_2_20 n63_a_kyoto_2_18->n63_a_kyoto_2_19 n63_a_kyoto_2_21 NPR n63_a_kyoto_2_20->n63_a_kyoto_2_21 n63_a_kyoto_2_21->n63_a_kyoto_2_22 n63_a_kyoto_2_23->n63_a_kyoto_2_24 
( (IP-MAT (NP-SBJ (NPR Kenni_<hyphen>_ji;{Kenni_ji}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJS oldest;{old}))
                  (NPR Zen;{Zen})
                  (N temple;{temple})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Japan;{Japan}))))
          (PUNC .))
  (ID 63_a_kyoto_2;BDS_00002;62))