( (IP-MAT (NP-SBJ (NPR Head;{Head})
                  (NPR temple;{temple}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NPR Kencho_<hyphen>_ji;{Kencho_ji})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Kamakura;{Kamakura})))
                  (PUNC ,)
                  (IP-PPL (VVN;__ founded;{found})
                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                  (NP (NPR Douryuu;{Douryuu})
                                      (NPR RANKEI;{Rankei})))))
          (PUNC .))
  (ID 70_a_kyoto_2;BDS_00002;69))

arc(r_0070_0003__is,r_0070_0001__Head_r_0070_0002__temple,arg0).
arc(r_0070_0003__is,r_0070_0004__Kencho__hyphen__ji,prd).
arc(r_0070_0004__Kencho__hyphen__ji,r_0070_0006__Kamakura,r_0070_0005__in).
arc(r_0070_0008__founded,r_0070_0004__Kencho__hyphen__ji,inv_arg1).
arc(r_0070_0008__founded,r_0070_0010__Douryuu_r_0070_0011__RANKEI,r_0070_0009__by_arg0).

fof(formula,axiom,
    ? [R_0070_0001__HEAD_R_0070_0002__TEMPLE,R_0070_0006__KAMAKURA,R_0070_0010__DOURYUU_R_0070_0011__RANKEI,R_0070_0008__FOUNDED,R_0070_0004__KENCHO__HYPHEN__JI,R_0070_0003__IS] :
      ( r_0070_0001__Head_r_0070_0002__temple(R_0070_0001__HEAD_R_0070_0002__TEMPLE)
      & r_0070_0006__Kamakura(R_0070_0006__KAMAKURA)
      & r_0070_0010__Douryuu_r_0070_0011__RANKEI(R_0070_0010__DOURYUU_R_0070_0011__RANKEI)
      & r_0070_0003__is(R_0070_0003__IS)
      & has_prd(R_0070_0003__IS,R_0070_0004__KENCHO__HYPHEN__JI)
      & r_0070_0004__Kencho__hyphen__ji(R_0070_0004__KENCHO__HYPHEN__JI)
      & has_inv_arg1(R_0070_0004__KENCHO__HYPHEN__JI,R_0070_0008__FOUNDED)
      & r_0070_0008__founded(R_0070_0008__FOUNDED)
      & has_r_0070_0009__by_arg0(R_0070_0008__FOUNDED,R_0070_0010__DOURYUU_R_0070_0011__RANKEI)
      & has_r_0070_0005__in(R_0070_0004__KENCHO__HYPHEN__JI,R_0070_0006__KAMAKURA)
      & has_arg0(R_0070_0003__IS,R_0070_0001__HEAD_R_0070_0002__TEMPLE) ) ).