Context                Previous, Next                Top


25_a_kyoto_2
Although masters choose their successors when they die, the successors have not necessarily attained enlightenment by that time, but that fact is only known to the master and the successor himself.

n25_a_kyoto_2 n25_a_kyoto_2__1_1_1_1_1_1 Although n25_a_kyoto_2__1_1_1_1_2_1_1_1 masters n25_a_kyoto_2__1_1_1_1_2_2_1 choose n25_a_kyoto_2__1_1_1_1_2_3_1_1_1 their n25_a_kyoto_2__1_1_1_1_2_3_2_1 successors n25_a_kyoto_2__1_1_1_1_2_4_1_1 when n25_a_kyoto_2__1_1_1_1_2_4_2_1_1_1 they n25_a_kyoto_2__1_1_1_1_2_4_2_2_1 die n25_a_kyoto_2__1_1_1_2_1 , n25_a_kyoto_2__1_1_1_3_1_1 the n25_a_kyoto_2__1_1_1_3_2_1 successors n25_a_kyoto_2__1_1_1_4_1 have n25_a_kyoto_2__1_1_1_5_1 not n25_a_kyoto_2__1_1_1_6_1_1_1 necessarily n25_a_kyoto_2__1_1_1_6_2_1 attained n25_a_kyoto_2__1_1_1_6_3_1_1 enlightenment n25_a_kyoto_2__1_1_1_6_4_1_1 by n25_a_kyoto_2__1_1_1_6_4_2_1_1 that n25_a_kyoto_2__1_1_1_6_4_2_2_1 time n25_a_kyoto_2__1_1_2_1 , n25_a_kyoto_2__1_1_3_1_1 but n25_a_kyoto_2__1_1_3_2_1_1_1 that n25_a_kyoto_2__1_1_3_2_1_2_1 fact n25_a_kyoto_2__1_1_3_2_2_1 is n25_a_kyoto_2__1_1_3_2_3_1_1_1 only n25_a_kyoto_2__1_1_3_2_3_2_1 known n25_a_kyoto_2__1_1_3_2_3_3_1_1 to n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_1_1 the n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_2_1 master n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_1_1 and n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_1_1 the n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_2_1 successor n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1_1_1 himself n25_a_kyoto_2__1_2_1 . n25_a_kyoto_2__1 IP-MAT n25_a_kyoto_2__1_1 ILYR n25_a_kyoto_2__1->n25_a_kyoto_2__1_1 n25_a_kyoto_2__1_2 PUNC n25_a_kyoto_2__1->n25_a_kyoto_2__1_2 n25_a_kyoto_2__1_1_1 ILYR n25_a_kyoto_2__1_1->n25_a_kyoto_2__1_1_1 n25_a_kyoto_2__1_1_2 PUNC n25_a_kyoto_2__1_1->n25_a_kyoto_2__1_1_2 n25_a_kyoto_2__1_1_3 CONJP n25_a_kyoto_2__1_1->n25_a_kyoto_2__1_1_3 n25_a_kyoto_2__1_1_1_1 PP-SCON n25_a_kyoto_2__1_1_1->n25_a_kyoto_2__1_1_1_1 n25_a_kyoto_2__1_1_1_2 PUNC n25_a_kyoto_2__1_1_1->n25_a_kyoto_2__1_1_1_2 n25_a_kyoto_2__1_1_1_3 NP-SBJ n25_a_kyoto_2__1_1_1->n25_a_kyoto_2__1_1_1_3 n25_a_kyoto_2__1_1_1_4 HVP;_cat_Ve_ n25_a_kyoto_2__1_1_1->n25_a_kyoto_2__1_1_1_4 n25_a_kyoto_2__1_1_1_5 NEG n25_a_kyoto_2__1_1_1->n25_a_kyoto_2__1_1_1_5 n25_a_kyoto_2__1_1_1_6 IP-PPL-CAT n25_a_kyoto_2__1_1_1->n25_a_kyoto_2__1_1_1_6 n25_a_kyoto_2__1_1_1_1_1 P-CONN n25_a_kyoto_2__1_1_1_1->n25_a_kyoto_2__1_1_1_1_1 n25_a_kyoto_2__1_1_1_1_2 IP-ADV n25_a_kyoto_2__1_1_1_1->n25_a_kyoto_2__1_1_1_1_2 n25_a_kyoto_2__1_1_1_1_1->n25_a_kyoto_2__1_1_1_1_1_1 n25_a_kyoto_2__1_1_1_1_2_1 NP-SBJ n25_a_kyoto_2__1_1_1_1_2->n25_a_kyoto_2__1_1_1_1_2_1 n25_a_kyoto_2__1_1_1_1_2_2 VBP;_Tn_ n25_a_kyoto_2__1_1_1_1_2->n25_a_kyoto_2__1_1_1_1_2_2 n25_a_kyoto_2__1_1_1_1_2_3 NP-OB1 n25_a_kyoto_2__1_1_1_1_2->n25_a_kyoto_2__1_1_1_1_2_3 n25_a_kyoto_2__1_1_1_1_2_4 PP-SCON n25_a_kyoto_2__1_1_1_1_2->n25_a_kyoto_2__1_1_1_1_2_4 n25_a_kyoto_2__1_1_1_1_2_1_1 NS n25_a_kyoto_2__1_1_1_1_2_1->n25_a_kyoto_2__1_1_1_1_2_1_1 n25_a_kyoto_2__1_1_1_1_2_1_1->n25_a_kyoto_2__1_1_1_1_2_1_1_1 n25_a_kyoto_2__1_1_1_1_2_2->n25_a_kyoto_2__1_1_1_1_2_2_1 n25_a_kyoto_2__1_1_1_1_2_3_1 NP-GEN n25_a_kyoto_2__1_1_1_1_2_3->n25_a_kyoto_2__1_1_1_1_2_3_1 n25_a_kyoto_2__1_1_1_1_2_3_2 NS n25_a_kyoto_2__1_1_1_1_2_3->n25_a_kyoto_2__1_1_1_1_2_3_2 n25_a_kyoto_2__1_1_1_1_2_3_1_1 PRO;_genm_ n25_a_kyoto_2__1_1_1_1_2_3_1->n25_a_kyoto_2__1_1_1_1_2_3_1_1 n25_a_kyoto_2__1_1_1_1_2_3_1_1->n25_a_kyoto_2__1_1_1_1_2_3_1_1_1 n25_a_kyoto_2__1_1_1_1_2_3_2->n25_a_kyoto_2__1_1_1_1_2_3_2_1 n25_a_kyoto_2__1_1_1_1_2_4_1 P-CONN n25_a_kyoto_2__1_1_1_1_2_4->n25_a_kyoto_2__1_1_1_1_2_4_1 n25_a_kyoto_2__1_1_1_1_2_4_2 IP-ADV n25_a_kyoto_2__1_1_1_1_2_4->n25_a_kyoto_2__1_1_1_1_2_4_2 n25_a_kyoto_2__1_1_1_1_2_4_1->n25_a_kyoto_2__1_1_1_1_2_4_1_1 n25_a_kyoto_2__1_1_1_1_2_4_2_1 NP-SBJ n25_a_kyoto_2__1_1_1_1_2_4_2->n25_a_kyoto_2__1_1_1_1_2_4_2_1 n25_a_kyoto_2__1_1_1_1_2_4_2_2 VBP;_I_ n25_a_kyoto_2__1_1_1_1_2_4_2->n25_a_kyoto_2__1_1_1_1_2_4_2_2 n25_a_kyoto_2__1_1_1_1_2_4_2_1_1 PRO n25_a_kyoto_2__1_1_1_1_2_4_2_1->n25_a_kyoto_2__1_1_1_1_2_4_2_1_1 n25_a_kyoto_2__1_1_1_1_2_4_2_1_1->n25_a_kyoto_2__1_1_1_1_2_4_2_1_1_1 n25_a_kyoto_2__1_1_1_1_2_4_2_2->n25_a_kyoto_2__1_1_1_1_2_4_2_2_1 n25_a_kyoto_2__1_1_1_2->n25_a_kyoto_2__1_1_1_2_1 n25_a_kyoto_2__1_1_1_3_1 D n25_a_kyoto_2__1_1_1_3->n25_a_kyoto_2__1_1_1_3_1 n25_a_kyoto_2__1_1_1_3_2 NS n25_a_kyoto_2__1_1_1_3->n25_a_kyoto_2__1_1_1_3_2 n25_a_kyoto_2__1_1_1_3_1->n25_a_kyoto_2__1_1_1_3_1_1 n25_a_kyoto_2__1_1_1_3_2->n25_a_kyoto_2__1_1_1_3_2_1 n25_a_kyoto_2__1_1_1_4->n25_a_kyoto_2__1_1_1_4_1 n25_a_kyoto_2__1_1_1_5->n25_a_kyoto_2__1_1_1_5_1 n25_a_kyoto_2__1_1_1_6_1 ADVP-NIM n25_a_kyoto_2__1_1_1_6->n25_a_kyoto_2__1_1_1_6_1 n25_a_kyoto_2__1_1_1_6_2 VVN;_Tn_ n25_a_kyoto_2__1_1_1_6->n25_a_kyoto_2__1_1_1_6_2 n25_a_kyoto_2__1_1_1_6_3 NP-OB1 n25_a_kyoto_2__1_1_1_6->n25_a_kyoto_2__1_1_1_6_3 n25_a_kyoto_2__1_1_1_6_4 PP-NIM n25_a_kyoto_2__1_1_1_6->n25_a_kyoto_2__1_1_1_6_4 n25_a_kyoto_2__1_1_1_6_1_1 ADV n25_a_kyoto_2__1_1_1_6_1->n25_a_kyoto_2__1_1_1_6_1_1 n25_a_kyoto_2__1_1_1_6_1_1->n25_a_kyoto_2__1_1_1_6_1_1_1 n25_a_kyoto_2__1_1_1_6_2->n25_a_kyoto_2__1_1_1_6_2_1 n25_a_kyoto_2__1_1_1_6_3_1 N n25_a_kyoto_2__1_1_1_6_3->n25_a_kyoto_2__1_1_1_6_3_1 n25_a_kyoto_2__1_1_1_6_3_1->n25_a_kyoto_2__1_1_1_6_3_1_1 n25_a_kyoto_2__1_1_1_6_4_1 P-ROLE n25_a_kyoto_2__1_1_1_6_4->n25_a_kyoto_2__1_1_1_6_4_1 n25_a_kyoto_2__1_1_1_6_4_2 NP n25_a_kyoto_2__1_1_1_6_4->n25_a_kyoto_2__1_1_1_6_4_2 n25_a_kyoto_2__1_1_1_6_4_1->n25_a_kyoto_2__1_1_1_6_4_1_1 n25_a_kyoto_2__1_1_1_6_4_2_1 D n25_a_kyoto_2__1_1_1_6_4_2->n25_a_kyoto_2__1_1_1_6_4_2_1 n25_a_kyoto_2__1_1_1_6_4_2_2 N n25_a_kyoto_2__1_1_1_6_4_2->n25_a_kyoto_2__1_1_1_6_4_2_2 n25_a_kyoto_2__1_1_1_6_4_2_1->n25_a_kyoto_2__1_1_1_6_4_2_1_1 n25_a_kyoto_2__1_1_1_6_4_2_2->n25_a_kyoto_2__1_1_1_6_4_2_2_1 n25_a_kyoto_2__1_1_2->n25_a_kyoto_2__1_1_2_1 n25_a_kyoto_2__1_1_3_1 CONJ n25_a_kyoto_2__1_1_3->n25_a_kyoto_2__1_1_3_1 n25_a_kyoto_2__1_1_3_2 ILYR n25_a_kyoto_2__1_1_3->n25_a_kyoto_2__1_1_3_2 n25_a_kyoto_2__1_1_3_1->n25_a_kyoto_2__1_1_3_1_1 n25_a_kyoto_2__1_1_3_2_1 NP-SBJ n25_a_kyoto_2__1_1_3_2->n25_a_kyoto_2__1_1_3_2_1 n25_a_kyoto_2__1_1_3_2_2 BEP;_La_ n25_a_kyoto_2__1_1_3_2->n25_a_kyoto_2__1_1_3_2_2 n25_a_kyoto_2__1_1_3_2_3 ADJP-PRD n25_a_kyoto_2__1_1_3_2->n25_a_kyoto_2__1_1_3_2_3 n25_a_kyoto_2__1_1_3_2_1_1 D n25_a_kyoto_2__1_1_3_2_1->n25_a_kyoto_2__1_1_3_2_1_1 n25_a_kyoto_2__1_1_3_2_1_2 N n25_a_kyoto_2__1_1_3_2_1->n25_a_kyoto_2__1_1_3_2_1_2 n25_a_kyoto_2__1_1_3_2_1_1->n25_a_kyoto_2__1_1_3_2_1_1_1 n25_a_kyoto_2__1_1_3_2_1_2->n25_a_kyoto_2__1_1_3_2_1_2_1 n25_a_kyoto_2__1_1_3_2_2->n25_a_kyoto_2__1_1_3_2_2_1 n25_a_kyoto_2__1_1_3_2_3_1 ADVP n25_a_kyoto_2__1_1_3_2_3->n25_a_kyoto_2__1_1_3_2_3_1 n25_a_kyoto_2__1_1_3_2_3_2 ADJ n25_a_kyoto_2__1_1_3_2_3->n25_a_kyoto_2__1_1_3_2_3_2 n25_a_kyoto_2__1_1_3_2_3_3 PP n25_a_kyoto_2__1_1_3_2_3->n25_a_kyoto_2__1_1_3_2_3_3 n25_a_kyoto_2__1_1_3_2_3_1_1 ADV n25_a_kyoto_2__1_1_3_2_3_1->n25_a_kyoto_2__1_1_3_2_3_1_1 n25_a_kyoto_2__1_1_3_2_3_1_1->n25_a_kyoto_2__1_1_3_2_3_1_1_1 n25_a_kyoto_2__1_1_3_2_3_2->n25_a_kyoto_2__1_1_3_2_3_2_1 n25_a_kyoto_2__1_1_3_2_3_3_1 P-ROLE n25_a_kyoto_2__1_1_3_2_3_3->n25_a_kyoto_2__1_1_3_2_3_3_1 n25_a_kyoto_2__1_1_3_2_3_3_2 NP n25_a_kyoto_2__1_1_3_2_3_3->n25_a_kyoto_2__1_1_3_2_3_3_2 n25_a_kyoto_2__1_1_3_2_3_3_1->n25_a_kyoto_2__1_1_3_2_3_3_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1 NLYR n25_a_kyoto_2__1_1_3_2_3_3_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_1 NLYR n25_a_kyoto_2__1_1_3_2_3_3_2_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2 CONJP n25_a_kyoto_2__1_1_3_2_3_3_2_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2 n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_1 D n25_a_kyoto_2__1_1_3_2_3_3_2_1_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_2 N n25_a_kyoto_2__1_1_3_2_3_3_2_1_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_2 n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_1_2_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_1 CONJ n25_a_kyoto_2__1_1_3_2_3_3_2_1_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2 NLYR n25_a_kyoto_2__1_1_3_2_3_3_2_1_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_1 D n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_2 N n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_2 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3 PRN n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_2->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_2_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1 NP n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1_1 PNX n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1_1 n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1_1->n25_a_kyoto_2__1_1_3_2_3_3_2_1_2_2_3_1_1_1 n25_a_kyoto_2__1_2->n25_a_kyoto_2__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN Although;{although})
                               (IP-ADV (NP-SBJ;{MASTERS} (NS masters;{master}))
                                       (VBP;_Tn_ choose;{choose})
                                       (NP-OB1 (NP-GEN;{MASTERS} (PRO;_genm_ their;{their}))
                                               (NS successors;{successor}))
                                       (PP-SCON (P-CONN when;{when})
                                                (IP-ADV (NP-SBJ;{MASTERS} (PRO they;{they}))
                                                        (VBP;_I_ die;{die})))))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (NS successors;{successor}))
                      (HVP;_cat_Ve_ have;{have})
                      (NEG not;{not})
                      (IP-PPL-CAT (ADVP-NIM (ADV necessarily;{necessarily}))
                                  (VVN;_Tn_ attained;{attain})
                                  (NP-OB1 (N enlightenment;{enlightenment}))
                                  (PP-NIM (P-ROLE by;{by})
                                          (NP (D that;{that})
                                              (N time;{time})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D that;{that})
                                     (N fact;{fact}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADVP (ADV only;{only}))
                                       (ADJ known;{know})
                                       (PP (P-ROLE to;{to})
                                           (NP (NLYR (NLYR (D the;{the})
                                                           (N master;{master}))
                                                     (CONJP (CONJ and;{and})
                                                            (NLYR (D the;{the})
                                                                  (N successor;{successor})
                                                                  (PRN (NP (PNX himself;{himself}))))))))))))
          (PUNC .))
  (ID 25_a_kyoto_2;BDS_00002;25))


%3 z_0025_5023 r_0025_0033__himself himself z_0025_5023->r_0025_0033__himself [prd] r_0025_0031__the_r_0025_0032__successor the successor z_0025_5023->r_0025_0031__the_r_0025_0032__successor [arg0] r_0025_0030__and and r_0025_0030__and->r_0025_0031__the_r_0025_0032__successor [conj2] r_0025_0028__the_r_0025_0029__master the master r_0025_0030__and->r_0025_0028__the_r_0025_0029__master [conj1] r_0025_0026__known known r_0025_0026__known->r_0025_0030__and to r_0025_0025__only only r_0025_0026__known->r_0025_0025__only [qual] r_0025_0024__is is r_0025_0024__is->r_0025_0026__known [prd] r_0025_0022__that_r_0025_0023__fact that fact r_0025_0024__is->r_0025_0022__that_r_0025_0023__fact [arg0] r_0025_0021__but but r_0025_0021__but->r_0025_0024__is [conj2] r_0025_0001__Although Although r_0025_0021__but->r_0025_0001__Although [conj1] r_0025_0013__not not r_0025_0001__Although->r_0025_0013__not [scope] r_0025_0006__when when r_0025_0001__Although->r_0025_0006__when [restriction] r_0025_0015__attained attained r_0025_0018__that_r_0025_0019__time that time r_0025_0015__attained->r_0025_0018__that_r_0025_0019__time by [nim] r_0025_0016__enlightenment enlightenment r_0025_0015__attained->r_0025_0016__enlightenment [arg1] r_0025_0014__necessarily necessarily r_0025_0015__attained->r_0025_0014__necessarily [nim] r_0025_0010__the_r_0025_0011__successors the successors r_0025_0015__attained->r_0025_0010__the_r_0025_0011__successors [arg0] r_0025_0012__have have r_0025_0013__not->r_0025_0012__have [keep_scope] r_0025_0012__have->r_0025_0015__attained [scope] r_0025_0008__die die r_0025_0002__masters masters r_0025_0008__die->r_0025_0002__masters [arg0] r_0025_0006__when->r_0025_0008__die [restriction] r_0025_0003__choose choose r_0025_0006__when->r_0025_0003__choose [scope] r_0025_0003__choose->r_0025_0002__masters [arg0] r_0025_0005__successors successors r_0025_0003__choose->r_0025_0005__successors [arg1] r_0025_0005__successors->r_0025_0002__masters [gen] 
arc(r_0025_0001__Although,r_0025_0006__when,restriction).
arc(r_0025_0001__Although,r_0025_0013__not,scope).
arc(r_0025_0003__choose,r_0025_0002__masters,arg0).
arc(r_0025_0003__choose,r_0025_0005__successors,arg1).
arc(r_0025_0005__successors,r_0025_0002__masters,gen).
arc(r_0025_0006__when,r_0025_0003__choose,scope).
arc(r_0025_0006__when,r_0025_0008__die,restriction).
arc(r_0025_0008__die,r_0025_0002__masters,arg0).
arc(r_0025_0012__have,r_0025_0015__attained,scope).
arc(r_0025_0013__not,r_0025_0012__have,keep_scope).
arc(r_0025_0015__attained,r_0025_0010__the_r_0025_0011__successors,arg0).
arc(r_0025_0015__attained,r_0025_0014__necessarily,nim).
arc(r_0025_0015__attained,r_0025_0016__enlightenment,arg1).
arc(r_0025_0015__attained,r_0025_0018__that_r_0025_0019__time,r_0025_0017__by__nim).
arc(r_0025_0021__but,r_0025_0001__Although,conj1).
arc(r_0025_0021__but,r_0025_0024__is,conj2).
arc(r_0025_0024__is,r_0025_0022__that_r_0025_0023__fact,arg0).
arc(r_0025_0024__is,r_0025_0026__known,prd).
arc(r_0025_0026__known,r_0025_0025__only,qual).
arc(r_0025_0026__known,r_0025_0030__and,r_0025_0027__to).
arc(r_0025_0030__and,r_0025_0028__the_r_0025_0029__master,conj1).
arc(r_0025_0030__and,r_0025_0031__the_r_0025_0032__successor,conj2).
arc(z_0025_5023,r_0025_0031__the_r_0025_0032__successor,arg0).
arc(z_0025_5023,r_0025_0033__himself,prd).


%3 r_0025_0001__Although Although r_0025_0006__when when r_0025_0001__Although->r_0025_0006__when [conj1] r_0025_0013__not not r_0025_0001__Although->r_0025_0013__not [conj2] r_0025_0003__choose choose r_0025_0006__when->r_0025_0003__choose [scope] r_0025_0008__die die r_0025_0006__when->r_0025_0008__die [restriction] r_0025_0012__have_r_0025_0015__attained have attained r_0025_0013__not->r_0025_0012__have_r_0025_0015__attained [keep_scope] r_0025_0002__masters masters r_0025_0003__choose->r_0025_0002__masters [arg0] r_0025_0005__successors successors r_0025_0003__choose->r_0025_0005__successors [arg1] r_0025_0005__successors->r_0025_0002__masters [gen] r_0025_0008__die->r_0025_0002__masters [arg0] r_0025_0010__the_r_0025_0011__successors the successors r_0025_0012__have_r_0025_0015__attained->r_0025_0010__the_r_0025_0011__successors [arg0] r_0025_0014__necessarily necessarily r_0025_0012__have_r_0025_0015__attained->r_0025_0014__necessarily [nim] r_0025_0016__enlightenment enlightenment r_0025_0012__have_r_0025_0015__attained->r_0025_0016__enlightenment [arg1] r_0025_0018__that_r_0025_0019__time that time r_0025_0012__have_r_0025_0015__attained->r_0025_0018__that_r_0025_0019__time by [nim] r_0025_0021__but but r_0025_0021__but->r_0025_0001__Although [conj1] r_0025_0024__is is r_0025_0021__but->r_0025_0024__is [conj2] r_0025_0022__that_r_0025_0023__fact that fact r_0025_0024__is->r_0025_0022__that_r_0025_0023__fact [arg0] r_0025_0026__known known r_0025_0024__is->r_0025_0026__known [prd] r_0025_0025__only only r_0025_0026__known->r_0025_0025__only [qual] r_0025_0030__and and r_0025_0026__known->r_0025_0030__and to r_0025_0028__the_r_0025_0029__master the master r_0025_0030__and->r_0025_0028__the_r_0025_0029__master [conj1] r_0025_0031__the_r_0025_0032__successor the successor r_0025_0030__and->r_0025_0031__the_r_0025_0032__successor [conj2] z_0025_5023 z_0025_5023->r_0025_0031__the_r_0025_0032__successor [arg0] r_0025_0033__himself himself z_0025_5023->r_0025_0033__himself [prd] 
fof(formula,axiom,
    ? [R_0025_0001__ALTHOUGH,R_0025_0022__THAT_R_0025_0023__FACT,R_0025_0025__ONLY,R_0025_0028__THE_R_0025_0029__MASTER,R_0025_0031__THE_R_0025_0032__SUCCESSOR,R_0025_0030__AND,R_0025_0026__KNOWN,R_0025_0024__IS,R_0025_0021__BUT,R_0025_0033__HIMSELF,Z_0025_5023] :
      ( r_0025_0022__that_r_0025_0023__fact(R_0025_0022__THAT_R_0025_0023__FACT)
      & r_0025_0025__only(R_0025_0025__ONLY)
      & r_0025_0028__the_r_0025_0029__master(R_0025_0028__THE_R_0025_0029__MASTER)
      & r_0025_0031__the_r_0025_0032__successor(R_0025_0031__THE_R_0025_0032__SUCCESSOR)
      & r_0025_0033__himself(R_0025_0033__HIMSELF)
      & z_0025_5023(Z_0025_5023)
      & has_prd(Z_0025_5023,R_0025_0033__HIMSELF)
      & has_arg0(Z_0025_5023,R_0025_0031__THE_R_0025_0032__SUCCESSOR)
      & r_0025_0021__but(R_0025_0021__BUT)
      & has_conj2(R_0025_0021__BUT,R_0025_0024__IS)
      & r_0025_0024__is(R_0025_0024__IS)
      & has_prd(R_0025_0024__IS,R_0025_0026__KNOWN)
      & r_0025_0026__known(R_0025_0026__KNOWN)
      & has_r_0025_0027__to(R_0025_0026__KNOWN,R_0025_0030__AND)
      & r_0025_0030__and(R_0025_0030__AND)
      & has_conj2(R_0025_0030__AND,R_0025_0031__THE_R_0025_0032__SUCCESSOR)
      & has_conj1(R_0025_0030__AND,R_0025_0028__THE_R_0025_0029__MASTER)
      & has_qual(R_0025_0026__KNOWN,R_0025_0025__ONLY)
      & has_arg0(R_0025_0024__IS,R_0025_0022__THAT_R_0025_0023__FACT)
      & has_conj1(R_0025_0021__BUT,R_0025_0001__ALTHOUGH)
      & r_0025_0001__Although(R_0025_0001__ALTHOUGH)
      & has_conj2(R_0025_0001__ALTHOUGH,R_0025_0013__NOT)
      & ~ ? [R_0025_0010__THE_R_0025_0011__SUCCESSORS,R_0025_0014__NECESSARILY,R_0025_0016__ENLIGHTENMENT,R_0025_0018__THAT_R_0025_0019__TIME,R_0025_0012__HAVE_R_0025_0015__ATTAINED] :
            ( r_0025_0010__the_r_0025_0011__successors(R_0025_0010__THE_R_0025_0011__SUCCESSORS)
            & r_0025_0014__necessarily(R_0025_0014__NECESSARILY)
            & r_0025_0016__enlightenment(R_0025_0016__ENLIGHTENMENT)
            & r_0025_0018__that_r_0025_0019__time(R_0025_0018__THAT_R_0025_0019__TIME)
            & r_0025_0012__have_r_0025_0015__attained(R_0025_0012__HAVE_R_0025_0015__ATTAINED)
            & has_r_0025_0017__by__nim(R_0025_0012__HAVE_R_0025_0015__ATTAINED,R_0025_0018__THAT_R_0025_0019__TIME)
            & has_arg1(R_0025_0012__HAVE_R_0025_0015__ATTAINED,R_0025_0016__ENLIGHTENMENT)
            & has_nim(R_0025_0012__HAVE_R_0025_0015__ATTAINED,R_0025_0014__NECESSARILY)
            & has_arg0(R_0025_0012__HAVE_R_0025_0015__ATTAINED,R_0025_0010__THE_R_0025_0011__SUCCESSORS) )
      & ! [R_0025_0008__DIE,R_0025_0002__MASTERS] :
          ( ( r_0025_0002__masters(R_0025_0002__MASTERS)
            & r_0025_0008__die(R_0025_0008__DIE)
            & has_arg0(R_0025_0008__DIE,R_0025_0002__MASTERS) )
         => ? [R_0025_0005__SUCCESSORS,R_0025_0003__CHOOSE] :
              ( r_0025_0003__choose(R_0025_0003__CHOOSE)
              & has_arg1(R_0025_0003__CHOOSE,R_0025_0005__SUCCESSORS)
              & r_0025_0005__successors(R_0025_0005__SUCCESSORS)
              & has_gen(R_0025_0005__SUCCESSORS,R_0025_0002__MASTERS)
              & has_arg0(R_0025_0003__CHOOSE,R_0025_0002__MASTERS) ) ) ) ).