65_a_kyoto_2
The sect began in Kyoto when Benen ENNI returned from Song China in 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))
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__nim).
arc(r_0065_0003__began,r_0065_0006__when,nim).
arc(r_0065_0009__returned,r_0065_0006__when,nim).
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__nim).
arc(r_0065_0009__returned,r_0065_0014__1236,r_0065_0013__in__nim).
fof(formula,axiom,
? [R_0065_0001__THE_R_0065_0002__SECT,R_0065_0005__KYOTO,R_0065_0006__WHEN,R_0065_0003__BEGAN,R_0065_0007__BENEN_R_0065_0008__ENNI,R_0065_0011__SONG_R_0065_0012__CHINA,R_0065_0014__1236,R_0065_0009__RETURNED] :
( r_0065_0001__The_r_0065_0002__sect(R_0065_0001__THE_R_0065_0002__SECT)
& r_0065_0005__Kyoto(R_0065_0005__KYOTO)
& r_0065_0006__when(R_0065_0006__WHEN)
& r_0065_0007__Benen_r_0065_0008__ENNI(R_0065_0007__BENEN_R_0065_0008__ENNI)
& r_0065_0011__Song_r_0065_0012__China(R_0065_0011__SONG_R_0065_0012__CHINA)
& r_0065_0014__1236(R_0065_0014__1236)
& r_0065_0009__returned(R_0065_0009__RETURNED)
& has_r_0065_0013__in__nim(R_0065_0009__RETURNED,R_0065_0014__1236)
& has_r_0065_0010__from__nim(R_0065_0009__RETURNED,R_0065_0011__SONG_R_0065_0012__CHINA)
& has_arg0(R_0065_0009__RETURNED,R_0065_0007__BENEN_R_0065_0008__ENNI)
& has_nim(R_0065_0009__RETURNED,R_0065_0006__WHEN)
& r_0065_0003__began(R_0065_0003__BEGAN)
& has_nim(R_0065_0003__BEGAN,R_0065_0006__WHEN)
& has_r_0065_0004__in__nim(R_0065_0003__BEGAN,R_0065_0005__KYOTO)
& has_arg0(R_0065_0003__BEGAN,R_0065_0001__THE_R_0065_0002__SECT) ) ).