26_a_kyoto_2
Even if the new master had not attained enlightenment, the disciples would have been able to do so if it is within a few generations from that of the master who gained enlightenment, therefore it is possible to take such a measure.

%3 r_0026_0001__Even_if Even if r_0026_0006__not not r_0026_0001__Even_if->r_0026_0006__not [restriction] r_0026_0019__if if r_0026_0001__Even_if->r_0026_0019__if [scope] r_0026_0005__had had r_0026_0006__not->r_0026_0005__had [keep_scope] r_0026_0012__would would r_0026_0019__if->r_0026_0012__would [scope] r_0026_0021__is is r_0026_0019__if->r_0026_0021__is [restriction] r_0026_0002__the_r_0026_0004__master the master r_0026_0003__new new r_0026_0002__the_r_0026_0004__master->r_0026_0003__new [attrib] r_0026_0007__attained attained r_0026_0005__had->r_0026_0007__attained [scope] r_0026_0007__attained->r_0026_0002__the_r_0026_0004__master [arg0] r_0026_0008__enlightenment enlightenment r_0026_0007__attained->r_0026_0008__enlightenment [arg1] r_0026_0013__have have r_0026_0012__would->r_0026_0013__have [scope] r_0026_0014__been been r_0026_0013__have->r_0026_0014__been [scope] r_0026_0010__the_r_0026_0011__disciples the disciples r_0026_0014__been->r_0026_0010__the_r_0026_0011__disciples [arg0] r_0026_0015__able able r_0026_0014__been->r_0026_0015__able [prd] r_0026_0016__to_r_0026_0017__do to do r_0026_0015__able->r_0026_0016__to_r_0026_0017__do [emb] r_0026_0018__so so r_0026_0016__to_r_0026_0017__do->r_0026_0018__so [clr] z_000_26_a_kyoto_2_44 r_0026_0016__to_r_0026_0017__do->z_000_26_a_kyoto_2_44 [arg0] r_0026_0023__a_few_r_0026_0024__generations a few generations r_0026_0021__is->r_0026_0023__a_few_r_0026_0024__generations within [clr] r_0026_0026__that that r_0026_0023__a_few_r_0026_0024__generations->r_0026_0026__that from r_0026_0028__the_r_0026_0029__master the master r_0026_0026__that->r_0026_0028__the_r_0026_0029__master of r_0026_0031__gained gained r_0026_0031__gained->r_0026_0028__the_r_0026_0029__master [arg0] r_0026_0032__enlightenment enlightenment r_0026_0031__gained->r_0026_0032__enlightenment [arg1] r_0026_0036__is is r_0026_0034__therefore therefore r_0026_0036__is->r_0026_0034__therefore [nim] r_0026_0037__possible possible r_0026_0036__is->r_0026_0037__possible [prd] r_0026_0038__to_r_0026_0039__take to take r_0026_0036__is->r_0026_0038__to_r_0026_0039__take [arg0] r_0026_0041__a_r_0026_0042__measure a measure r_0026_0038__to_r_0026_0039__take->r_0026_0041__a_r_0026_0042__measure [arg1] z_000_26_a_kyoto_2_99 r_0026_0038__to_r_0026_0039__take->z_000_26_a_kyoto_2_99 [arg0] r_0026_0040__such such r_0026_0041__a_r_0026_0042__measure->r_0026_0040__such [attrib] z_000_26_a_kyoto_2_2 z_000_26_a_kyoto_2_2->r_0026_0001__Even_if [conj1] z_000_26_a_kyoto_2_2->r_0026_0036__is [conj2]
arc(r_0026_0001__Even_if, r_0026_0006__not, restriction).
arc(r_0026_0001__Even_if, r_0026_0019__if, scope).
arc(r_0026_0002__the_r_0026_0004__master, r_0026_0003__new, attrib11).
arc(r_0026_0005__had, r_0026_0007__attained, scope).
arc(r_0026_0006__not, r_0026_0005__had, keep_scope).
arc(r_0026_0007__attained, r_0026_0002__the_r_0026_0004__master, arg0).
arc(r_0026_0007__attained, r_0026_0008__enlightenment, arg1).
arc(r_0026_0012__would, r_0026_0013__have, scope).
arc(r_0026_0013__have, r_0026_0014__been, scope).
arc(r_0026_0014__been, r_0026_0010__the_r_0026_0011__disciples, arg0).
arc(r_0026_0014__been, r_0026_0015__able, prd).
arc(r_0026_0015__able, r_0026_0016__to_r_0026_0017__do, emb44).
arc(r_0026_0016__to_r_0026_0017__do, r_0026_0018__so, clr49).
arc(r_0026_0016__to_r_0026_0017__do, z_000_26_a_kyoto_2_44, arg0).
arc(r_0026_0019__if, r_0026_0012__would, scope).
arc(r_0026_0019__if, r_0026_0021__is, restriction).
arc(r_0026_0021__is, r_0026_0023__a_few_r_0026_0024__generations, r_0026_0022__within_clr64).
arc(r_0026_0023__a_few_r_0026_0024__generations, r_0026_0026__that, r_0026_0025__from).
arc(r_0026_0026__that, r_0026_0028__the_r_0026_0029__master, r_0026_0027__of).
arc(r_0026_0031__gained, r_0026_0028__the_r_0026_0029__master, arg0).
arc(r_0026_0031__gained, r_0026_0032__enlightenment, arg1).
arc(r_0026_0036__is, r_0026_0034__therefore, nim96).
arc(r_0026_0036__is, r_0026_0037__possible, prd).
arc(r_0026_0036__is, r_0026_0038__to_r_0026_0039__take, arg0).
arc(r_0026_0038__to_r_0026_0039__take, r_0026_0041__a_r_0026_0042__measure, arg1).
arc(r_0026_0038__to_r_0026_0039__take, z_000_26_a_kyoto_2_99, arg0).
arc(r_0026_0041__a_r_0026_0042__measure, r_0026_0040__such, attrib113).
arc(z_000_26_a_kyoto_2_2, r_0026_0001__Even_if, conj1).
arc(z_000_26_a_kyoto_2_2, r_0026_0036__is, conj2).



%3 r_0026_0001__Even_if Even if r_0026_0006__not not r_0026_0001__Even_if->r_0026_0006__not [conj1] r_0026_0019__if if r_0026_0001__Even_if->r_0026_0019__if [conj2] r_0026_0005__had_r_0026_0007__attained had attained r_0026_0006__not->r_0026_0005__had_r_0026_0007__attained [keep_scope] r_0026_0012__would_r_0026_0013__have_r_0026_0014__been would have been r_0026_0019__if->r_0026_0012__would_r_0026_0013__have_r_0026_0014__been [scope] r_0026_0021__is is r_0026_0019__if->r_0026_0021__is [restriction] r_0026_0002__the_r_0026_0004__master the master r_0026_0003__new new r_0026_0002__the_r_0026_0004__master->r_0026_0003__new [attrib] r_0026_0005__had_r_0026_0007__attained->r_0026_0002__the_r_0026_0004__master [arg0] r_0026_0008__enlightenment enlightenment r_0026_0005__had_r_0026_0007__attained->r_0026_0008__enlightenment [arg1] r_0026_0010__the_r_0026_0011__disciples the disciples r_0026_0012__would_r_0026_0013__have_r_0026_0014__been->r_0026_0010__the_r_0026_0011__disciples [arg0] r_0026_0015__able able r_0026_0012__would_r_0026_0013__have_r_0026_0014__been->r_0026_0015__able [prd] r_0026_0016__to_r_0026_0017__do to do r_0026_0015__able->r_0026_0016__to_r_0026_0017__do [emb] r_0026_0018__so so r_0026_0016__to_r_0026_0017__do->r_0026_0018__so [clr] z_000_26_a_kyoto_2_44 r_0026_0016__to_r_0026_0017__do->z_000_26_a_kyoto_2_44 [arg0] r_0026_0023__a_few_r_0026_0024__generations a few generations r_0026_0021__is->r_0026_0023__a_few_r_0026_0024__generations within [clr] r_0026_0026__that that r_0026_0023__a_few_r_0026_0024__generations->r_0026_0026__that from r_0026_0028__the_r_0026_0029__master the master r_0026_0026__that->r_0026_0028__the_r_0026_0029__master of r_0026_0031__gained gained r_0026_0031__gained->r_0026_0028__the_r_0026_0029__master [arg0] r_0026_0032__enlightenment enlightenment r_0026_0031__gained->r_0026_0032__enlightenment [arg1] r_0026_0036__is is r_0026_0034__therefore therefore r_0026_0036__is->r_0026_0034__therefore [nim] r_0026_0037__possible possible r_0026_0036__is->r_0026_0037__possible [prd] r_0026_0038__to_r_0026_0039__take to take r_0026_0036__is->r_0026_0038__to_r_0026_0039__take [arg0] r_0026_0041__a_r_0026_0042__measure a measure r_0026_0038__to_r_0026_0039__take->r_0026_0041__a_r_0026_0042__measure [arg1] z_000_26_a_kyoto_2_99 r_0026_0038__to_r_0026_0039__take->z_000_26_a_kyoto_2_99 [arg0] r_0026_0040__such such r_0026_0041__a_r_0026_0042__measure->r_0026_0040__such [attrib] z_000_26_a_kyoto_2_2 z_000_26_a_kyoto_2_2->r_0026_0001__Even_if [conj1] z_000_26_a_kyoto_2_2->r_0026_0036__is [conj2]
fof(formula,axiom,
    ? [R_26_31_GAINED,R_26_28_THE_MASTER,R_26_32_ENLIGHTENMENT,Z_26_A_KYOTO_2_2,R_26_1_EVEN_IF,R_26_36_IS,R_26_38_TO_TAKE,Z_26_A_KYOTO_2_99,R_26_41_A_MEASURE,R_26_40_SUCH,R_26_34_THEREFORE,R_26_37_POSSIBLE] :
      ( the_master(R_26_28_THE_MASTER)
      & enlightenment(R_26_32_ENLIGHTENMENT)
      & such(R_26_40_SUCH)
      & therefore(R_26_34_THEREFORE)
      & possible(R_26_37_POSSIBLE)
      & gained(R_26_31_GAINED,R_26_28_THE_MASTER,R_26_32_ENLIGHTENMENT)
      & z_26_a_kyoto_2_2(Z_26_A_KYOTO_2_2)
      & conj1(Z_26_A_KYOTO_2_2,R_26_1_EVEN_IF)
      & ! [R_26_21_IS,R_26_23_A_FEW_GENERATIONS,R_26_26_THAT] :
          ( ( is(R_26_21_IS)
            & within_clr64(R_26_21_IS,R_26_23_A_FEW_GENERATIONS)
            & a_few_generations(R_26_23_A_FEW_GENERATIONS)
            & from(R_26_23_A_FEW_GENERATIONS,R_26_26_THAT)
            & that(R_26_26_THAT)
            & of(R_26_26_THAT,R_26_28_THE_MASTER) )
         => ? [R_26_12_WOULD_HAVE_BEEN,R_26_10_THE_DISCIPLES,R_26_15_ABLE,R_26_16_TO_DO,Z_26_A_KYOTO_2_44,R_26_18_SO] :
              ( the_disciples(R_26_10_THE_DISCIPLES)
              & so(R_26_18_SO)
              & would_have_been(R_26_12_WOULD_HAVE_BEEN,R_26_10_THE_DISCIPLES,R_26_15_ABLE)
              & able(R_26_15_ABLE)
              & emb44(R_26_15_ABLE,R_26_16_TO_DO)
              & to_do(R_26_16_TO_DO,Z_26_A_KYOTO_2_44)
              & clr49(R_26_16_TO_DO,R_26_18_SO) ) )
      & conj2(CONJ2)
      & even_if(R_26_1_EVEN_IF)
      & conj1(R_26_1_EVEN_IF,R_26_6_NOT)
      & ~ ? [R_26_5_HAD_ATTAINED,R_26_2_THE_MASTER,R_26_3_NEW,R_26_8_ENLIGHTENMENT] :
            ( new(R_26_3_NEW)
            & enlightenment(R_26_8_ENLIGHTENMENT)
            & had_attained(R_26_5_HAD_ATTAINED,R_26_2_THE_MASTER,R_26_8_ENLIGHTENMENT)
            & the_master(R_26_2_THE_MASTER)
            & attrib11(R_26_2_THE_MASTER,R_26_3_NEW) )
      & conj2(Z_26_A_KYOTO_2_2,R_26_36_IS)
      & is(R_26_36_IS,R_26_38_TO_TAKE,R_26_37_POSSIBLE)
      & to_take(R_26_38_TO_TAKE,Z_26_A_KYOTO_2_99,R_26_41_A_MEASURE)
      & a_measure(R_26_41_A_MEASURE)
      & attrib113(R_26_41_A_MEASURE,R_26_40_SUCH)
      & nim96(R_26_36_IS,R_26_34_THEREFORE) ) ).



n26_a_kyoto_2 n26_a_kyoto_2_6 Even_if n26_a_kyoto_2_10 the n26_a_kyoto_2_13 new n26_a_kyoto_2_15 master n26_a_kyoto_2_17 had n26_a_kyoto_2_19 not n26_a_kyoto_2_22 attained n26_a_kyoto_2_25 enlightenment n26_a_kyoto_2_27 , n26_a_kyoto_2_30 the n26_a_kyoto_2_32 disciples n26_a_kyoto_2_34 would n26_a_kyoto_2_37 have n26_a_kyoto_2_40 been n26_a_kyoto_2_43 able n26_a_kyoto_2_46 to n26_a_kyoto_2_48 do n26_a_kyoto_2_51 so n26_a_kyoto_2_54 if n26_a_kyoto_2_58 it n26_a_kyoto_2_60 is n26_a_kyoto_2_63 within n26_a_kyoto_2_66 a_few n26_a_kyoto_2_68 generations n26_a_kyoto_2_71 from n26_a_kyoto_2_74 that n26_a_kyoto_2_77 of n26_a_kyoto_2_80 the n26_a_kyoto_2_82 master n26_a_kyoto_2_86 who n26_a_kyoto_2_88 gained n26_a_kyoto_2_91 enlightenment n26_a_kyoto_2_93 , n26_a_kyoto_2_98 therefore n26_a_kyoto_2_101 it n26_a_kyoto_2_103 is n26_a_kyoto_2_106 possible n26_a_kyoto_2_109 to n26_a_kyoto_2_111 take n26_a_kyoto_2_115 such n26_a_kyoto_2_117 a n26_a_kyoto_2_119 measure n26_a_kyoto_2_121 . n26_a_kyoto_2_1 IP-MAT n26_a_kyoto_2_2 ILYR n26_a_kyoto_2_1->n26_a_kyoto_2_2 n26_a_kyoto_2_120 PUNC n26_a_kyoto_2_1->n26_a_kyoto_2_120 n26_a_kyoto_2_3 ILYR n26_a_kyoto_2_2->n26_a_kyoto_2_3 n26_a_kyoto_2_92 PUNC n26_a_kyoto_2_2->n26_a_kyoto_2_92 n26_a_kyoto_2_94 CONJP n26_a_kyoto_2_2->n26_a_kyoto_2_94 n26_a_kyoto_2_4 PP-SCON n26_a_kyoto_2_3->n26_a_kyoto_2_4 n26_a_kyoto_2_26 PUNC n26_a_kyoto_2_3->n26_a_kyoto_2_26 n26_a_kyoto_2_28 NP-SBJ n26_a_kyoto_2_3->n26_a_kyoto_2_28 n26_a_kyoto_2_33 MD;_cat_Vi_ n26_a_kyoto_2_3->n26_a_kyoto_2_33 n26_a_kyoto_2_35 IP-INF-CAT n26_a_kyoto_2_3->n26_a_kyoto_2_35 n26_a_kyoto_2_52 PP-SCON n26_a_kyoto_2_3->n26_a_kyoto_2_52 n26_a_kyoto_2_5 P-CONN n26_a_kyoto_2_4->n26_a_kyoto_2_5 n26_a_kyoto_2_7 IP-ADV n26_a_kyoto_2_4->n26_a_kyoto_2_7 n26_a_kyoto_2_5->n26_a_kyoto_2_6 n26_a_kyoto_2_8 NP-SBJ n26_a_kyoto_2_7->n26_a_kyoto_2_8 n26_a_kyoto_2_16 HVD;_cat_Ve_ n26_a_kyoto_2_7->n26_a_kyoto_2_16 n26_a_kyoto_2_18 NEG n26_a_kyoto_2_7->n26_a_kyoto_2_18 n26_a_kyoto_2_20 IP-PPL-CAT n26_a_kyoto_2_7->n26_a_kyoto_2_20 n26_a_kyoto_2_9 D n26_a_kyoto_2_8->n26_a_kyoto_2_9 n26_a_kyoto_2_11 ADJP n26_a_kyoto_2_8->n26_a_kyoto_2_11 n26_a_kyoto_2_14 N n26_a_kyoto_2_8->n26_a_kyoto_2_14 n26_a_kyoto_2_9->n26_a_kyoto_2_10 n26_a_kyoto_2_12 ADJ n26_a_kyoto_2_11->n26_a_kyoto_2_12 n26_a_kyoto_2_12->n26_a_kyoto_2_13 n26_a_kyoto_2_14->n26_a_kyoto_2_15 n26_a_kyoto_2_16->n26_a_kyoto_2_17 n26_a_kyoto_2_18->n26_a_kyoto_2_19 n26_a_kyoto_2_21 VVN;_Tn_ n26_a_kyoto_2_20->n26_a_kyoto_2_21 n26_a_kyoto_2_23 NP-OB1 n26_a_kyoto_2_20->n26_a_kyoto_2_23 n26_a_kyoto_2_21->n26_a_kyoto_2_22 n26_a_kyoto_2_24 N n26_a_kyoto_2_23->n26_a_kyoto_2_24 n26_a_kyoto_2_24->n26_a_kyoto_2_25 n26_a_kyoto_2_26->n26_a_kyoto_2_27 n26_a_kyoto_2_29 D n26_a_kyoto_2_28->n26_a_kyoto_2_29 n26_a_kyoto_2_31 NS n26_a_kyoto_2_28->n26_a_kyoto_2_31 n26_a_kyoto_2_29->n26_a_kyoto_2_30 n26_a_kyoto_2_31->n26_a_kyoto_2_32 n26_a_kyoto_2_33->n26_a_kyoto_2_34 n26_a_kyoto_2_36 HV;_cat_Ve_ n26_a_kyoto_2_35->n26_a_kyoto_2_36 n26_a_kyoto_2_38 IP-PPL-CAT n26_a_kyoto_2_35->n26_a_kyoto_2_38 n26_a_kyoto_2_36->n26_a_kyoto_2_37 n26_a_kyoto_2_39 BEN;_La_ n26_a_kyoto_2_38->n26_a_kyoto_2_39 n26_a_kyoto_2_41 ADJP-PRD n26_a_kyoto_2_38->n26_a_kyoto_2_41 n26_a_kyoto_2_39->n26_a_kyoto_2_40 n26_a_kyoto_2_42 ADJ;_cat_ n26_a_kyoto_2_41->n26_a_kyoto_2_42 n26_a_kyoto_2_44 IP-INF n26_a_kyoto_2_41->n26_a_kyoto_2_44 n26_a_kyoto_2_42->n26_a_kyoto_2_43 n26_a_kyoto_2_45 TO n26_a_kyoto_2_44->n26_a_kyoto_2_45 n26_a_kyoto_2_47 DO n26_a_kyoto_2_44->n26_a_kyoto_2_47 n26_a_kyoto_2_49 ADVP-CLR n26_a_kyoto_2_44->n26_a_kyoto_2_49 n26_a_kyoto_2_45->n26_a_kyoto_2_46 n26_a_kyoto_2_47->n26_a_kyoto_2_48 n26_a_kyoto_2_50 ADV n26_a_kyoto_2_49->n26_a_kyoto_2_50 n26_a_kyoto_2_50->n26_a_kyoto_2_51 n26_a_kyoto_2_53 P-CONN n26_a_kyoto_2_52->n26_a_kyoto_2_53 n26_a_kyoto_2_55 IP-ADV n26_a_kyoto_2_52->n26_a_kyoto_2_55 n26_a_kyoto_2_53->n26_a_kyoto_2_54 n26_a_kyoto_2_56 NP-SBJ n26_a_kyoto_2_55->n26_a_kyoto_2_56 n26_a_kyoto_2_59 BEP;_Ipr_ n26_a_kyoto_2_55->n26_a_kyoto_2_59 n26_a_kyoto_2_61 PP-CLR n26_a_kyoto_2_55->n26_a_kyoto_2_61 n26_a_kyoto_2_57 PRO;_expletive_ n26_a_kyoto_2_56->n26_a_kyoto_2_57 n26_a_kyoto_2_57->n26_a_kyoto_2_58 n26_a_kyoto_2_59->n26_a_kyoto_2_60 n26_a_kyoto_2_62 P-ROLE n26_a_kyoto_2_61->n26_a_kyoto_2_62 n26_a_kyoto_2_64 NP n26_a_kyoto_2_61->n26_a_kyoto_2_64 n26_a_kyoto_2_62->n26_a_kyoto_2_63 n26_a_kyoto_2_65 D n26_a_kyoto_2_64->n26_a_kyoto_2_65 n26_a_kyoto_2_67 NS n26_a_kyoto_2_64->n26_a_kyoto_2_67 n26_a_kyoto_2_69 PP n26_a_kyoto_2_64->n26_a_kyoto_2_69 n26_a_kyoto_2_65->n26_a_kyoto_2_66 n26_a_kyoto_2_67->n26_a_kyoto_2_68 n26_a_kyoto_2_70 P-ROLE n26_a_kyoto_2_69->n26_a_kyoto_2_70 n26_a_kyoto_2_72 NP n26_a_kyoto_2_69->n26_a_kyoto_2_72 n26_a_kyoto_2_70->n26_a_kyoto_2_71 n26_a_kyoto_2_73 D;_nphd_ n26_a_kyoto_2_72->n26_a_kyoto_2_73 n26_a_kyoto_2_75 PP n26_a_kyoto_2_72->n26_a_kyoto_2_75 n26_a_kyoto_2_73->n26_a_kyoto_2_74 n26_a_kyoto_2_76 P-ROLE n26_a_kyoto_2_75->n26_a_kyoto_2_76 n26_a_kyoto_2_78 NP n26_a_kyoto_2_75->n26_a_kyoto_2_78 n26_a_kyoto_2_76->n26_a_kyoto_2_77 n26_a_kyoto_2_79 D n26_a_kyoto_2_78->n26_a_kyoto_2_79 n26_a_kyoto_2_81 N n26_a_kyoto_2_78->n26_a_kyoto_2_81 n26_a_kyoto_2_83 IP-REL n26_a_kyoto_2_78->n26_a_kyoto_2_83 n26_a_kyoto_2_79->n26_a_kyoto_2_80 n26_a_kyoto_2_81->n26_a_kyoto_2_82 n26_a_kyoto_2_84 NP-SBJ n26_a_kyoto_2_83->n26_a_kyoto_2_84 n26_a_kyoto_2_87 VBD;_Tn_ n26_a_kyoto_2_83->n26_a_kyoto_2_87 n26_a_kyoto_2_89 NP-OB1 n26_a_kyoto_2_83->n26_a_kyoto_2_89 n26_a_kyoto_2_85 RPRO n26_a_kyoto_2_84->n26_a_kyoto_2_85 n26_a_kyoto_2_85->n26_a_kyoto_2_86 n26_a_kyoto_2_87->n26_a_kyoto_2_88 n26_a_kyoto_2_90 N n26_a_kyoto_2_89->n26_a_kyoto_2_90 n26_a_kyoto_2_90->n26_a_kyoto_2_91 n26_a_kyoto_2_92->n26_a_kyoto_2_93 n26_a_kyoto_2_95 ILYR n26_a_kyoto_2_94->n26_a_kyoto_2_95 n26_a_kyoto_2_96 ADVP-NIM n26_a_kyoto_2_95->n26_a_kyoto_2_96 n26_a_kyoto_2_99 NP-SBJ n26_a_kyoto_2_95->n26_a_kyoto_2_99 n26_a_kyoto_2_102 BEP;_La_ n26_a_kyoto_2_95->n26_a_kyoto_2_102 n26_a_kyoto_2_104 ADJP-PRD n26_a_kyoto_2_95->n26_a_kyoto_2_104 n26_a_kyoto_2_107 IP-INF-NSBJ n26_a_kyoto_2_95->n26_a_kyoto_2_107 n26_a_kyoto_2_97 ADV n26_a_kyoto_2_96->n26_a_kyoto_2_97 n26_a_kyoto_2_97->n26_a_kyoto_2_98 n26_a_kyoto_2_100 PRO;_provisional_ n26_a_kyoto_2_99->n26_a_kyoto_2_100 n26_a_kyoto_2_100->n26_a_kyoto_2_101 n26_a_kyoto_2_102->n26_a_kyoto_2_103 n26_a_kyoto_2_105 ADJ n26_a_kyoto_2_104->n26_a_kyoto_2_105 n26_a_kyoto_2_105->n26_a_kyoto_2_106 n26_a_kyoto_2_108 TO n26_a_kyoto_2_107->n26_a_kyoto_2_108 n26_a_kyoto_2_110 VB;_Tn_ n26_a_kyoto_2_107->n26_a_kyoto_2_110 n26_a_kyoto_2_112 NP-OB1 n26_a_kyoto_2_107->n26_a_kyoto_2_112 n26_a_kyoto_2_108->n26_a_kyoto_2_109 n26_a_kyoto_2_110->n26_a_kyoto_2_111 n26_a_kyoto_2_113 ADJP n26_a_kyoto_2_112->n26_a_kyoto_2_113 n26_a_kyoto_2_116 D n26_a_kyoto_2_112->n26_a_kyoto_2_116 n26_a_kyoto_2_118 N n26_a_kyoto_2_112->n26_a_kyoto_2_118 n26_a_kyoto_2_114 ADJ;_such_ n26_a_kyoto_2_113->n26_a_kyoto_2_114 n26_a_kyoto_2_114->n26_a_kyoto_2_115 n26_a_kyoto_2_116->n26_a_kyoto_2_117 n26_a_kyoto_2_118->n26_a_kyoto_2_119 n26_a_kyoto_2_120->n26_a_kyoto_2_121
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN Even_if;{even_if})
                               (IP-ADV (NP-SBJ (D the;{the})
                                               (ADJP (ADJ new;{new}))
                                               (N master;{master}))
                                       (HVD;_cat_Ve_ had;{have})
                                       (NEG not;{not})
                                       (IP-PPL-CAT (VVN;_Tn_ attained;{attain})
                                                   (NP-OB1 (N enlightenment;{enlightenment})))))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (NS disciples;{disciple}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (BEN;_La_ been;{be})
                                              (ADJP-PRD (ADJ;_cat_ able;{able})
                                                        (IP-INF (TO to;{to})
                                                                (DO do;{do})
                                                                (ADVP-CLR (ADV so;{so}))))))
                      (PP-SCON (P-CONN if;{if})
                               (IP-ADV (NP-SBJ (PRO;_expletive_ it;{it}))
                                       (BEP;_Ipr_ is;{be[within]})
                                       (PP-CLR (P-ROLE within;{within})
                                               (NP (D a_few;{a_few})
                                                   (NS generations;{generation})
                                                   (PP (P-ROLE from;{from})
                                                       (NP (D;_nphd_ that;{that})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (D the;{the})
                                                                   (N master;{master})
                                                                   (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                           (VBD;_Tn_ gained;{gain})
                                                                           (NP-OB1 (N enlightenment;{enlightenment}))))))))))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV therefore;{therefore}))
                             (NP-SBJ (PRO;_provisional_ it;{it}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADJ possible;{possible}))
                             (IP-INF-NSBJ (TO to;{to})
                                          (VB;_Tn_ take;{take})
                                          (NP-OB1 (ADJP (ADJ;_such_ such;{such}))
                                                  (D a;{a})
                                                  (N measure;{measure}))))))
          (PUNC .))
  (ID 26_a_kyoto_2;BDS_00002;26))