113_a_kyoto_2
Head temple is Shokoku-ji in Kyoto, established by Yoshimitsu ASHIKAGA.
arc(r_0113_0003__is, r_0113_0001__Head_r_0113_0002__temple, arg0).
arc(r_0113_0003__is, r_0113_0004__Shokoku__hyphen__ji, prd).
arc(r_0113_0004__Shokoku__hyphen__ji, r_0113_0006__Kyoto, r_0113_0005__in).
arc(r_0113_0008__established, r_0113_0004__Shokoku__hyphen__ji, arg1).
arc(r_0113_0008__established, r_0113_0010__Yoshimitsu_r_0113_0011__ASHIKAGA, arg0).
fof(formula,axiom,
? [R_0113_0001__HEAD_R_0113_0002__TEMPLE,R_0113_0006__KYOTO,R_0113_0004__SHOKOKU__HYPHEN__JI,R_0113_0003__IS,R_0113_0010__YOSHIMITSU_R_0113_0011__ASHIKAGA,R_0113_0008__ESTABLISHED] :
( r_0113_0001__Head_r_0113_0002__temple(R_0113_0001__HEAD_R_0113_0002__TEMPLE)
& r_0113_0006__Kyoto(R_0113_0006__KYOTO)
& r_0113_0010__Yoshimitsu_r_0113_0011__ASHIKAGA(R_0113_0010__YOSHIMITSU_R_0113_0011__ASHIKAGA)
& r_0113_0008__established(R_0113_0008__ESTABLISHED)
& has_arg0(R_0113_0008__ESTABLISHED,R_0113_0010__YOSHIMITSU_R_0113_0011__ASHIKAGA)
& has_arg1(R_0113_0008__ESTABLISHED,R_0113_0004__SHOKOKU__HYPHEN__JI)
& r_0113_0004__Shokoku__hyphen__ji(R_0113_0004__SHOKOKU__HYPHEN__JI)
& has_r_0113_0005__in(R_0113_0004__SHOKOKU__HYPHEN__JI,R_0113_0006__KYOTO)
& r_0113_0003__is(R_0113_0003__IS)
& has_prd(R_0113_0003__IS,R_0113_0004__SHOKOKU__HYPHEN__JI)
& has_arg0(R_0113_0003__IS,R_0113_0001__HEAD_R_0113_0002__TEMPLE) ) ).
( (IP-MAT (NP-SBJ (NPR Head;{Head})
(NPR temple;{temple}))
(BEP;_Ln_ is;{be})
(NP-PRD (NPR Shokoku_<hyphen>_ji;{Shokoku_ji})
(PP (P-ROLE in;{in})
(NP (NPR Kyoto;{Kyoto})))
(PUNC ,)
(IP-PPL (VVN;__ established;{establish})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (NPR Yoshimitsu;{Yoshimitsu})
(NPR ASHIKAGA;{Ashikaga})))))
(PUNC .))
(ID 113_a_kyoto_2;BDS_00002;112))