65_a_kyoto_2
The sect began in Kyoto when Benen ENNI returned from Song China in 1236.
arc(r_0065_0003__began, r_0065_0001__The_r_0065_0002__sect, arg0).
arc(r_0065_0003__began, r_0065_0005__Kyoto, r_0065_0004__in_nim12).
arc(r_0065_0003__began, z_000_65_a_kyoto_2_15, nim15).
arc(r_0065_0009__returned, r_0065_0007__Benen_r_0065_0008__ENNI, arg0).
arc(r_0065_0009__returned, r_0065_0011__Song_r_0065_0012__China, r_0065_0010__from_nim30).
arc(r_0065_0009__returned, r_0065_0014__1236, r_0065_0013__in_nim38).
arc(r_0065_0009__returned, z_000_65_a_kyoto_2_15, nim17).
fof(formula,axiom,
? [R_65_3_BEGAN,R_65_1_THE_SECT,R_65_5_KYOTO,R_65_9_RETURNED,R_65_7_BENEN_ENNI,Z_65_A_KYOTO_2_15,R_65_11_SONG_CHINA,R_65_14_1236] :
( the_sect(R_65_1_THE_SECT)
& kyoto(R_65_5_KYOTO)
& benen_ENNI(R_65_7_BENEN_ENNI)
& song_China(R_65_11_SONG_CHINA)
& 1236(R_65_14_1236)
& began(R_65_3_BEGAN,R_65_1_THE_SECT)
& nim15(R_65_3_BEGAN,Z_65_A_KYOTO_2_15)
& in_nim12(R_65_3_BEGAN,R_65_5_KYOTO)
& returned(R_65_9_RETURNED,R_65_7_BENEN_ENNI)
& nim17(R_65_9_RETURNED,Z_65_A_KYOTO_2_15)
& from_nim30(R_65_9_RETURNED,R_65_11_SONG_CHINA)
& in_nim38(R_65_9_RETURNED,R_65_14_1236) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N sect;{sect}))
(VBD;__ began;{begin})
(PP-NIM (P-ROLE in;{in})
(NP (NPR Kyoto;{Kyoto})))
(NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
(NP-SBJ (NPR Benen;{Benen})
(NPR ENNI;{Enni}))
(VBD;__ returned;{return})
(PP-NIM (P-ROLE from;{from})
(NP (NPR Song;{Song})
(NPR China;{China})))
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1236)))))
(PUNC .))
(ID 65_a_kyoto_2;BDS_00002;64))