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_0018__was_r_0049_0019__composed was composed z_000_49_a_kyoto_2_55 r_0049_0018__was_r_0049_0019__composed->z_000_49_a_kyoto_2_55 [arg0] 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] r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system The Koan system r_0049_0018__was_r_0049_0019__composed->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0017__and and r_0049_0017__and->r_0049_0018__was_r_0049_0019__composed [conj2] r_0049_0004__was_r_0049_0005__established was established r_0049_0017__and->r_0049_0004__was_r_0049_0005__established [conj1] r_0049_0004__was_r_0049_0005__established->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] 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] r_0049_0007__collecting collecting r_0049_0004__was_r_0049_0005__established->r_0049_0007__collecting by [nim] 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_0016__disciples disciples r_0049_0015__leading leading r_0049_0016__disciples->r_0049_0015__leading [attrib] r_0049_0012__a_r_0049_0013__method->r_0049_0016__disciples for z_000_49_a_kyoto_2_21 r_0049_0007__collecting->z_000_49_a_kyoto_2_21 [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]
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__1_1_1_1 The n49_a_kyoto_2__1_1_2_1 Koan n49_a_kyoto_2__1_1_3_1 system n49_a_kyoto_2__1_2_1_1_1 was n49_a_kyoto_2__1_2_1_2_1_1 * n49_a_kyoto_2__1_2_1_2_2_1 established n49_a_kyoto_2__1_2_1_2_3_1_1 by n49_a_kyoto_2__1_2_1_2_3_2_1_1 collecting n49_a_kyoto_2__1_2_1_2_3_2_2_1_1 these n49_a_kyoto_2__1_2_1_2_3_2_2_2_1 Koan n49_a_kyoto_2__1_2_1_2_3_2_2_3_1 stories n49_a_kyoto_2__1_2_1_2_4_1_1 as n49_a_kyoto_2__1_2_1_2_4_2_1_1 a n49_a_kyoto_2__1_2_1_2_4_2_2_1 method n49_a_kyoto_2__1_2_1_2_4_2_3_1_1 for n49_a_kyoto_2__1_2_1_2_4_2_3_2_1_1_1 leading n49_a_kyoto_2__1_2_1_2_4_2_3_2_2_1 disciples n49_a_kyoto_2__1_2_2_1_1 and n49_a_kyoto_2__1_2_2_2_1_1 was n49_a_kyoto_2__1_2_2_2_2_1_1 * n49_a_kyoto_2__1_2_2_2_2_2_1 composed n49_a_kyoto_2__1_2_2_2_2_3_1_1 of n49_a_kyoto_2__1_2_2_2_2_3_2_1_1 500_to_1900 n49_a_kyoto_2__1_2_2_2_2_3_2_2_1 Koan n49_a_kyoto_2__1_2_2_2_2_3_2_3_1 stories n49_a_kyoto_2__1_3_1 . n49_a_kyoto_2__1 IP-MAT n49_a_kyoto_2__1_1 NP-SBJ n49_a_kyoto_2__1->n49_a_kyoto_2__1_1 n49_a_kyoto_2__1_2 ILYR n49_a_kyoto_2__1->n49_a_kyoto_2__1_2 n49_a_kyoto_2__1_3 PUNC n49_a_kyoto_2__1->n49_a_kyoto_2__1_3 n49_a_kyoto_2__1_1_1 D n49_a_kyoto_2__1_1->n49_a_kyoto_2__1_1_1 n49_a_kyoto_2__1_1_2 N n49_a_kyoto_2__1_1->n49_a_kyoto_2__1_1_2 n49_a_kyoto_2__1_1_3 N n49_a_kyoto_2__1_1->n49_a_kyoto_2__1_1_3 n49_a_kyoto_2__1_1_1->n49_a_kyoto_2__1_1_1_1 n49_a_kyoto_2__1_1_2->n49_a_kyoto_2__1_1_2_1 n49_a_kyoto_2__1_1_3->n49_a_kyoto_2__1_1_3_1 n49_a_kyoto_2__1_2_1 ILYR n49_a_kyoto_2__1_2->n49_a_kyoto_2__1_2_1 n49_a_kyoto_2__1_2_2 CONJP n49_a_kyoto_2__1_2->n49_a_kyoto_2__1_2_2 n49_a_kyoto_2__1_2_1_1 BED;_cat_VePASS_ n49_a_kyoto_2__1_2_1->n49_a_kyoto_2__1_2_1_1 n49_a_kyoto_2__1_2_1_2 IP-PPL-CAT n49_a_kyoto_2__1_2_1->n49_a_kyoto_2__1_2_1_2 n49_a_kyoto_2__1_2_1_1->n49_a_kyoto_2__1_2_1_1_1 n49_a_kyoto_2__1_2_1_2_1 NP-LGS n49_a_kyoto_2__1_2_1_2->n49_a_kyoto_2__1_2_1_2_1 n49_a_kyoto_2__1_2_1_2_2 VVN;_Cn.n/a_ n49_a_kyoto_2__1_2_1_2->n49_a_kyoto_2__1_2_1_2_2 n49_a_kyoto_2__1_2_1_2_3 PP-NIM n49_a_kyoto_2__1_2_1_2->n49_a_kyoto_2__1_2_1_2_3 n49_a_kyoto_2__1_2_1_2_4 PP-PRD n49_a_kyoto_2__1_2_1_2->n49_a_kyoto_2__1_2_1_2_4 n49_a_kyoto_2__1_2_1_2_1->n49_a_kyoto_2__1_2_1_2_1_1 n49_a_kyoto_2__1_2_1_2_2->n49_a_kyoto_2__1_2_1_2_2_1 n49_a_kyoto_2__1_2_1_2_3_1 P-ROLE n49_a_kyoto_2__1_2_1_2_3->n49_a_kyoto_2__1_2_1_2_3_1 n49_a_kyoto_2__1_2_1_2_3_2 IP-PPL3 n49_a_kyoto_2__1_2_1_2_3->n49_a_kyoto_2__1_2_1_2_3_2 n49_a_kyoto_2__1_2_1_2_3_1->n49_a_kyoto_2__1_2_1_2_3_1_1 n49_a_kyoto_2__1_2_1_2_3_2_1 VAG;_Tn_ n49_a_kyoto_2__1_2_1_2_3_2->n49_a_kyoto_2__1_2_1_2_3_2_1 n49_a_kyoto_2__1_2_1_2_3_2_2 NP-OB1 n49_a_kyoto_2__1_2_1_2_3_2->n49_a_kyoto_2__1_2_1_2_3_2_2 n49_a_kyoto_2__1_2_1_2_3_2_1->n49_a_kyoto_2__1_2_1_2_3_2_1_1 n49_a_kyoto_2__1_2_1_2_3_2_2_1 D n49_a_kyoto_2__1_2_1_2_3_2_2->n49_a_kyoto_2__1_2_1_2_3_2_2_1 n49_a_kyoto_2__1_2_1_2_3_2_2_2 N n49_a_kyoto_2__1_2_1_2_3_2_2->n49_a_kyoto_2__1_2_1_2_3_2_2_2 n49_a_kyoto_2__1_2_1_2_3_2_2_3 NS n49_a_kyoto_2__1_2_1_2_3_2_2->n49_a_kyoto_2__1_2_1_2_3_2_2_3 n49_a_kyoto_2__1_2_1_2_3_2_2_1->n49_a_kyoto_2__1_2_1_2_3_2_2_1_1 n49_a_kyoto_2__1_2_1_2_3_2_2_2->n49_a_kyoto_2__1_2_1_2_3_2_2_2_1 n49_a_kyoto_2__1_2_1_2_3_2_2_3->n49_a_kyoto_2__1_2_1_2_3_2_2_3_1 n49_a_kyoto_2__1_2_1_2_4_1 P-ROLE n49_a_kyoto_2__1_2_1_2_4->n49_a_kyoto_2__1_2_1_2_4_1 n49_a_kyoto_2__1_2_1_2_4_2 NP n49_a_kyoto_2__1_2_1_2_4->n49_a_kyoto_2__1_2_1_2_4_2 n49_a_kyoto_2__1_2_1_2_4_1->n49_a_kyoto_2__1_2_1_2_4_1_1 n49_a_kyoto_2__1_2_1_2_4_2_1 D n49_a_kyoto_2__1_2_1_2_4_2->n49_a_kyoto_2__1_2_1_2_4_2_1 n49_a_kyoto_2__1_2_1_2_4_2_2 N n49_a_kyoto_2__1_2_1_2_4_2->n49_a_kyoto_2__1_2_1_2_4_2_2 n49_a_kyoto_2__1_2_1_2_4_2_3 PP n49_a_kyoto_2__1_2_1_2_4_2->n49_a_kyoto_2__1_2_1_2_4_2_3 n49_a_kyoto_2__1_2_1_2_4_2_1->n49_a_kyoto_2__1_2_1_2_4_2_1_1 n49_a_kyoto_2__1_2_1_2_4_2_2->n49_a_kyoto_2__1_2_1_2_4_2_2_1 n49_a_kyoto_2__1_2_1_2_4_2_3_1 P-ROLE n49_a_kyoto_2__1_2_1_2_4_2_3->n49_a_kyoto_2__1_2_1_2_4_2_3_1 n49_a_kyoto_2__1_2_1_2_4_2_3_2 NP n49_a_kyoto_2__1_2_1_2_4_2_3->n49_a_kyoto_2__1_2_1_2_4_2_3_2 n49_a_kyoto_2__1_2_1_2_4_2_3_1->n49_a_kyoto_2__1_2_1_2_4_2_3_1_1 n49_a_kyoto_2__1_2_1_2_4_2_3_2_1 ADJP n49_a_kyoto_2__1_2_1_2_4_2_3_2->n49_a_kyoto_2__1_2_1_2_4_2_3_2_1 n49_a_kyoto_2__1_2_1_2_4_2_3_2_2 NS n49_a_kyoto_2__1_2_1_2_4_2_3_2->n49_a_kyoto_2__1_2_1_2_4_2_3_2_2 n49_a_kyoto_2__1_2_1_2_4_2_3_2_1_1 ADJ n49_a_kyoto_2__1_2_1_2_4_2_3_2_1->n49_a_kyoto_2__1_2_1_2_4_2_3_2_1_1 n49_a_kyoto_2__1_2_1_2_4_2_3_2_1_1->n49_a_kyoto_2__1_2_1_2_4_2_3_2_1_1_1 n49_a_kyoto_2__1_2_1_2_4_2_3_2_2->n49_a_kyoto_2__1_2_1_2_4_2_3_2_2_1 n49_a_kyoto_2__1_2_2_1 CONJ n49_a_kyoto_2__1_2_2->n49_a_kyoto_2__1_2_2_1 n49_a_kyoto_2__1_2_2_2 ILYR n49_a_kyoto_2__1_2_2->n49_a_kyoto_2__1_2_2_2 n49_a_kyoto_2__1_2_2_1->n49_a_kyoto_2__1_2_2_1_1 n49_a_kyoto_2__1_2_2_2_1 BED;_cat_VePASS_ n49_a_kyoto_2__1_2_2_2->n49_a_kyoto_2__1_2_2_2_1 n49_a_kyoto_2__1_2_2_2_2 IP-PPL-CAT n49_a_kyoto_2__1_2_2_2->n49_a_kyoto_2__1_2_2_2_2 n49_a_kyoto_2__1_2_2_2_1->n49_a_kyoto_2__1_2_2_2_1_1 n49_a_kyoto_2__1_2_2_2_2_1 NP-LGS n49_a_kyoto_2__1_2_2_2_2->n49_a_kyoto_2__1_2_2_2_2_1 n49_a_kyoto_2__1_2_2_2_2_2 VVN;_Tn.pr_ n49_a_kyoto_2__1_2_2_2_2->n49_a_kyoto_2__1_2_2_2_2_2 n49_a_kyoto_2__1_2_2_2_2_3 PP-CLR n49_a_kyoto_2__1_2_2_2_2->n49_a_kyoto_2__1_2_2_2_2_3 n49_a_kyoto_2__1_2_2_2_2_1->n49_a_kyoto_2__1_2_2_2_2_1_1 n49_a_kyoto_2__1_2_2_2_2_2->n49_a_kyoto_2__1_2_2_2_2_2_1 n49_a_kyoto_2__1_2_2_2_2_3_1 P-ROLE n49_a_kyoto_2__1_2_2_2_2_3->n49_a_kyoto_2__1_2_2_2_2_3_1 n49_a_kyoto_2__1_2_2_2_2_3_2 NP n49_a_kyoto_2__1_2_2_2_2_3->n49_a_kyoto_2__1_2_2_2_2_3_2 n49_a_kyoto_2__1_2_2_2_2_3_1->n49_a_kyoto_2__1_2_2_2_2_3_1_1 n49_a_kyoto_2__1_2_2_2_2_3_2_1 NUM n49_a_kyoto_2__1_2_2_2_2_3_2->n49_a_kyoto_2__1_2_2_2_2_3_2_1 n49_a_kyoto_2__1_2_2_2_2_3_2_2 N n49_a_kyoto_2__1_2_2_2_2_3_2->n49_a_kyoto_2__1_2_2_2_2_3_2_2 n49_a_kyoto_2__1_2_2_2_2_3_2_3 NS n49_a_kyoto_2__1_2_2_2_2_3_2->n49_a_kyoto_2__1_2_2_2_2_3_2_3 n49_a_kyoto_2__1_2_2_2_2_3_2_1->n49_a_kyoto_2__1_2_2_2_2_3_2_1_1 n49_a_kyoto_2__1_2_2_2_2_3_2_2->n49_a_kyoto_2__1_2_2_2_2_3_2_2_1 n49_a_kyoto_2__1_2_2_2_2_3_2_3->n49_a_kyoto_2__1_2_2_2_2_3_2_3_1 n49_a_kyoto_2__1_3->n49_a_kyoto_2__1_3_1
( (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-PPL3 (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))