Context                Previous, Next                Top


107_a_kyoto_2
The sect was begun by Gensen MUMON in 1384.

%3 r_0107_0003__was was r_0107_0004__begun begun r_0107_0003__was->r_0107_0004__begun [scope] r_0107_0001__The_r_0107_0002__sect The sect r_0107_0004__begun->r_0107_0001__The_r_0107_0002__sect [arg1] r_0107_0006__Gensen_r_0107_0007__MUMON Gensen MUMON r_0107_0004__begun->r_0107_0006__Gensen_r_0107_0007__MUMON [arg0] r_0107_0009__1384 1384 r_0107_0004__begun->r_0107_0009__1384 in [nim] 
arc(r_0107_0003__was, r_0107_0004__begun, scope).
arc(r_0107_0004__begun, r_0107_0001__The_r_0107_0002__sect, arg1).
arc(r_0107_0004__begun, r_0107_0006__Gensen_r_0107_0007__MUMON, arg0).
arc(r_0107_0004__begun, r_0107_0009__1384, r_0107_0008__in_nim23).


%3 r_0107_0003__was_r_0107_0004__begun was begun r_0107_0001__The_r_0107_0002__sect The sect r_0107_0003__was_r_0107_0004__begun->r_0107_0001__The_r_0107_0002__sect [arg1] r_0107_0006__Gensen_r_0107_0007__MUMON Gensen MUMON r_0107_0003__was_r_0107_0004__begun->r_0107_0006__Gensen_r_0107_0007__MUMON [arg0] r_0107_0009__1384 1384 r_0107_0003__was_r_0107_0004__begun->r_0107_0009__1384 in [nim] 
fof(formula,axiom,
    ? [R_107_3_WAS_BEGUN,R_107_6_GENSEN_MUMON,R_107_1_THE_SECT,R_107_9_1384] :
      ( gensen_MUMON(R_107_6_GENSEN_MUMON)
      & the_sect(R_107_1_THE_SECT)
      & 1384(R_107_9_1384)
      & was_begun(R_107_3_WAS_BEGUN,R_107_6_GENSEN_MUMON,R_107_1_THE_SECT)
      & in_nim23(R_107_3_WAS_BEGUN,R_107_9_1384) ) ).


n107_a_kyoto_2 n107_a_kyoto_2_4 The n107_a_kyoto_2_6 sect n107_a_kyoto_2_8 was n107_a_kyoto_2_11 begun n107_a_kyoto_2_14 by n107_a_kyoto_2_17 Gensen n107_a_kyoto_2_19 MUMON n107_a_kyoto_2_22 in n107_a_kyoto_2_25 1384 n107_a_kyoto_2_27 . n107_a_kyoto_2_1 IP-MAT n107_a_kyoto_2_2 NP-SBJ n107_a_kyoto_2_1->n107_a_kyoto_2_2 n107_a_kyoto_2_7 BED;_cat_VePASS_ n107_a_kyoto_2_1->n107_a_kyoto_2_7 n107_a_kyoto_2_9 IP-PPL-CAT n107_a_kyoto_2_1->n107_a_kyoto_2_9 n107_a_kyoto_2_26 PUNC n107_a_kyoto_2_1->n107_a_kyoto_2_26 n107_a_kyoto_2_3 D n107_a_kyoto_2_2->n107_a_kyoto_2_3 n107_a_kyoto_2_5 N n107_a_kyoto_2_2->n107_a_kyoto_2_5 n107_a_kyoto_2_3->n107_a_kyoto_2_4 n107_a_kyoto_2_5->n107_a_kyoto_2_6 n107_a_kyoto_2_7->n107_a_kyoto_2_8 n107_a_kyoto_2_10 VVN;__ n107_a_kyoto_2_9->n107_a_kyoto_2_10 n107_a_kyoto_2_12 PP-LGS n107_a_kyoto_2_9->n107_a_kyoto_2_12 n107_a_kyoto_2_20 PP-NIM n107_a_kyoto_2_9->n107_a_kyoto_2_20 n107_a_kyoto_2_10->n107_a_kyoto_2_11 n107_a_kyoto_2_13 P-ROLE;_lgs_ n107_a_kyoto_2_12->n107_a_kyoto_2_13 n107_a_kyoto_2_15 NP n107_a_kyoto_2_12->n107_a_kyoto_2_15 n107_a_kyoto_2_13->n107_a_kyoto_2_14 n107_a_kyoto_2_16 NPR n107_a_kyoto_2_15->n107_a_kyoto_2_16 n107_a_kyoto_2_18 NPR n107_a_kyoto_2_15->n107_a_kyoto_2_18 n107_a_kyoto_2_16->n107_a_kyoto_2_17 n107_a_kyoto_2_18->n107_a_kyoto_2_19 n107_a_kyoto_2_21 P-ROLE n107_a_kyoto_2_20->n107_a_kyoto_2_21 n107_a_kyoto_2_23 NP n107_a_kyoto_2_20->n107_a_kyoto_2_23 n107_a_kyoto_2_21->n107_a_kyoto_2_22 n107_a_kyoto_2_24 NPR n107_a_kyoto_2_23->n107_a_kyoto_2_24 n107_a_kyoto_2_24->n107_a_kyoto_2_25 n107_a_kyoto_2_26->n107_a_kyoto_2_27 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N sect;{sect}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;__ begun;{begin})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NPR Gensen;{Gensen})
                                  (NPR MUMON;{Mumon})))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR 1384))))
          (PUNC .))
  (ID 107_a_kyoto_2;BDS_00002;106))