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_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] 
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) ) ).


n65_a_kyoto_2 n65_a_kyoto_2_4 The n65_a_kyoto_2_6 sect n65_a_kyoto_2_8 began n65_a_kyoto_2_11 in n65_a_kyoto_2_14 Kyoto n65_a_kyoto_2_19 when n65_a_kyoto_2_22 Benen n65_a_kyoto_2_24 ENNI n65_a_kyoto_2_26 returned n65_a_kyoto_2_29 from n65_a_kyoto_2_32 Song n65_a_kyoto_2_34 China n65_a_kyoto_2_37 in n65_a_kyoto_2_40 1236 n65_a_kyoto_2_42 . n65_a_kyoto_2_1 IP-MAT n65_a_kyoto_2_2 NP-SBJ n65_a_kyoto_2_1->n65_a_kyoto_2_2 n65_a_kyoto_2_7 VBD;__ n65_a_kyoto_2_1->n65_a_kyoto_2_7 n65_a_kyoto_2_9 PP-NIM n65_a_kyoto_2_1->n65_a_kyoto_2_9 n65_a_kyoto_2_15 NP-NIM n65_a_kyoto_2_1->n65_a_kyoto_2_15 n65_a_kyoto_2_41 PUNC n65_a_kyoto_2_1->n65_a_kyoto_2_41 n65_a_kyoto_2_3 D n65_a_kyoto_2_2->n65_a_kyoto_2_3 n65_a_kyoto_2_5 N n65_a_kyoto_2_2->n65_a_kyoto_2_5 n65_a_kyoto_2_3->n65_a_kyoto_2_4 n65_a_kyoto_2_5->n65_a_kyoto_2_6 n65_a_kyoto_2_7->n65_a_kyoto_2_8 n65_a_kyoto_2_10 P-ROLE n65_a_kyoto_2_9->n65_a_kyoto_2_10 n65_a_kyoto_2_12 NP n65_a_kyoto_2_9->n65_a_kyoto_2_12 n65_a_kyoto_2_10->n65_a_kyoto_2_11 n65_a_kyoto_2_13 NPR n65_a_kyoto_2_12->n65_a_kyoto_2_13 n65_a_kyoto_2_13->n65_a_kyoto_2_14 n65_a_kyoto_2_16 IP-REL n65_a_kyoto_2_15->n65_a_kyoto_2_16 n65_a_kyoto_2_17 ADVP-NIM n65_a_kyoto_2_16->n65_a_kyoto_2_17 n65_a_kyoto_2_20 NP-SBJ n65_a_kyoto_2_16->n65_a_kyoto_2_20 n65_a_kyoto_2_25 VBD;__ n65_a_kyoto_2_16->n65_a_kyoto_2_25 n65_a_kyoto_2_27 PP-NIM n65_a_kyoto_2_16->n65_a_kyoto_2_27 n65_a_kyoto_2_35 PP-NIM n65_a_kyoto_2_16->n65_a_kyoto_2_35 n65_a_kyoto_2_18 RADV n65_a_kyoto_2_17->n65_a_kyoto_2_18 n65_a_kyoto_2_18->n65_a_kyoto_2_19 n65_a_kyoto_2_21 NPR n65_a_kyoto_2_20->n65_a_kyoto_2_21 n65_a_kyoto_2_23 NPR n65_a_kyoto_2_20->n65_a_kyoto_2_23 n65_a_kyoto_2_21->n65_a_kyoto_2_22 n65_a_kyoto_2_23->n65_a_kyoto_2_24 n65_a_kyoto_2_25->n65_a_kyoto_2_26 n65_a_kyoto_2_28 P-ROLE n65_a_kyoto_2_27->n65_a_kyoto_2_28 n65_a_kyoto_2_30 NP n65_a_kyoto_2_27->n65_a_kyoto_2_30 n65_a_kyoto_2_28->n65_a_kyoto_2_29 n65_a_kyoto_2_31 NPR n65_a_kyoto_2_30->n65_a_kyoto_2_31 n65_a_kyoto_2_33 NPR n65_a_kyoto_2_30->n65_a_kyoto_2_33 n65_a_kyoto_2_31->n65_a_kyoto_2_32 n65_a_kyoto_2_33->n65_a_kyoto_2_34 n65_a_kyoto_2_36 P-ROLE n65_a_kyoto_2_35->n65_a_kyoto_2_36 n65_a_kyoto_2_38 NP n65_a_kyoto_2_35->n65_a_kyoto_2_38 n65_a_kyoto_2_36->n65_a_kyoto_2_37 n65_a_kyoto_2_39 NPR n65_a_kyoto_2_38->n65_a_kyoto_2_39 n65_a_kyoto_2_39->n65_a_kyoto_2_40 n65_a_kyoto_2_41->n65_a_kyoto_2_42 
( (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))