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.

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 established n49_a_kyoto_2__1_2_1_2_2_1_1 by n49_a_kyoto_2__1_2_1_2_2_2_1_1 collecting n49_a_kyoto_2__1_2_1_2_2_2_2_1_1 these n49_a_kyoto_2__1_2_1_2_2_2_2_2_1 Koan n49_a_kyoto_2__1_2_1_2_2_2_2_3_1 stories n49_a_kyoto_2__1_2_1_2_3_1_1 as n49_a_kyoto_2__1_2_1_2_3_2_1_1 a n49_a_kyoto_2__1_2_1_2_3_2_2_1 method n49_a_kyoto_2__1_2_1_2_3_2_3_1_1 for n49_a_kyoto_2__1_2_1_2_3_2_3_2_1_1_1 leading n49_a_kyoto_2__1_2_1_2_3_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_1 500 n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_1_1 to n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2_1_1 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 VVN;_Cn.n/a_ 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 PP-LGS 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-PRD 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_1->n49_a_kyoto_2__1_2_1_2_1_1 n49_a_kyoto_2__1_2_1_2_2_1 P-ROLE;_lgs_ 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_2_2 IP-PPL n49_a_kyoto_2__1_2_1_2_2->n49_a_kyoto_2__1_2_1_2_2_2 n49_a_kyoto_2__1_2_1_2_2_1->n49_a_kyoto_2__1_2_1_2_2_1_1 n49_a_kyoto_2__1_2_1_2_2_2_1 VAG;_Tn_ n49_a_kyoto_2__1_2_1_2_2_2->n49_a_kyoto_2__1_2_1_2_2_2_1 n49_a_kyoto_2__1_2_1_2_2_2_2 NP-OB1 n49_a_kyoto_2__1_2_1_2_2_2->n49_a_kyoto_2__1_2_1_2_2_2_2 n49_a_kyoto_2__1_2_1_2_2_2_1->n49_a_kyoto_2__1_2_1_2_2_2_1_1 n49_a_kyoto_2__1_2_1_2_2_2_2_1 D n49_a_kyoto_2__1_2_1_2_2_2_2->n49_a_kyoto_2__1_2_1_2_2_2_2_1 n49_a_kyoto_2__1_2_1_2_2_2_2_2 N n49_a_kyoto_2__1_2_1_2_2_2_2->n49_a_kyoto_2__1_2_1_2_2_2_2_2 n49_a_kyoto_2__1_2_1_2_2_2_2_3 NS n49_a_kyoto_2__1_2_1_2_2_2_2->n49_a_kyoto_2__1_2_1_2_2_2_2_3 n49_a_kyoto_2__1_2_1_2_2_2_2_1->n49_a_kyoto_2__1_2_1_2_2_2_2_1_1 n49_a_kyoto_2__1_2_1_2_2_2_2_2->n49_a_kyoto_2__1_2_1_2_2_2_2_2_1 n49_a_kyoto_2__1_2_1_2_2_2_2_3->n49_a_kyoto_2__1_2_1_2_2_2_2_3_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 NP 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 D 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 N 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_3 PP n49_a_kyoto_2__1_2_1_2_3_2->n49_a_kyoto_2__1_2_1_2_3_2_3 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->n49_a_kyoto_2__1_2_1_2_3_2_2_1 n49_a_kyoto_2__1_2_1_2_3_2_3_1 P-ROLE n49_a_kyoto_2__1_2_1_2_3_2_3->n49_a_kyoto_2__1_2_1_2_3_2_3_1 n49_a_kyoto_2__1_2_1_2_3_2_3_2 NP n49_a_kyoto_2__1_2_1_2_3_2_3->n49_a_kyoto_2__1_2_1_2_3_2_3_2 n49_a_kyoto_2__1_2_1_2_3_2_3_1->n49_a_kyoto_2__1_2_1_2_3_2_3_1_1 n49_a_kyoto_2__1_2_1_2_3_2_3_2_1 ADJP n49_a_kyoto_2__1_2_1_2_3_2_3_2->n49_a_kyoto_2__1_2_1_2_3_2_3_2_1 n49_a_kyoto_2__1_2_1_2_3_2_3_2_2 NS n49_a_kyoto_2__1_2_1_2_3_2_3_2->n49_a_kyoto_2__1_2_1_2_3_2_3_2_2 n49_a_kyoto_2__1_2_1_2_3_2_3_2_1_1 ADJ n49_a_kyoto_2__1_2_1_2_3_2_3_2_1->n49_a_kyoto_2__1_2_1_2_3_2_3_2_1_1 n49_a_kyoto_2__1_2_1_2_3_2_3_2_1_1->n49_a_kyoto_2__1_2_1_2_3_2_3_2_1_1_1 n49_a_kyoto_2__1_2_1_2_3_2_3_2_2->n49_a_kyoto_2__1_2_1_2_3_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;__ 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 NLYR 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_1 NPR 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_1_2 PP n49_a_kyoto_2__1_2_2_2_2_3_2_1->n49_a_kyoto_2__1_2_2_2_2_3_2_1_2 n49_a_kyoto_2__1_2_2_2_2_3_2_1_1->n49_a_kyoto_2__1_2_2_2_2_3_2_1_1_1 n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_1 P-ROLE n49_a_kyoto_2__1_2_2_2_2_3_2_1_2->n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_1 n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2 NP n49_a_kyoto_2__1_2_2_2_2_3_2_1_2->n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2 n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_1->n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_1_1 n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2_1 NPR n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2->n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2_1 n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_2_1->n49_a_kyoto_2__1_2_2_2_2_3_2_1_2_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 (VVN;_Cn.n/a_ established;{establish[as]})
                                  (PP-LGS (P-ROLE;_lgs_ 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;__ composed;{compose[of]})
                                         (PP-CLR (P-ROLE of;{of})
                                                 (NP (NLYR (NPR 500)
                                                           (PP (P-ROLE to;{to})
                                                               (NP (NPR 1900))))
                                                     (N Koan;{koan})
                                                     (NS stories;{story})))))))
          (PUNC .))
  (ID 49_a_kyoto_2;BDS_00002;49))



%3 r_0049_0024__Koan_r_0049_0025__stories Koan stories r_0049_0021__500 500 r_0049_0024__Koan_r_0049_0025__stories->r_0049_0021__500 [nim] r_0049_0023__1900 1900 r_0049_0021__500->r_0049_0023__1900 to r_0049_0019__composed composed r_0049_0019__composed->r_0049_0024__Koan_r_0049_0025__stories of [clr] z_0049_5013___star_ * r_0049_0019__composed->z_0049_5013___star_ [arg0] r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system The Koan system r_0049_0019__composed->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0018__was was r_0049_0018__was->r_0049_0019__composed [scope] r_0049_0017__and and r_0049_0017__and->r_0049_0018__was [conj2] r_0049_0004__was was r_0049_0017__and->r_0049_0004__was [conj1] r_0049_0005__established established r_0049_0004__was->r_0049_0005__established [scope] 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 a method r_0049_0012__a_r_0049_0013__method->r_0049_0016__disciples for r_0049_0007__collecting collecting r_0049_0007__collecting->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [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] r_0049_0005__established->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [arg1] r_0049_0005__established->r_0049_0012__a_r_0049_0013__method as [prd] r_0049_0005__established->r_0049_0007__collecting [by_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_arg0).
arc(r_0049_0005__established,r_0049_0012__a_r_0049_0013__method,r_0049_0011__as__prd).
arc(r_0049_0007__collecting,r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system,arg0).
arc(r_0049_0007__collecting,r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories,arg1).
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,attrib).
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_0024__Koan_r_0049_0025__stories,r_0049_0020__of__clr).
arc(r_0049_0019__composed,z_0049_5013___star_,arg0).
arc(r_0049_0021__500,r_0049_0023__1900,r_0049_0022__to).
arc(r_0049_0024__Koan_r_0049_0025__stories,r_0049_0021__500,nim).



%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_arg0] 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 as [prd] r_0049_0007__collecting->r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system [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] 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_0024__Koan_r_0049_0025__stories Koan stories r_0049_0018__was_r_0049_0019__composed->r_0049_0024__Koan_r_0049_0025__stories of [clr] z_0049_5013___star_ * r_0049_0018__was_r_0049_0019__composed->z_0049_5013___star_ [arg0] r_0049_0021__500 500 r_0049_0024__Koan_r_0049_0025__stories->r_0049_0021__500 [nim] r_0049_0023__1900 1900 r_0049_0021__500->r_0049_0023__1900 to
fof(formula,axiom,
    ? [R_0049_0001__THE_R_0049_0002__KOAN_R_0049_0003__SYSTEM,R_0049_0008__THESE_R_0049_0009__KOAN_R_0049_0010__STORIES,R_0049_0007__COLLECTING,R_0049_0015__LEADING,R_0049_0016__DISCIPLES,R_0049_0012__A_R_0049_0013__METHOD,R_0049_0004__WAS_R_0049_0005__ESTABLISHED,R_0049_0023__1900,R_0049_0021__500,R_0049_0024__KOAN_R_0049_0025__STORIES,Z_0049_5013___STAR_,R_0049_0018__WAS_R_0049_0019__COMPOSED,R_0049_0017__AND] :
      ( r_0049_0001__The_r_0049_0002__Koan_r_0049_0003__system(R_0049_0001__THE_R_0049_0002__KOAN_R_0049_0003__SYSTEM)
      & r_0049_0008__these_r_0049_0009__Koan_r_0049_0010__stories(R_0049_0008__THESE_R_0049_0009__KOAN_R_0049_0010__STORIES)
      & r_0049_0015__leading(R_0049_0015__LEADING)
      & r_0049_0023__1900(R_0049_0023__1900)
      & z_0049_5013___star_(Z_0049_5013___STAR_)
      & r_0049_0017__and(R_0049_0017__AND)
      & has_conj2(R_0049_0017__AND,R_0049_0018__WAS_R_0049_0019__COMPOSED)
      & r_0049_0018__was_r_0049_0019__composed(R_0049_0018__WAS_R_0049_0019__COMPOSED)
      & has_arg0(R_0049_0018__WAS_R_0049_0019__COMPOSED,Z_0049_5013___STAR_)
      & has_r_0049_0020__of__clr(R_0049_0018__WAS_R_0049_0019__COMPOSED,R_0049_0024__KOAN_R_0049_0025__STORIES)
      & r_0049_0024__Koan_r_0049_0025__stories(R_0049_0024__KOAN_R_0049_0025__STORIES)
      & has_nim(R_0049_0024__KOAN_R_0049_0025__STORIES,R_0049_0021__500)
      & r_0049_0021__500(R_0049_0021__500)
      & has_r_0049_0022__to(R_0049_0021__500,R_0049_0023__1900)
      & has_arg1(R_0049_0018__WAS_R_0049_0019__COMPOSED,R_0049_0001__THE_R_0049_0002__KOAN_R_0049_0003__SYSTEM)
      & has_conj1(R_0049_0017__AND,R_0049_0004__WAS_R_0049_0005__ESTABLISHED)
      & r_0049_0004__was_r_0049_0005__established(R_0049_0004__WAS_R_0049_0005__ESTABLISHED)
      & has_r_0049_0011__as__prd(R_0049_0004__WAS_R_0049_0005__ESTABLISHED,R_0049_0012__A_R_0049_0013__METHOD)
      & r_0049_0012__a_r_0049_0013__method(R_0049_0012__A_R_0049_0013__METHOD)
      & has_r_0049_0014__for(R_0049_0012__A_R_0049_0013__METHOD,R_0049_0016__DISCIPLES)
      & r_0049_0016__disciples(R_0049_0016__DISCIPLES)
      & has_attrib(R_0049_0016__DISCIPLES,R_0049_0015__LEADING)
      & has_r_0049_0006__by_arg0(R_0049_0004__WAS_R_0049_0005__ESTABLISHED,R_0049_0007__COLLECTING)
      & r_0049_0007__collecting(R_0049_0007__COLLECTING)
      & has_arg1(R_0049_0007__COLLECTING,R_0049_0008__THESE_R_0049_0009__KOAN_R_0049_0010__STORIES)
      & has_arg0(R_0049_0007__COLLECTING,R_0049_0001__THE_R_0049_0002__KOAN_R_0049_0003__SYSTEM)
      & has_arg1(R_0049_0004__WAS_R_0049_0005__ESTABLISHED,R_0049_0001__THE_R_0049_0002__KOAN_R_0049_0003__SYSTEM) ) ).