49_a_kyoto_2
The Koan system was established by collecting these Koan stories as a method for leading disciples and was composed of 500 to 1900 Koan stories.

%3 r_0049_0004__was was r_0049_0005__established established r_0049_0004__was->r_0049_0005__established [scope] r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system The Koan system r_0049_0005__established->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0007__collecting collecting r_0049_0005__established->r_0049_0007__collecting by [nim] r_0049_0012__a_r_0049_0013__method a method r_0049_0005__established->r_0049_0012__a_r_0049_0013__method [prd] z_000_49_a_kyoto_2_14 r_0049_0005__established->z_000_49_a_kyoto_2_14 [arg0] r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories these Koan stories r_0049_0007__collecting->r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories [arg1] z_000_49_a_kyoto_2_21 r_0049_0007__collecting->z_000_49_a_kyoto_2_21 [arg0] r_0049_0016__disciples disciples r_0049_0012__a_r_0049_0013__method->r_0049_0016__disciples for r_0049_0015__leading leading r_0049_0016__disciples->r_0049_0015__leading [attrib] r_0049_0017__and and r_0049_0017__and->r_0049_0004__was [conj1] r_0049_0018__was was r_0049_0017__and->r_0049_0018__was [conj2] r_0049_0019__composed composed r_0049_0018__was->r_0049_0019__composed [scope] r_0049_0019__composed->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0021__500_to_1900_r_0049_0022__Koan_r_0049_0023__stories 500 to 1900 Koan stories r_0049_0019__composed->r_0049_0021__500_to_1900_r_0049_0022__Koan_r_0049_0023__stories of [clr] z_000_49_a_kyoto_2_55 r_0049_0019__composed->z_000_49_a_kyoto_2_55 [arg0]
arc(r_0049_0004__was, r_0049_0005__established, scope).
arc(r_0049_0005__established, r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system, arg1).
arc(r_0049_0005__established, r_0049_0007__collecting, r_0049_0006__by_nim21).
arc(r_0049_0005__established, r_0049_0012__a_r_0049_0013__method, prd).
arc(r_0049_0005__established, z_000_49_a_kyoto_2_14, arg0).
arc(r_0049_0007__collecting, r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories, arg1).
arc(r_0049_0007__collecting, z_000_49_a_kyoto_2_21, arg0).
arc(r_0049_0012__a_r_0049_0013__method, r_0049_0016__disciples, r_0049_0014__for).
arc(r_0049_0016__disciples, r_0049_0015__leading, attrib43).
arc(r_0049_0017__and, r_0049_0004__was, conj1).
arc(r_0049_0017__and, r_0049_0018__was, conj2).
arc(r_0049_0018__was, r_0049_0019__composed, scope).
arc(r_0049_0019__composed, r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system, arg1).
arc(r_0049_0019__composed, r_0049_0021__500_to_1900_r_0049_0022__Koan_r_0049_0023__stories, r_0049_0020__of_clr62).
arc(r_0049_0019__composed, z_000_49_a_kyoto_2_55, arg0).



%3 r_0049_0004__was_r_0049_0005__established was established r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system The Koan system r_0049_0004__was_r_0049_0005__established->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0007__collecting collecting r_0049_0004__was_r_0049_0005__established->r_0049_0007__collecting by [nim] r_0049_0012__a_r_0049_0013__method a method r_0049_0004__was_r_0049_0005__established->r_0049_0012__a_r_0049_0013__method [prd] z_000_49_a_kyoto_2_14 r_0049_0004__was_r_0049_0005__established->z_000_49_a_kyoto_2_14 [arg0] r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories these Koan stories r_0049_0007__collecting->r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories [arg1] z_000_49_a_kyoto_2_21 r_0049_0007__collecting->z_000_49_a_kyoto_2_21 [arg0] r_0049_0016__disciples disciples r_0049_0012__a_r_0049_0013__method->r_0049_0016__disciples for r_0049_0015__leading leading r_0049_0016__disciples->r_0049_0015__leading [attrib] r_0049_0017__and and r_0049_0017__and->r_0049_0004__was_r_0049_0005__established [conj1] r_0049_0018__was_r_0049_0019__composed was composed r_0049_0017__and->r_0049_0018__was_r_0049_0019__composed [conj2] r_0049_0018__was_r_0049_0019__composed->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0021__500_to_1900_r_0049_0022__Koan_r_0049_0023__stories 500 to 1900 Koan stories r_0049_0018__was_r_0049_0019__composed->r_0049_0021__500_to_1900_r_0049_0022__Koan_r_0049_0023__stories of [clr] z_000_49_a_kyoto_2_55 r_0049_0018__was_r_0049_0019__composed->z_000_49_a_kyoto_2_55 [arg0]
fof(formula,axiom,
    ? [R_49_17_AND,R_49_4_WAS_ESTABLISHED,Z_49_A_KYOTO_2_14,R_49_12_A_METHOD,R_49_16_DISCIPLES,R_49_15_LEADING,R_49_7_COLLECTING,Z_49_A_KYOTO_2_21,R_49_8_THESE_KOAN_STORIES,R_49_18_WAS_COMPOSED,Z_49_A_KYOTO_2_55,R_49_1_THE_KOAN_SYSTEM,R_49_21_500_TO_1900_KOAN_STORIES] :
      ( leading(R_49_15_LEADING)
      & these_Koan_stories(R_49_8_THESE_KOAN_STORIES)
      & the_Koan_system(R_49_1_THE_KOAN_SYSTEM)
      & 500_to_1900_Koan_stories(R_49_21_500_TO_1900_KOAN_STORIES)
      & and(R_49_17_AND)
      & conj1(R_49_17_AND,R_49_4_WAS_ESTABLISHED)
      & was_established(R_49_4_WAS_ESTABLISHED,Z_49_A_KYOTO_2_14,R_49_1_THE_KOAN_SYSTEM,R_49_12_A_METHOD)
      & a_method(R_49_12_A_METHOD)
      & for(R_49_12_A_METHOD,R_49_16_DISCIPLES)
      & disciples(R_49_16_DISCIPLES)
      & attrib43(R_49_16_DISCIPLES,R_49_15_LEADING)
      & by_nim21(R_49_4_WAS_ESTABLISHED,R_49_7_COLLECTING)
      & collecting(R_49_7_COLLECTING,Z_49_A_KYOTO_2_21,R_49_8_THESE_KOAN_STORIES)
      & conj2(R_49_17_AND,R_49_18_WAS_COMPOSED)
      & was_composed(R_49_18_WAS_COMPOSED,Z_49_A_KYOTO_2_55,R_49_1_THE_KOAN_SYSTEM)
      & of_clr62(R_49_18_WAS_COMPOSED,R_49_21_500_TO_1900_KOAN_STORIES) ) ).



n49_a_kyoto_2 n49_a_kyoto_2_4 The n49_a_kyoto_2_6 Koan n49_a_kyoto_2_8 system n49_a_kyoto_2_12 was n49_a_kyoto_2_15 * n49_a_kyoto_2_17 established n49_a_kyoto_2_20 by n49_a_kyoto_2_23 collecting n49_a_kyoto_2_26 these n49_a_kyoto_2_28 Koan n49_a_kyoto_2_30 stories n49_a_kyoto_2_33 as n49_a_kyoto_2_36 a n49_a_kyoto_2_38 method n49_a_kyoto_2_41 for n49_a_kyoto_2_45 leading n49_a_kyoto_2_47 disciples n49_a_kyoto_2_50 and n49_a_kyoto_2_53 was n49_a_kyoto_2_56 * n49_a_kyoto_2_58 composed n49_a_kyoto_2_61 of n49_a_kyoto_2_64 500_to_1900 n49_a_kyoto_2_66 Koan n49_a_kyoto_2_68 stories n49_a_kyoto_2_70 . n49_a_kyoto_2_1 IP-MAT n49_a_kyoto_2_2 NP-SBJ n49_a_kyoto_2_1->n49_a_kyoto_2_2 n49_a_kyoto_2_9 ILYR n49_a_kyoto_2_1->n49_a_kyoto_2_9 n49_a_kyoto_2_69 PUNC n49_a_kyoto_2_1->n49_a_kyoto_2_69 n49_a_kyoto_2_3 D n49_a_kyoto_2_2->n49_a_kyoto_2_3 n49_a_kyoto_2_5 N n49_a_kyoto_2_2->n49_a_kyoto_2_5 n49_a_kyoto_2_7 N n49_a_kyoto_2_2->n49_a_kyoto_2_7 n49_a_kyoto_2_3->n49_a_kyoto_2_4 n49_a_kyoto_2_5->n49_a_kyoto_2_6 n49_a_kyoto_2_7->n49_a_kyoto_2_8 n49_a_kyoto_2_10 ILYR n49_a_kyoto_2_9->n49_a_kyoto_2_10 n49_a_kyoto_2_48 CONJP n49_a_kyoto_2_9->n49_a_kyoto_2_48 n49_a_kyoto_2_11 BED;_cat_VePASS_ n49_a_kyoto_2_10->n49_a_kyoto_2_11 n49_a_kyoto_2_13 IP-PPL-CAT n49_a_kyoto_2_10->n49_a_kyoto_2_13 n49_a_kyoto_2_11->n49_a_kyoto_2_12 n49_a_kyoto_2_14 NP-LGS n49_a_kyoto_2_13->n49_a_kyoto_2_14 n49_a_kyoto_2_16 VVN;_Cn.n/a_ n49_a_kyoto_2_13->n49_a_kyoto_2_16 n49_a_kyoto_2_18 PP-NIM n49_a_kyoto_2_13->n49_a_kyoto_2_18 n49_a_kyoto_2_31 PP-PRD n49_a_kyoto_2_13->n49_a_kyoto_2_31 n49_a_kyoto_2_14->n49_a_kyoto_2_15 n49_a_kyoto_2_16->n49_a_kyoto_2_17 n49_a_kyoto_2_19 P-ROLE n49_a_kyoto_2_18->n49_a_kyoto_2_19 n49_a_kyoto_2_21 IP-PPL n49_a_kyoto_2_18->n49_a_kyoto_2_21 n49_a_kyoto_2_19->n49_a_kyoto_2_20 n49_a_kyoto_2_22 VAG;_Tn_ n49_a_kyoto_2_21->n49_a_kyoto_2_22 n49_a_kyoto_2_24 NP-OB1 n49_a_kyoto_2_21->n49_a_kyoto_2_24 n49_a_kyoto_2_22->n49_a_kyoto_2_23 n49_a_kyoto_2_25 D n49_a_kyoto_2_24->n49_a_kyoto_2_25 n49_a_kyoto_2_27 N n49_a_kyoto_2_24->n49_a_kyoto_2_27 n49_a_kyoto_2_29 NS n49_a_kyoto_2_24->n49_a_kyoto_2_29 n49_a_kyoto_2_25->n49_a_kyoto_2_26 n49_a_kyoto_2_27->n49_a_kyoto_2_28 n49_a_kyoto_2_29->n49_a_kyoto_2_30 n49_a_kyoto_2_32 P-ROLE n49_a_kyoto_2_31->n49_a_kyoto_2_32 n49_a_kyoto_2_34 NP n49_a_kyoto_2_31->n49_a_kyoto_2_34 n49_a_kyoto_2_32->n49_a_kyoto_2_33 n49_a_kyoto_2_35 D n49_a_kyoto_2_34->n49_a_kyoto_2_35 n49_a_kyoto_2_37 N n49_a_kyoto_2_34->n49_a_kyoto_2_37 n49_a_kyoto_2_39 PP n49_a_kyoto_2_34->n49_a_kyoto_2_39 n49_a_kyoto_2_35->n49_a_kyoto_2_36 n49_a_kyoto_2_37->n49_a_kyoto_2_38 n49_a_kyoto_2_40 P-ROLE n49_a_kyoto_2_39->n49_a_kyoto_2_40 n49_a_kyoto_2_42 NP n49_a_kyoto_2_39->n49_a_kyoto_2_42 n49_a_kyoto_2_40->n49_a_kyoto_2_41 n49_a_kyoto_2_43 ADJP n49_a_kyoto_2_42->n49_a_kyoto_2_43 n49_a_kyoto_2_46 NS n49_a_kyoto_2_42->n49_a_kyoto_2_46 n49_a_kyoto_2_44 ADJ n49_a_kyoto_2_43->n49_a_kyoto_2_44 n49_a_kyoto_2_44->n49_a_kyoto_2_45 n49_a_kyoto_2_46->n49_a_kyoto_2_47 n49_a_kyoto_2_49 CONJ n49_a_kyoto_2_48->n49_a_kyoto_2_49 n49_a_kyoto_2_51 ILYR n49_a_kyoto_2_48->n49_a_kyoto_2_51 n49_a_kyoto_2_49->n49_a_kyoto_2_50 n49_a_kyoto_2_52 BED;_cat_VePASS_ n49_a_kyoto_2_51->n49_a_kyoto_2_52 n49_a_kyoto_2_54 IP-PPL-CAT n49_a_kyoto_2_51->n49_a_kyoto_2_54 n49_a_kyoto_2_52->n49_a_kyoto_2_53 n49_a_kyoto_2_55 NP-LGS n49_a_kyoto_2_54->n49_a_kyoto_2_55 n49_a_kyoto_2_57 VVN;_Tn.pr_ n49_a_kyoto_2_54->n49_a_kyoto_2_57 n49_a_kyoto_2_59 PP-CLR n49_a_kyoto_2_54->n49_a_kyoto_2_59 n49_a_kyoto_2_55->n49_a_kyoto_2_56 n49_a_kyoto_2_57->n49_a_kyoto_2_58 n49_a_kyoto_2_60 P-ROLE n49_a_kyoto_2_59->n49_a_kyoto_2_60 n49_a_kyoto_2_62 NP n49_a_kyoto_2_59->n49_a_kyoto_2_62 n49_a_kyoto_2_60->n49_a_kyoto_2_61 n49_a_kyoto_2_63 NUM n49_a_kyoto_2_62->n49_a_kyoto_2_63 n49_a_kyoto_2_65 N n49_a_kyoto_2_62->n49_a_kyoto_2_65 n49_a_kyoto_2_67 NS n49_a_kyoto_2_62->n49_a_kyoto_2_67 n49_a_kyoto_2_63->n49_a_kyoto_2_64 n49_a_kyoto_2_65->n49_a_kyoto_2_66 n49_a_kyoto_2_67->n49_a_kyoto_2_68 n49_a_kyoto_2_69->n49_a_kyoto_2_70
( (IP-MAT (NP-SBJ (D The;{the})
                  (N Koan;{koan})
                  (N system;{system}))
          (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n/a_ established;{establish[as]})
                                  (PP-NIM (P-ROLE by;{by})
                                          (IP-PPL (VAG;_Tn_ collecting;{collect})
                                                  (NP-OB1 (D these;{these})
                                                          (N Koan;{koan})
                                                          (NS stories;{story}))))
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (D a;{a})
                                              (N method;{method})
                                              (PP (P-ROLE for;{for})
                                                  (NP (ADJP (ADJ leading;{leading}))
                                                      (NS disciples;{disciple})))))))
                (CONJP (CONJ and;{and})
                       (ILYR (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn.pr_ composed;{compose[of]})
                                         (PP-CLR (P-ROLE of;{of})
                                                 (NP (NUM 500_to_1900)
                                                     (N Koan;{koan})
                                                     (NS stories;{story})))))))
          (PUNC .))
  (ID 49_a_kyoto_2;BDS_00002;49))