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