60_a_kyoto_2
The sect began when Eisai came back from Southern Song China in 1202.
( (IP-MAT (NP-SBJ (D The;{the})
(N sect;{sect}))
(VBD;__ began;{begin})
(NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
(NP-SBJ (NPR Eisai;{Eisai}))
(VBD;__ came;{come})
(RP back;{back})
(PP-NIM (P-ROLE from;{from})
(NP (NPR Southern;{Southern})
(NPR Song;{Song})
(NPR China;{China})))
(PP-NIM (P-ROLE in;{in})
(NP (NPR 1202)))))
(PUNC .))
(ID 60_a_kyoto_2;BDS_00002;59))
arc(r_0060_0003__began,r_0060_0001__The_r_0060_0002__sect,arg0).
arc(r_0060_0003__began,r_0060_0004__when,nim).
arc(r_0060_0006__came_r_0060_0007__back,r_0060_0004__when,nim).
arc(r_0060_0006__came_r_0060_0007__back,r_0060_0005__Eisai,arg0).
arc(r_0060_0006__came_r_0060_0007__back,r_0060_0009__Southern_r_0060_0010__Song_r_0060_0011__China,r_0060_0008__from__nim).
arc(r_0060_0006__came_r_0060_0007__back,r_0060_0013__1202,r_0060_0012__in__nim).
fof(formula,axiom,
? [R_0060_0001__THE_R_0060_0002__SECT,R_0060_0004__WHEN,R_0060_0003__BEGAN,R_0060_0005__EISAI,R_0060_0009__SOUTHERN_R_0060_0010__SONG_R_0060_0011__CHINA,R_0060_0013__1202,R_0060_0006__CAME_R_0060_0007__BACK] :
( r_0060_0001__The_r_0060_0002__sect(R_0060_0001__THE_R_0060_0002__SECT)
& r_0060_0004__when(R_0060_0004__WHEN)
& r_0060_0005__Eisai(R_0060_0005__EISAI)
& r_0060_0009__Southern_r_0060_0010__Song_r_0060_0011__China(R_0060_0009__SOUTHERN_R_0060_0010__SONG_R_0060_0011__CHINA)
& r_0060_0013__1202(R_0060_0013__1202)
& r_0060_0006__came_r_0060_0007__back(R_0060_0006__CAME_R_0060_0007__BACK)
& has_r_0060_0012__in__nim(R_0060_0006__CAME_R_0060_0007__BACK,R_0060_0013__1202)
& has_r_0060_0008__from__nim(R_0060_0006__CAME_R_0060_0007__BACK,R_0060_0009__SOUTHERN_R_0060_0010__SONG_R_0060_0011__CHINA)
& has_arg0(R_0060_0006__CAME_R_0060_0007__BACK,R_0060_0005__EISAI)
& has_nim(R_0060_0006__CAME_R_0060_0007__BACK,R_0060_0004__WHEN)
& r_0060_0003__began(R_0060_0003__BEGAN)
& has_nim(R_0060_0003__BEGAN,R_0060_0004__WHEN)
& has_arg0(R_0060_0003__BEGAN,R_0060_0001__THE_R_0060_0002__SECT) ) ).