60_a_kyoto_2
The sect began when Eisai came back from Southern Song China in 1202.
arc(r_0060_0003__began, r_0060_0001__The_r_0060_0002__sect, arg0).
arc(r_0060_0003__began, z_000_60_a_kyoto_2_9, nim9).
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_nim24).
arc(r_0060_0006__came_r_0060_0007__back, r_0060_0013__1202, r_0060_0012__in_nim34).
arc(r_0060_0006__came_r_0060_0007__back, z_000_60_a_kyoto_2_9, nim11).
fof(formula,axiom,
? [R_60_3_BEGAN,R_60_1_THE_SECT,R_60_6_CAME_BACK,R_60_5_EISAI,Z_60_A_KYOTO_2_9,R_60_9_SOUTHERN_SONG_CHINA,R_60_13_1202] :
( the_sect(R_60_1_THE_SECT)
& eisai(R_60_5_EISAI)
& southern_Song_China(R_60_9_SOUTHERN_SONG_CHINA)
& 1202(R_60_13_1202)
& began(R_60_3_BEGAN,R_60_1_THE_SECT)
& nim9(R_60_3_BEGAN,Z_60_A_KYOTO_2_9)
& came_back(R_60_6_CAME_BACK,R_60_5_EISAI)
& nim11(R_60_6_CAME_BACK,Z_60_A_KYOTO_2_9)
& from_nim24(R_60_6_CAME_BACK,R_60_9_SOUTHERN_SONG_CHINA)
& in_nim34(R_60_6_CAME_BACK,R_60_13_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))