70_a_kyoto_2
Head temple is Kencho-ji in Kamakura, founded by Douryuu RANKEI.
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, arg1).
arc(r_0070_0008__founded, r_0070_0010__Douryuu_r_0070_0011__RANKEI, arg0).
fof(formula,axiom,
? [R_70_3_IS,R_70_1_HEAD_TEMPLE,R_70_8_FOUNDED,R_70_10_DOURYUU_RANKEI,R_70_4_KENCHO_HYPHEN_JI,R_70_6_KAMAKURA] :
( head_temple(R_70_1_HEAD_TEMPLE)
& douryuu_RANKEI(R_70_10_DOURYUU_RANKEI)
& kamakura(R_70_6_KAMAKURA)
& is(R_70_3_IS,R_70_1_HEAD_TEMPLE,R_70_4_KENCHO_HYPHEN_JI)
& kencho_hyphen_ji(R_70_4_KENCHO_HYPHEN_JI)
& in(R_70_4_KENCHO_HYPHEN_JI,R_70_6_KAMAKURA)
& founded(R_70_8_FOUNDED,R_70_10_DOURYUU_RANKEI,R_70_4_KENCHO_HYPHEN_JI) ) ).
( (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))