Context                Previous, Next                Top


65_a_kyoto_2
The sect began in Kyoto when Benen ENNI returned from Song China in 1236.

%3 r_0065_0003__began began r_0065_0001__The_r_0065_0002__sect The sect r_0065_0003__began->r_0065_0001__The_r_0065_0002__sect [arg0] r_0065_0005__Kyoto Kyoto r_0065_0003__began->r_0065_0005__Kyoto in [nim] z_000_65_a_kyoto_2_15 r_0065_0003__began->z_000_65_a_kyoto_2_15 [nim] r_0065_0009__returned returned r_0065_0009__returned->z_000_65_a_kyoto_2_15 [nim] r_0065_0007__Benen_r_0065_0008__ENNI Benen ENNI r_0065_0009__returned->r_0065_0007__Benen_r_0065_0008__ENNI [arg0] r_0065_0011__Song_r_0065_0012__China Song China r_0065_0009__returned->r_0065_0011__Song_r_0065_0012__China from [nim] r_0065_0014__1236 1236 r_0065_0009__returned->r_0065_0014__1236 in [nim] 
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).


%3 r_0065_0009__returned returned z_000_65_a_kyoto_2_15 r_0065_0009__returned->z_000_65_a_kyoto_2_15 [nim] r_0065_0014__1236 1236 r_0065_0009__returned->r_0065_0014__1236 in [nim] r_0065_0011__Song_r_0065_0012__China Song China r_0065_0009__returned->r_0065_0011__Song_r_0065_0012__China from [nim] r_0065_0007__Benen_r_0065_0008__ENNI Benen ENNI r_0065_0009__returned->r_0065_0007__Benen_r_0065_0008__ENNI [arg0] r_0065_0003__began began r_0065_0003__began->z_000_65_a_kyoto_2_15 [nim] r_0065_0005__Kyoto Kyoto r_0065_0003__began->r_0065_0005__Kyoto in [nim] r_0065_0001__The_r_0065_0002__sect The sect r_0065_0003__began->r_0065_0001__The_r_0065_0002__sect [arg0] 
fof(formula,axiom,
    ? [R_0065_0001__THE_R_0065_0002__SECT,R_0065_0005__KYOTO,Z_000_65_A_KYOTO_2_15,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_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)
      & z_000_65_a_kyoto_2_15(Z_000_65_A_KYOTO_2_15)
      & r_0065_0009__returned(R_0065_0009__RETURNED)
      & has_nim17(R_0065_0009__RETURNED,Z_000_65_A_KYOTO_2_15)
      & has_r_0065_0013__in_nim38(R_0065_0009__RETURNED,R_0065_0014__1236)
      & has_r_0065_0010__from_nim30(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)
      & r_0065_0003__began(R_0065_0003__BEGAN)
      & has_nim15(R_0065_0003__BEGAN,Z_000_65_A_KYOTO_2_15)
      & has_r_0065_0004__in_nim12(R_0065_0003__BEGAN,R_0065_0005__KYOTO)
      & has_arg0(R_0065_0003__BEGAN,R_0065_0001__THE_R_0065_0002__SECT) ) ).


n65_a_kyoto_2 n65_a_kyoto_2__1_1_1_1 The n65_a_kyoto_2__1_1_2_1 sect n65_a_kyoto_2__1_2_1 began n65_a_kyoto_2__1_3_1_1 in n65_a_kyoto_2__1_3_2_1_1 Kyoto n65_a_kyoto_2__1_4_1_1_1_1 when n65_a_kyoto_2__1_4_1_2_1_1 Benen n65_a_kyoto_2__1_4_1_2_2_1 ENNI n65_a_kyoto_2__1_4_1_3_1 returned n65_a_kyoto_2__1_4_1_4_1_1 from n65_a_kyoto_2__1_4_1_4_2_1_1 Song n65_a_kyoto_2__1_4_1_4_2_2_1 China n65_a_kyoto_2__1_4_1_5_1_1 in n65_a_kyoto_2__1_4_1_5_2_1_1 1236 n65_a_kyoto_2__1_5_1 . n65_a_kyoto_2__1 IP-MAT n65_a_kyoto_2__1_1 NP-SBJ n65_a_kyoto_2__1->n65_a_kyoto_2__1_1 n65_a_kyoto_2__1_2 VBD;__ n65_a_kyoto_2__1->n65_a_kyoto_2__1_2 n65_a_kyoto_2__1_3 PP-NIM n65_a_kyoto_2__1->n65_a_kyoto_2__1_3 n65_a_kyoto_2__1_4 NP-NIM n65_a_kyoto_2__1->n65_a_kyoto_2__1_4 n65_a_kyoto_2__1_5 PUNC n65_a_kyoto_2__1->n65_a_kyoto_2__1_5 n65_a_kyoto_2__1_1_1 D n65_a_kyoto_2__1_1->n65_a_kyoto_2__1_1_1 n65_a_kyoto_2__1_1_2 N n65_a_kyoto_2__1_1->n65_a_kyoto_2__1_1_2 n65_a_kyoto_2__1_1_1->n65_a_kyoto_2__1_1_1_1 n65_a_kyoto_2__1_1_2->n65_a_kyoto_2__1_1_2_1 n65_a_kyoto_2__1_2->n65_a_kyoto_2__1_2_1 n65_a_kyoto_2__1_3_1 P-ROLE n65_a_kyoto_2__1_3->n65_a_kyoto_2__1_3_1 n65_a_kyoto_2__1_3_2 NP n65_a_kyoto_2__1_3->n65_a_kyoto_2__1_3_2 n65_a_kyoto_2__1_3_1->n65_a_kyoto_2__1_3_1_1 n65_a_kyoto_2__1_3_2_1 NPR n65_a_kyoto_2__1_3_2->n65_a_kyoto_2__1_3_2_1 n65_a_kyoto_2__1_3_2_1->n65_a_kyoto_2__1_3_2_1_1 n65_a_kyoto_2__1_4_1 IP-REL n65_a_kyoto_2__1_4->n65_a_kyoto_2__1_4_1 n65_a_kyoto_2__1_4_1_1 ADVP-NIM n65_a_kyoto_2__1_4_1->n65_a_kyoto_2__1_4_1_1 n65_a_kyoto_2__1_4_1_2 NP-SBJ n65_a_kyoto_2__1_4_1->n65_a_kyoto_2__1_4_1_2 n65_a_kyoto_2__1_4_1_3 VBD;__ n65_a_kyoto_2__1_4_1->n65_a_kyoto_2__1_4_1_3 n65_a_kyoto_2__1_4_1_4 PP-NIM n65_a_kyoto_2__1_4_1->n65_a_kyoto_2__1_4_1_4 n65_a_kyoto_2__1_4_1_5 PP-NIM n65_a_kyoto_2__1_4_1->n65_a_kyoto_2__1_4_1_5 n65_a_kyoto_2__1_4_1_1_1 RADV n65_a_kyoto_2__1_4_1_1->n65_a_kyoto_2__1_4_1_1_1 n65_a_kyoto_2__1_4_1_1_1->n65_a_kyoto_2__1_4_1_1_1_1 n65_a_kyoto_2__1_4_1_2_1 NPR n65_a_kyoto_2__1_4_1_2->n65_a_kyoto_2__1_4_1_2_1 n65_a_kyoto_2__1_4_1_2_2 NPR n65_a_kyoto_2__1_4_1_2->n65_a_kyoto_2__1_4_1_2_2 n65_a_kyoto_2__1_4_1_2_1->n65_a_kyoto_2__1_4_1_2_1_1 n65_a_kyoto_2__1_4_1_2_2->n65_a_kyoto_2__1_4_1_2_2_1 n65_a_kyoto_2__1_4_1_3->n65_a_kyoto_2__1_4_1_3_1 n65_a_kyoto_2__1_4_1_4_1 P-ROLE n65_a_kyoto_2__1_4_1_4->n65_a_kyoto_2__1_4_1_4_1 n65_a_kyoto_2__1_4_1_4_2 NP n65_a_kyoto_2__1_4_1_4->n65_a_kyoto_2__1_4_1_4_2 n65_a_kyoto_2__1_4_1_4_1->n65_a_kyoto_2__1_4_1_4_1_1 n65_a_kyoto_2__1_4_1_4_2_1 NPR n65_a_kyoto_2__1_4_1_4_2->n65_a_kyoto_2__1_4_1_4_2_1 n65_a_kyoto_2__1_4_1_4_2_2 NPR n65_a_kyoto_2__1_4_1_4_2->n65_a_kyoto_2__1_4_1_4_2_2 n65_a_kyoto_2__1_4_1_4_2_1->n65_a_kyoto_2__1_4_1_4_2_1_1 n65_a_kyoto_2__1_4_1_4_2_2->n65_a_kyoto_2__1_4_1_4_2_2_1 n65_a_kyoto_2__1_4_1_5_1 P-ROLE n65_a_kyoto_2__1_4_1_5->n65_a_kyoto_2__1_4_1_5_1 n65_a_kyoto_2__1_4_1_5_2 NP n65_a_kyoto_2__1_4_1_5->n65_a_kyoto_2__1_4_1_5_2 n65_a_kyoto_2__1_4_1_5_1->n65_a_kyoto_2__1_4_1_5_1_1 n65_a_kyoto_2__1_4_1_5_2_1 NPR n65_a_kyoto_2__1_4_1_5_2->n65_a_kyoto_2__1_4_1_5_2_1 n65_a_kyoto_2__1_4_1_5_2_1->n65_a_kyoto_2__1_4_1_5_2_1_1 n65_a_kyoto_2__1_5->n65_a_kyoto_2__1_5_1 
( (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))