( (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))

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,attrib).
arc(r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple,r_0063_0008__Japan,r_0063_0007__in).

fof(formula,axiom,
    ? [R_0063_0001__KENNI__HYPHEN__JI,R_0063_0004__OLDEST,R_0063_0008__JAPAN,R_0063_0003__THE_R_0063_0005__ZEN_R_0063_0006__TEMPLE,R_0063_0002__IS] :
      ( r_0063_0001__Kenni__hyphen__ji(R_0063_0001__KENNI__HYPHEN__JI)
      & r_0063_0004__oldest(R_0063_0004__OLDEST)
      & r_0063_0008__Japan(R_0063_0008__JAPAN)
      & r_0063_0002__is(R_0063_0002__IS)
      & has_prd(R_0063_0002__IS,R_0063_0003__THE_R_0063_0005__ZEN_R_0063_0006__TEMPLE)
      & r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple(R_0063_0003__THE_R_0063_0005__ZEN_R_0063_0006__TEMPLE)
      & has_r_0063_0007__in(R_0063_0003__THE_R_0063_0005__ZEN_R_0063_0006__TEMPLE,R_0063_0008__JAPAN)
      & has_attrib(R_0063_0003__THE_R_0063_0005__ZEN_R_0063_0006__TEMPLE,R_0063_0004__OLDEST)
      & has_arg0(R_0063_0002__IS,R_0063_0001__KENNI__HYPHEN__JI) ) ).