TSPC 25_a_kyoto

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.

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, nim40).
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_nim51).
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, qual70).
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_000_25_a_kyoto_2_93, r_0025_0005__successors, prd).
arc(z_000_25_a_kyoto_2_93, r_0025_0031__the_r_0025_0032__successor, arg0).

fof(formula,axiom,
    ? [R_25_21_BUT,R_25_1_ALTHOUGH,R_25_24_IS,R_25_22_THAT_FACT,R_25_26_KNOWN,R_25_25_ONLY,R_25_30_AND,R_25_28_THE_MASTER,Z_25_A_KYOTO_2_93,R_25_31_THE_SUCCESSOR,R_25_5_SUCCESSORS,R_25_2_MASTERS] :
      ( that_fact(R_25_22_THAT_FACT)
      & only(R_25_25_ONLY)
      & the_master(R_25_28_THE_MASTER)
      & the_successor(R_25_31_THE_SUCCESSOR)
      & masters(R_25_2_MASTERS)
      & but(R_25_21_BUT)
      & conj1(R_25_21_BUT,R_25_1_ALTHOUGH)
      & ! [R_25_8_DIE] :
          ( die(R_25_8_DIE,R_25_2_MASTERS)
         => ? [R_25_3_CHOOSE] : choose(R_25_3_CHOOSE,R_25_2_MASTERS,R_25_5_SUCCESSORS) )
      & conj1(CONJ1)
      & although(R_25_1_ALTHOUGH)
      & conj2(R_25_1_ALTHOUGH,R_25_13_NOT)
      & ~ ? [R_25_12_HAVE_ATTAINED,R_25_10_THE_SUCCESSORS,R_25_16_ENLIGHTENMENT,R_25_14_NECESSARILY,R_25_18_THAT_TIME] :
            ( the_successors(R_25_10_THE_SUCCESSORS)
            & enlightenment(R_25_16_ENLIGHTENMENT)
            & necessarily(R_25_14_NECESSARILY)
            & that_time(R_25_18_THAT_TIME)
            & have_attained(R_25_12_HAVE_ATTAINED,R_25_10_THE_SUCCESSORS,R_25_16_ENLIGHTENMENT)
            & nim40(R_25_12_HAVE_ATTAINED,R_25_14_NECESSARILY)
            & by_nim51(R_25_12_HAVE_ATTAINED,R_25_18_THAT_TIME) )
      & conj2(R_25_21_BUT,R_25_24_IS)
      & is(R_25_24_IS,R_25_22_THAT_FACT,R_25_26_KNOWN)
      & known(R_25_26_KNOWN)
      & qual70(R_25_26_KNOWN,R_25_25_ONLY)
      & to(R_25_26_KNOWN,R_25_30_AND)
      & and(R_25_30_AND)
      & conj1(R_25_30_AND,R_25_28_THE_MASTER)
      & conj2(R_25_30_AND,R_25_31_THE_SUCCESSOR)
      & z_25_a_kyoto_2_93(Z_25_A_KYOTO_2_93,R_25_31_THE_SUCCESSOR,R_25_5_SUCCESSORS)
      & successors(R_25_5_SUCCESSORS)
      & gen(R_25_5_SUCCESSORS,R_25_2_MASTERS) ) ).

( (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})
                                                                  (IP-PPL (NP-PRD (PNX himself;{himself}))))))))))))
          (PUNC .))
  (ID 25_a_kyoto_2;BDS_00002;25))