41_a_kyoto_2
%3
r_0041_0001__While
While
r_0041_0003__is
is
r_0041_0001__While->r_0041_0003__is
[restriction]
r_0041_0012__are
are
r_0041_0001__While->r_0041_0012__are
[scope]
r_0041_0004__impossible
impossible
r_0041_0003__is->r_0041_0004__impossible
[prd]
r_0041_0005__to_r_0041_0006__define
to define
r_0041_0003__is->r_0041_0005__to_r_0041_0006__define
[arg0]
r_0041_0011__words
words
r_0041_0012__are->r_0041_0011__words
[arg0]
r_0041_0013__one
one
r_0041_0012__are->r_0041_0013__one
[prd]
r_0041_0007__enlightenment
enlightenment
r_0041_0005__to_r_0041_0006__define->r_0041_0007__enlightenment
[arg1]
r_0041_0009__words
words
r_0041_0005__to_r_0041_0006__define->r_0041_0009__words
with [nim]
z_000_41_a_kyoto_2_6
r_0041_0005__to_r_0041_0006__define->z_000_41_a_kyoto_2_6
[arg0]
r_0041_0016__methods
methods
r_0041_0013__one->r_0041_0016__methods
of
r_0041_0015__many
many
r_0041_0016__methods->r_0041_0015__many
[attrib]
r_0041_0017__that_r_0041_0018__can
that can
r_0041_0019__describe
describe
r_0041_0017__that_r_0041_0018__can->r_0041_0019__describe
[scope]
r_0041_0019__describe->r_0041_0016__methods
[arg0]
r_0041_0020__the_r_0041_0021__boundaries
the boundaries
r_0041_0019__describe->r_0041_0020__the_r_0041_0021__boundaries
[arg1]
r_0041_0023__enlightenment
enlightenment
r_0041_0020__the_r_0041_0021__boundaries->r_0041_0023__enlightenment
of
arc(r_0041_0001__While, r_0041_0003__is, restriction).
arc(r_0041_0001__While, r_0041_0012__are, scope).
arc(r_0041_0003__is, r_0041_0004__impossible, prd).
arc(r_0041_0003__is, r_0041_0005__to_r_0041_0006__define, arg0).
arc(r_0041_0005__to_r_0041_0006__define, r_0041_0007__enlightenment, arg1).
arc(r_0041_0005__to_r_0041_0006__define, r_0041_0009__words, r_0041_0008__with_nim25).
arc(r_0041_0005__to_r_0041_0006__define, z_000_41_a_kyoto_2_6, arg0).
arc(r_0041_0012__are, r_0041_0011__words, arg0).
arc(r_0041_0012__are, r_0041_0013__one, prd).
arc(r_0041_0013__one, r_0041_0016__methods, r_0041_0014__of).
arc(r_0041_0016__methods, r_0041_0015__many, attrib42).
arc(r_0041_0017__that_r_0041_0018__can, r_0041_0019__describe, scope).
arc(r_0041_0019__describe, r_0041_0016__methods, arg0).
arc(r_0041_0019__describe, r_0041_0020__the_r_0041_0021__boundaries, arg1).
arc(r_0041_0020__the_r_0041_0021__boundaries, r_0041_0023__enlightenment, r_0041_0022__of).
%3
r_0041_0001__While
While
r_0041_0003__is
is
r_0041_0001__While->r_0041_0003__is
[conj1]
r_0041_0012__are
are
r_0041_0001__While->r_0041_0012__are
[conj2]
r_0041_0004__impossible
impossible
r_0041_0003__is->r_0041_0004__impossible
[prd]
r_0041_0005__to_r_0041_0006__define
to define
r_0041_0003__is->r_0041_0005__to_r_0041_0006__define
[arg0]
r_0041_0011__words
words
r_0041_0012__are->r_0041_0011__words
[arg0]
r_0041_0013__one
one
r_0041_0012__are->r_0041_0013__one
[prd]
r_0041_0007__enlightenment
enlightenment
r_0041_0005__to_r_0041_0006__define->r_0041_0007__enlightenment
[arg1]
r_0041_0009__words
words
r_0041_0005__to_r_0041_0006__define->r_0041_0009__words
with [nim]
z_000_41_a_kyoto_2_6
r_0041_0005__to_r_0041_0006__define->z_000_41_a_kyoto_2_6
[arg0]
r_0041_0016__methods
methods
r_0041_0013__one->r_0041_0016__methods
of
r_0041_0015__many
many
r_0041_0016__methods->r_0041_0015__many
[attrib]
r_0041_0017__that_r_0041_0018__can_r_0041_0019__describe
that can describe
r_0041_0017__that_r_0041_0018__can_r_0041_0019__describe->r_0041_0016__methods
[arg0]
r_0041_0020__the_r_0041_0021__boundaries
the boundaries
r_0041_0017__that_r_0041_0018__can_r_0041_0019__describe->r_0041_0020__the_r_0041_0021__boundaries
[arg1]
r_0041_0023__enlightenment
enlightenment
r_0041_0020__the_r_0041_0021__boundaries->r_0041_0023__enlightenment
of
fof(formula,axiom,
? [R_41_1_WHILE,R_41_3_IS,R_41_5_TO_DEFINE,Z_41_A_KYOTO_2_6,R_41_7_ENLIGHTENMENT,R_41_9_WORDS,R_41_4_IMPOSSIBLE,R_41_12_ARE,R_41_11_WORDS,R_41_13_ONE,R_41_17_THAT_CAN_DESCRIBE,R_41_16_METHODS,R_41_15_MANY,R_41_20_THE_BOUNDARIES,R_41_23_ENLIGHTENMENT] :
( enlightenment(R_41_7_ENLIGHTENMENT)
& words(R_41_9_WORDS)
& impossible(R_41_4_IMPOSSIBLE)
& words(R_41_11_WORDS)
& many(R_41_15_MANY)
& enlightenment(R_41_23_ENLIGHTENMENT)
& while(R_41_1_WHILE)
& conj1(R_41_1_WHILE,R_41_3_IS)
& is(R_41_3_IS,R_41_5_TO_DEFINE,R_41_4_IMPOSSIBLE)
& to_define(R_41_5_TO_DEFINE,Z_41_A_KYOTO_2_6,R_41_7_ENLIGHTENMENT)
& with_nim25(R_41_5_TO_DEFINE,R_41_9_WORDS)
& conj2(R_41_1_WHILE,R_41_12_ARE)
& are(R_41_12_ARE,R_41_11_WORDS,R_41_13_ONE)
& one(R_41_13_ONE)
& of(R_41_13_ONE,R_41_16_METHODS)
& methods(R_41_16_METHODS)
& attrib42(R_41_16_METHODS,R_41_15_MANY)
& that_can_describe(R_41_17_THAT_CAN_DESCRIBE,R_41_16_METHODS,R_41_20_THE_BOUNDARIES)
& the_boundaries(R_41_20_THE_BOUNDARIES)
& of(R_41_20_THE_BOUNDARIES,R_41_23_ENLIGHTENMENT) ) ).
n41_a_kyoto_2
n41_a_kyoto_2_4
While
n41_a_kyoto_2_8
it
n41_a_kyoto_2_10
is
n41_a_kyoto_2_13
impossible
n41_a_kyoto_2_16
to
n41_a_kyoto_2_18
define
n41_a_kyoto_2_21
enlightenment
n41_a_kyoto_2_24
with
n41_a_kyoto_2_27
words
n41_a_kyoto_2_29
,
n41_a_kyoto_2_32
words
n41_a_kyoto_2_34
are
n41_a_kyoto_2_37
one
n41_a_kyoto_2_40
of
n41_a_kyoto_2_44
many
n41_a_kyoto_2_46
methods
n41_a_kyoto_2_49
that
n41_a_kyoto_2_51
*T*
n41_a_kyoto_2_53
can
n41_a_kyoto_2_56
describe
n41_a_kyoto_2_59
the
n41_a_kyoto_2_61
boundaries
n41_a_kyoto_2_64
of
n41_a_kyoto_2_67
enlightenment
n41_a_kyoto_2_69
.
n41_a_kyoto_2_1
IP-MAT
n41_a_kyoto_2_2
PP-SCON
n41_a_kyoto_2_1->n41_a_kyoto_2_2
n41_a_kyoto_2_28
PUNC
n41_a_kyoto_2_1->n41_a_kyoto_2_28
n41_a_kyoto_2_30
NP-SBJ
n41_a_kyoto_2_1->n41_a_kyoto_2_30
n41_a_kyoto_2_33
BEP;_Ln_
n41_a_kyoto_2_1->n41_a_kyoto_2_33
n41_a_kyoto_2_35
NP-PRD
n41_a_kyoto_2_1->n41_a_kyoto_2_35
n41_a_kyoto_2_68
PUNC
n41_a_kyoto_2_1->n41_a_kyoto_2_68
n41_a_kyoto_2_3
P-CONN
n41_a_kyoto_2_2->n41_a_kyoto_2_3
n41_a_kyoto_2_5
IP-ADV
n41_a_kyoto_2_2->n41_a_kyoto_2_5
n41_a_kyoto_2_3->n41_a_kyoto_2_4
n41_a_kyoto_2_6
NP-SBJ
n41_a_kyoto_2_5->n41_a_kyoto_2_6
n41_a_kyoto_2_9
BEP;_La_
n41_a_kyoto_2_5->n41_a_kyoto_2_9
n41_a_kyoto_2_11
ADJP-PRD
n41_a_kyoto_2_5->n41_a_kyoto_2_11
n41_a_kyoto_2_14
IP-INF-NSBJ
n41_a_kyoto_2_5->n41_a_kyoto_2_14
n41_a_kyoto_2_7
PRO;_provisional_
n41_a_kyoto_2_6->n41_a_kyoto_2_7
n41_a_kyoto_2_7->n41_a_kyoto_2_8
n41_a_kyoto_2_9->n41_a_kyoto_2_10
n41_a_kyoto_2_12
ADJ
n41_a_kyoto_2_11->n41_a_kyoto_2_12
n41_a_kyoto_2_12->n41_a_kyoto_2_13
n41_a_kyoto_2_15
TO
n41_a_kyoto_2_14->n41_a_kyoto_2_15
n41_a_kyoto_2_17
VB;__
n41_a_kyoto_2_14->n41_a_kyoto_2_17
n41_a_kyoto_2_19
NP-OB1
n41_a_kyoto_2_14->n41_a_kyoto_2_19
n41_a_kyoto_2_22
PP-NIM
n41_a_kyoto_2_14->n41_a_kyoto_2_22
n41_a_kyoto_2_15->n41_a_kyoto_2_16
n41_a_kyoto_2_17->n41_a_kyoto_2_18
n41_a_kyoto_2_20
N
n41_a_kyoto_2_19->n41_a_kyoto_2_20
n41_a_kyoto_2_20->n41_a_kyoto_2_21
n41_a_kyoto_2_23
P-ROLE
n41_a_kyoto_2_22->n41_a_kyoto_2_23
n41_a_kyoto_2_25
NP
n41_a_kyoto_2_22->n41_a_kyoto_2_25
n41_a_kyoto_2_23->n41_a_kyoto_2_24
n41_a_kyoto_2_26
NS
n41_a_kyoto_2_25->n41_a_kyoto_2_26
n41_a_kyoto_2_26->n41_a_kyoto_2_27
n41_a_kyoto_2_28->n41_a_kyoto_2_29
n41_a_kyoto_2_31
NS
n41_a_kyoto_2_30->n41_a_kyoto_2_31
n41_a_kyoto_2_31->n41_a_kyoto_2_32
n41_a_kyoto_2_33->n41_a_kyoto_2_34
n41_a_kyoto_2_36
NUM
n41_a_kyoto_2_35->n41_a_kyoto_2_36
n41_a_kyoto_2_38
PP
n41_a_kyoto_2_35->n41_a_kyoto_2_38
n41_a_kyoto_2_36->n41_a_kyoto_2_37
n41_a_kyoto_2_39
P-ROLE
n41_a_kyoto_2_38->n41_a_kyoto_2_39
n41_a_kyoto_2_41
NP
n41_a_kyoto_2_38->n41_a_kyoto_2_41
n41_a_kyoto_2_39->n41_a_kyoto_2_40
n41_a_kyoto_2_42
ADJP
n41_a_kyoto_2_41->n41_a_kyoto_2_42
n41_a_kyoto_2_45
NS
n41_a_kyoto_2_41->n41_a_kyoto_2_45
n41_a_kyoto_2_47
IP-REL
n41_a_kyoto_2_41->n41_a_kyoto_2_47
n41_a_kyoto_2_43
ADJ
n41_a_kyoto_2_42->n41_a_kyoto_2_43
n41_a_kyoto_2_43->n41_a_kyoto_2_44
n41_a_kyoto_2_45->n41_a_kyoto_2_46
n41_a_kyoto_2_48
C
n41_a_kyoto_2_47->n41_a_kyoto_2_48
n41_a_kyoto_2_50
NP-SBJ
n41_a_kyoto_2_47->n41_a_kyoto_2_50
n41_a_kyoto_2_52
MD;_cat_Vi_
n41_a_kyoto_2_47->n41_a_kyoto_2_52
n41_a_kyoto_2_54
IP-INF-CAT
n41_a_kyoto_2_47->n41_a_kyoto_2_54
n41_a_kyoto_2_48->n41_a_kyoto_2_49
n41_a_kyoto_2_50->n41_a_kyoto_2_51
n41_a_kyoto_2_52->n41_a_kyoto_2_53
n41_a_kyoto_2_55
VB;__
n41_a_kyoto_2_54->n41_a_kyoto_2_55
n41_a_kyoto_2_57
NP-OB1
n41_a_kyoto_2_54->n41_a_kyoto_2_57
n41_a_kyoto_2_55->n41_a_kyoto_2_56
n41_a_kyoto_2_58
D
n41_a_kyoto_2_57->n41_a_kyoto_2_58
n41_a_kyoto_2_60
NS
n41_a_kyoto_2_57->n41_a_kyoto_2_60
n41_a_kyoto_2_62
PP
n41_a_kyoto_2_57->n41_a_kyoto_2_62
n41_a_kyoto_2_58->n41_a_kyoto_2_59
n41_a_kyoto_2_60->n41_a_kyoto_2_61
n41_a_kyoto_2_63
P-ROLE
n41_a_kyoto_2_62->n41_a_kyoto_2_63
n41_a_kyoto_2_65
NP
n41_a_kyoto_2_62->n41_a_kyoto_2_65
n41_a_kyoto_2_63->n41_a_kyoto_2_64
n41_a_kyoto_2_66
N
n41_a_kyoto_2_65->n41_a_kyoto_2_66
n41_a_kyoto_2_66->n41_a_kyoto_2_67
n41_a_kyoto_2_68->n41_a_kyoto_2_69
( (IP-MAT (PP-SCON (P-CONN While;{while})
(IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ impossible;{impossible}))
(IP-INF-NSBJ (TO to;{to})
(VB;__ define;{define})
(NP-OB1 (N enlightenment;{enlightenment}))
(PP-NIM (P-ROLE with;{with})
(NP (NS words;{word}))))))
(PUNC ,)
(NP-SBJ (NS words;{word}))
(BEP;_Ln_ are;{be})
(NP-PRD (NUM one;{one})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ many;{many}))
(NS methods;{method})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;__ describe;{describe})
(NP-OB1 (D the;{the})
(NS boundaries;{boundary})
(PP (P-ROLE of;{of})
(NP (N enlightenment;{enlightenment})))))))))
(PUNC .))
(ID 41_a_kyoto_2;BDS_00002;41))