74_a_kyoto_2
Head temple is Enkaku-ji in Kamakura.
( (IP-MAT (NP-SBJ (N Head;{head})
(N temple;{temple}))
(BEP;_Ln_ is;{be})
(NP-PRD (NPR Enkaku_<hyphen>_ji;{Enkaku_ji})
(PP (P-ROLE in;{in})
(NP (NPR Kamakura;{Kamakura}))))
(PUNC .))
(ID 74_a_kyoto_2;BDS_00002;73))
arc(r_0074_0003__is,r_0074_0001__Head_r_0074_0002__temple,arg0).
arc(r_0074_0003__is,r_0074_0004__Enkaku__hyphen__ji,prd).
arc(r_0074_0004__Enkaku__hyphen__ji,r_0074_0006__Kamakura,r_0074_0005__in).
fof(formula,axiom,
? [R_0074_0001__HEAD_R_0074_0002__TEMPLE,R_0074_0006__KAMAKURA,R_0074_0004__ENKAKU__HYPHEN__JI,R_0074_0003__IS] :
( r_0074_0001__Head_r_0074_0002__temple(R_0074_0001__HEAD_R_0074_0002__TEMPLE)
& r_0074_0006__Kamakura(R_0074_0006__KAMAKURA)
& r_0074_0003__is(R_0074_0003__IS)
& has_prd(R_0074_0003__IS,R_0074_0004__ENKAKU__HYPHEN__JI)
& r_0074_0004__Enkaku__hyphen__ji(R_0074_0004__ENKAKU__HYPHEN__JI)
& has_r_0074_0005__in(R_0074_0004__ENKAKU__HYPHEN__JI,R_0074_0006__KAMAKURA)
& has_arg0(R_0074_0003__IS,R_0074_0001__HEAD_R_0074_0002__TEMPLE) ) ).