27_a_kyoto_2
It is possible for a master to leave behind several new masters, or at his discretion not to leave a successor and bring his line to an end.

%3 r_0027_0002__is is r_0027_0003__possible possible r_0027_0002__is->r_0027_0003__possible [prd] r_0027_0014__or or r_0027_0002__is->r_0027_0014__or [arg0] r_0027_0007__to_r_0027_0008__leave to leave r_0027_0014__or->r_0027_0007__to_r_0027_0008__leave [conj1] r_0027_0023__and and r_0027_0014__or->r_0027_0023__and [conj2] r_0027_0005__a_r_0027_0006__master a master r_0027_0007__to_r_0027_0008__leave->r_0027_0005__a_r_0027_0006__master [arg0] r_0027_0012__masters masters r_0027_0007__to_r_0027_0008__leave->r_0027_0012__masters behind [clr] r_0027_0010__several several r_0027_0012__masters->r_0027_0010__several [attrib] r_0027_0011__new new r_0027_0012__masters->r_0027_0011__new [attrib] r_0027_0018__not not r_0027_0023__and->r_0027_0018__not [conj1] r_0027_0024__bring bring r_0027_0023__and->r_0027_0024__bring [conj2] r_0027_0017__discretion discretion r_0027_0017__discretion->r_0027_0005__a_r_0027_0006__master [gen] r_0027_0019__to_r_0027_0020__leave to leave r_0027_0018__not->r_0027_0019__to_r_0027_0020__leave [keep_scope] r_0027_0019__to_r_0027_0020__leave->r_0027_0005__a_r_0027_0006__master [arg0] r_0027_0019__to_r_0027_0020__leave->r_0027_0017__discretion at [nim] r_0027_0021__a_r_0027_0022__successor a successor r_0027_0019__to_r_0027_0020__leave->r_0027_0021__a_r_0027_0022__successor [arg1] r_0027_0024__bring->r_0027_0005__a_r_0027_0006__master [arg0] r_0027_0024__bring->r_0027_0017__discretion at [nim] r_0027_0026__line line r_0027_0024__bring->r_0027_0026__line [arg1] r_0027_0028__an_r_0027_0029__end an end r_0027_0024__bring->r_0027_0028__an_r_0027_0029__end to [clr] r_0027_0026__line->r_0027_0005__a_r_0027_0006__master [gen]
arc(r_0027_0002__is, r_0027_0003__possible, prd).
arc(r_0027_0002__is, r_0027_0014__or, arg0).
arc(r_0027_0007__to_r_0027_0008__leave, r_0027_0005__a_r_0027_0006__master, arg0).
arc(r_0027_0007__to_r_0027_0008__leave, r_0027_0012__masters, r_0027_0009__behind_clr27).
arc(r_0027_0012__masters, r_0027_0010__several, attrib28).
arc(r_0027_0012__masters, r_0027_0011__new, attrib31).
arc(r_0027_0014__or, r_0027_0007__to_r_0027_0008__leave, conj1).
arc(r_0027_0014__or, r_0027_0023__and, conj2).
arc(r_0027_0017__discretion, r_0027_0005__a_r_0027_0006__master, gen).
arc(r_0027_0018__not, r_0027_0019__to_r_0027_0020__leave, keep_scope).
arc(r_0027_0019__to_r_0027_0020__leave, r_0027_0005__a_r_0027_0006__master, arg0).
arc(r_0027_0019__to_r_0027_0020__leave, r_0027_0017__discretion, r_0027_0015__at_nim45).
arc(r_0027_0019__to_r_0027_0020__leave, r_0027_0021__a_r_0027_0022__successor, arg1).
arc(r_0027_0023__and, r_0027_0018__not, conj1).
arc(r_0027_0023__and, r_0027_0024__bring, conj2).
arc(r_0027_0024__bring, r_0027_0005__a_r_0027_0006__master, arg0).
arc(r_0027_0024__bring, r_0027_0017__discretion, r_0027_0015__at_nim45).
arc(r_0027_0024__bring, r_0027_0026__line, arg1).
arc(r_0027_0024__bring, r_0027_0028__an_r_0027_0029__end, r_0027_0027__to_clr79).
arc(r_0027_0026__line, r_0027_0005__a_r_0027_0006__master, gen).



%3 r_0027_0002__is is r_0027_0003__possible possible r_0027_0002__is->r_0027_0003__possible [prd] r_0027_0014__or or r_0027_0002__is->r_0027_0014__or [arg0] r_0027_0007__to_r_0027_0008__leave to leave r_0027_0014__or->r_0027_0007__to_r_0027_0008__leave [conj1] r_0027_0023__and and r_0027_0014__or->r_0027_0023__and [conj2] r_0027_0005__a_r_0027_0006__master a master r_0027_0007__to_r_0027_0008__leave->r_0027_0005__a_r_0027_0006__master [arg0] r_0027_0012__masters masters r_0027_0007__to_r_0027_0008__leave->r_0027_0012__masters behind [clr] r_0027_0010__several several r_0027_0012__masters->r_0027_0010__several [attrib] r_0027_0011__new new r_0027_0012__masters->r_0027_0011__new [attrib] r_0027_0018__not not r_0027_0023__and->r_0027_0018__not [conj1] r_0027_0024__bring bring r_0027_0023__and->r_0027_0024__bring [conj2] r_0027_0017__discretion discretion r_0027_0017__discretion->r_0027_0005__a_r_0027_0006__master [gen] r_0027_0019__to_r_0027_0020__leave to leave r_0027_0018__not->r_0027_0019__to_r_0027_0020__leave [keep_scope] r_0027_0019__to_r_0027_0020__leave->r_0027_0005__a_r_0027_0006__master [arg0] r_0027_0019__to_r_0027_0020__leave->r_0027_0017__discretion at [nim] r_0027_0021__a_r_0027_0022__successor a successor r_0027_0019__to_r_0027_0020__leave->r_0027_0021__a_r_0027_0022__successor [arg1] r_0027_0024__bring->r_0027_0005__a_r_0027_0006__master [arg0] r_0027_0024__bring->r_0027_0017__discretion at [nim] r_0027_0026__line line r_0027_0024__bring->r_0027_0026__line [arg1] r_0027_0028__an_r_0027_0029__end an end r_0027_0024__bring->r_0027_0028__an_r_0027_0029__end to [clr] r_0027_0026__line->r_0027_0005__a_r_0027_0006__master [gen]
fof(formula,axiom,
    ? [R_27_2_IS,R_27_14_OR,R_27_7_TO_LEAVE,R_27_12_MASTERS,R_27_10_SEVERAL,R_27_11_NEW,R_27_23_AND,R_27_24_BRING,R_27_26_LINE,R_27_17_DISCRETION,R_27_5_A_MASTER,R_27_28_AN_END,R_27_3_POSSIBLE] :
      ( several(R_27_10_SEVERAL)
      & new(R_27_11_NEW)
      & a_master(R_27_5_A_MASTER)
      & an_end(R_27_28_AN_END)
      & possible(R_27_3_POSSIBLE)
      & is(R_27_2_IS,R_27_14_OR,R_27_3_POSSIBLE)
      & or(R_27_14_OR)
      & conj1(R_27_14_OR,R_27_7_TO_LEAVE)
      & to_leave(R_27_7_TO_LEAVE,R_27_5_A_MASTER)
      & behind_clr27(R_27_7_TO_LEAVE,R_27_12_MASTERS)
      & masters(R_27_12_MASTERS)
      & attrib28(R_27_12_MASTERS,R_27_10_SEVERAL)
      & attrib31(R_27_12_MASTERS,R_27_11_NEW)
      & conj2(R_27_14_OR,R_27_23_AND)
      & and(R_27_23_AND)
      & conj1(R_27_23_AND,R_27_18_NOT)
      & ~ ? [R_27_19_TO_LEAVE,R_27_21_A_SUCCESSOR] :
            ( a_successor(R_27_21_A_SUCCESSOR)
            & to_leave(R_27_19_TO_LEAVE,R_27_5_A_MASTER,R_27_21_A_SUCCESSOR)
            & at_nim45(R_27_19_TO_LEAVE,R_27_17_DISCRETION) )
      & conj2(R_27_23_AND,R_27_24_BRING)
      & bring(R_27_24_BRING,R_27_5_A_MASTER,R_27_26_LINE)
      & line(R_27_26_LINE)
      & gen(R_27_26_LINE,R_27_5_A_MASTER)
      & at_nim45(R_27_24_BRING,R_27_17_DISCRETION)
      & discretion(R_27_17_DISCRETION)
      & gen(R_27_17_DISCRETION,R_27_5_A_MASTER)
      & to_clr79(R_27_24_BRING,R_27_28_AN_END) ) ).



n27_a_kyoto_2 n27_a_kyoto_2_4 It n27_a_kyoto_2_6 is n27_a_kyoto_2_9 possible n27_a_kyoto_2_12 for n27_a_kyoto_2_15 a n27_a_kyoto_2_17 master n27_a_kyoto_2_21 to n27_a_kyoto_2_23 leave n27_a_kyoto_2_26 behind n27_a_kyoto_2_30 several n27_a_kyoto_2_33 new n27_a_kyoto_2_35 masters n27_a_kyoto_2_37 , n27_a_kyoto_2_40 or n27_a_kyoto_2_44 at n27_a_kyoto_2_48 his n27_a_kyoto_2_50 discretion n27_a_kyoto_2_54 not n27_a_kyoto_2_56 to n27_a_kyoto_2_58 leave n27_a_kyoto_2_61 a n27_a_kyoto_2_63 successor n27_a_kyoto_2_66 and n27_a_kyoto_2_69 bring n27_a_kyoto_2_73 his n27_a_kyoto_2_75 line n27_a_kyoto_2_78 to n27_a_kyoto_2_81 an n27_a_kyoto_2_83 end n27_a_kyoto_2_85 . n27_a_kyoto_2_1 IP-MAT n27_a_kyoto_2_2 NP-SBJ n27_a_kyoto_2_1->n27_a_kyoto_2_2 n27_a_kyoto_2_5 BEP;_La_ n27_a_kyoto_2_1->n27_a_kyoto_2_5 n27_a_kyoto_2_7 ADJP-PRD n27_a_kyoto_2_1->n27_a_kyoto_2_7 n27_a_kyoto_2_10 IP-INF-NSBJ n27_a_kyoto_2_1->n27_a_kyoto_2_10 n27_a_kyoto_2_84 PUNC n27_a_kyoto_2_1->n27_a_kyoto_2_84 n27_a_kyoto_2_3 PRO;_provisional_ n27_a_kyoto_2_2->n27_a_kyoto_2_3 n27_a_kyoto_2_3->n27_a_kyoto_2_4 n27_a_kyoto_2_5->n27_a_kyoto_2_6 n27_a_kyoto_2_8 ADJ n27_a_kyoto_2_7->n27_a_kyoto_2_8 n27_a_kyoto_2_8->n27_a_kyoto_2_9 n27_a_kyoto_2_11 P-CONN n27_a_kyoto_2_10->n27_a_kyoto_2_11 n27_a_kyoto_2_13 NP-SBJ n27_a_kyoto_2_10->n27_a_kyoto_2_13 n27_a_kyoto_2_18 ILYR n27_a_kyoto_2_10->n27_a_kyoto_2_18 n27_a_kyoto_2_11->n27_a_kyoto_2_12 n27_a_kyoto_2_14 D n27_a_kyoto_2_13->n27_a_kyoto_2_14 n27_a_kyoto_2_16 N n27_a_kyoto_2_13->n27_a_kyoto_2_16 n27_a_kyoto_2_14->n27_a_kyoto_2_15 n27_a_kyoto_2_16->n27_a_kyoto_2_17 n27_a_kyoto_2_19 ILYR n27_a_kyoto_2_18->n27_a_kyoto_2_19 n27_a_kyoto_2_36 PUNC n27_a_kyoto_2_18->n27_a_kyoto_2_36 n27_a_kyoto_2_38 CONJP n27_a_kyoto_2_18->n27_a_kyoto_2_38 n27_a_kyoto_2_20 TO n27_a_kyoto_2_19->n27_a_kyoto_2_20 n27_a_kyoto_2_22 VB;_Ipr_ n27_a_kyoto_2_19->n27_a_kyoto_2_22 n27_a_kyoto_2_24 PP-CLR n27_a_kyoto_2_19->n27_a_kyoto_2_24 n27_a_kyoto_2_20->n27_a_kyoto_2_21 n27_a_kyoto_2_22->n27_a_kyoto_2_23 n27_a_kyoto_2_25 P-ROLE n27_a_kyoto_2_24->n27_a_kyoto_2_25 n27_a_kyoto_2_27 NP n27_a_kyoto_2_24->n27_a_kyoto_2_27 n27_a_kyoto_2_25->n27_a_kyoto_2_26 n27_a_kyoto_2_28 ADJP n27_a_kyoto_2_27->n27_a_kyoto_2_28 n27_a_kyoto_2_31 ADJP n27_a_kyoto_2_27->n27_a_kyoto_2_31 n27_a_kyoto_2_34 NS n27_a_kyoto_2_27->n27_a_kyoto_2_34 n27_a_kyoto_2_29 ADJ n27_a_kyoto_2_28->n27_a_kyoto_2_29 n27_a_kyoto_2_29->n27_a_kyoto_2_30 n27_a_kyoto_2_32 ADJ n27_a_kyoto_2_31->n27_a_kyoto_2_32 n27_a_kyoto_2_32->n27_a_kyoto_2_33 n27_a_kyoto_2_34->n27_a_kyoto_2_35 n27_a_kyoto_2_36->n27_a_kyoto_2_37 n27_a_kyoto_2_39 CONJ n27_a_kyoto_2_38->n27_a_kyoto_2_39 n27_a_kyoto_2_41 ILYR n27_a_kyoto_2_38->n27_a_kyoto_2_41 n27_a_kyoto_2_39->n27_a_kyoto_2_40 n27_a_kyoto_2_42 PP-NIM n27_a_kyoto_2_41->n27_a_kyoto_2_42 n27_a_kyoto_2_51 ILYR n27_a_kyoto_2_41->n27_a_kyoto_2_51 n27_a_kyoto_2_43 P-ROLE n27_a_kyoto_2_42->n27_a_kyoto_2_43 n27_a_kyoto_2_45 NP n27_a_kyoto_2_42->n27_a_kyoto_2_45 n27_a_kyoto_2_43->n27_a_kyoto_2_44 n27_a_kyoto_2_46 NP-GEN n27_a_kyoto_2_45->n27_a_kyoto_2_46 n27_a_kyoto_2_49 N n27_a_kyoto_2_45->n27_a_kyoto_2_49 n27_a_kyoto_2_47 PRO;_genm_ n27_a_kyoto_2_46->n27_a_kyoto_2_47 n27_a_kyoto_2_47->n27_a_kyoto_2_48 n27_a_kyoto_2_49->n27_a_kyoto_2_50 n27_a_kyoto_2_52 ILYR n27_a_kyoto_2_51->n27_a_kyoto_2_52 n27_a_kyoto_2_64 CONJP n27_a_kyoto_2_51->n27_a_kyoto_2_64 n27_a_kyoto_2_53 NEG n27_a_kyoto_2_52->n27_a_kyoto_2_53 n27_a_kyoto_2_55 TO n27_a_kyoto_2_52->n27_a_kyoto_2_55 n27_a_kyoto_2_57 VB;_Tn_ n27_a_kyoto_2_52->n27_a_kyoto_2_57 n27_a_kyoto_2_59 NP-OB1 n27_a_kyoto_2_52->n27_a_kyoto_2_59 n27_a_kyoto_2_53->n27_a_kyoto_2_54 n27_a_kyoto_2_55->n27_a_kyoto_2_56 n27_a_kyoto_2_57->n27_a_kyoto_2_58 n27_a_kyoto_2_60 D n27_a_kyoto_2_59->n27_a_kyoto_2_60 n27_a_kyoto_2_62 N n27_a_kyoto_2_59->n27_a_kyoto_2_62 n27_a_kyoto_2_60->n27_a_kyoto_2_61 n27_a_kyoto_2_62->n27_a_kyoto_2_63 n27_a_kyoto_2_65 CONJ n27_a_kyoto_2_64->n27_a_kyoto_2_65 n27_a_kyoto_2_67 ILYR n27_a_kyoto_2_64->n27_a_kyoto_2_67 n27_a_kyoto_2_65->n27_a_kyoto_2_66 n27_a_kyoto_2_68 VB;_Tn.pr_ n27_a_kyoto_2_67->n27_a_kyoto_2_68 n27_a_kyoto_2_70 NP-OB1 n27_a_kyoto_2_67->n27_a_kyoto_2_70 n27_a_kyoto_2_76 PP-CLR n27_a_kyoto_2_67->n27_a_kyoto_2_76 n27_a_kyoto_2_68->n27_a_kyoto_2_69 n27_a_kyoto_2_71 NP-GEN n27_a_kyoto_2_70->n27_a_kyoto_2_71 n27_a_kyoto_2_74 N n27_a_kyoto_2_70->n27_a_kyoto_2_74 n27_a_kyoto_2_72 PRO;_genm_ n27_a_kyoto_2_71->n27_a_kyoto_2_72 n27_a_kyoto_2_72->n27_a_kyoto_2_73 n27_a_kyoto_2_74->n27_a_kyoto_2_75 n27_a_kyoto_2_77 P-ROLE n27_a_kyoto_2_76->n27_a_kyoto_2_77 n27_a_kyoto_2_79 NP n27_a_kyoto_2_76->n27_a_kyoto_2_79 n27_a_kyoto_2_77->n27_a_kyoto_2_78 n27_a_kyoto_2_80 D n27_a_kyoto_2_79->n27_a_kyoto_2_80 n27_a_kyoto_2_82 N n27_a_kyoto_2_79->n27_a_kyoto_2_82 n27_a_kyoto_2_80->n27_a_kyoto_2_81 n27_a_kyoto_2_82->n27_a_kyoto_2_83 n27_a_kyoto_2_84->n27_a_kyoto_2_85
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ possible;{possible}))
          (IP-INF-NSBJ (P-CONN for;{for})
                       (NP-SBJ;{MASTER} (D a;{a})
                                        (N master;{master}))
                       (ILYR (ILYR (TO to;{to})
                                   (VB;_Ipr_ leave;{leave[behind]})
                                   (PP-CLR (P-ROLE behind;{behind})
                                           (NP (ADJP (ADJ several;{several}))
                                               (ADJP (ADJ new;{new}))
                                               (NS masters;{master}))))
                             (PUNC ,)
                             (CONJP (CONJ or;{or})
                                    (ILYR (PP-NIM (P-ROLE at;{at})
                                                  (NP (NP-GEN;{MASTER} (PRO;_genm_ his;{his}))
                                                      (N discretion;{discretion})))
                                          (ILYR (ILYR (NEG not;{not})
                                                      (TO to;{to})
                                                      (VB;_Tn_ leave;{leave})
                                                      (NP-OB1 (D a;{a})
                                                              (N successor;{successor})))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VB;_Tn.pr_ bring;{bring[to]})
                                                             (NP-OB1 (NP-GEN;{MASTER} (PRO;_genm_ his;{his}))
                                                                     (N line;{line}))
                                                             (PP-CLR (P-ROLE to;{to})
                                                                     (NP (D an;{an})
                                                                         (N end;{end}))))))))))
          (PUNC .))
  (ID 27_a_kyoto_2;BDS_00002;27))