TSPC 26_a_kyoto

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.

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).

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) ) ).

( (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))