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_0020__the_r_0041_0021__boundaries
the boundaries
r_0041_0023__enlightenment
enlightenment
r_0041_0020__the_r_0041_0021__boundaries->r_0041_0023__enlightenment
of
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_0020__the_r_0041_0021__boundaries
[arg1]
r_0041_0016__methods
methods
r_0041_0017__that_r_0041_0018__can_r_0041_0019__describe->r_0041_0016__methods
[arg0]
r_0041_0015__many
many
r_0041_0016__methods->r_0041_0015__many
[attrib]
r_0041_0013__one
one
r_0041_0013__one->r_0041_0016__methods
of
r_0041_0012__are
are
r_0041_0012__are->r_0041_0013__one
[prd]
r_0041_0011__words
words
r_0041_0012__are->r_0041_0011__words
[arg0]
r_0041_0005__to_r_0041_0006__define
to define
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_0009__words
words
r_0041_0005__to_r_0041_0006__define->r_0041_0009__words
with [nim]
r_0041_0007__enlightenment
enlightenment
r_0041_0005__to_r_0041_0006__define->r_0041_0007__enlightenment
[arg1]
r_0041_0003__is
is
r_0041_0003__is->r_0041_0005__to_r_0041_0006__define
[arg0]
r_0041_0004__impossible
impossible
r_0041_0003__is->r_0041_0004__impossible
[prd]
r_0041_0001__While
While
r_0041_0001__While->r_0041_0012__are
[conj2]
r_0041_0001__While->r_0041_0003__is
[conj1]
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__1_1_1_1
While
n41_a_kyoto_2__1_1_2_1_1_1
it
n41_a_kyoto_2__1_1_2_2_1
is
n41_a_kyoto_2__1_1_2_3_1_1
impossible
n41_a_kyoto_2__1_1_2_4_1_1
to
n41_a_kyoto_2__1_1_2_4_2_1
define
n41_a_kyoto_2__1_1_2_4_3_1_1
enlightenment
n41_a_kyoto_2__1_1_2_4_4_1_1
with
n41_a_kyoto_2__1_1_2_4_4_2_1_1
words
n41_a_kyoto_2__1_2_1
,
n41_a_kyoto_2__1_3_1_1
words
n41_a_kyoto_2__1_4_1
are
n41_a_kyoto_2__1_5_1_1
one
n41_a_kyoto_2__1_5_2_1_1
of
n41_a_kyoto_2__1_5_2_2_1_1_1
many
n41_a_kyoto_2__1_5_2_2_2_1
methods
n41_a_kyoto_2__1_5_2_2_3_1_1
that
n41_a_kyoto_2__1_5_2_2_3_2_1
*T*
n41_a_kyoto_2__1_5_2_2_3_3_1
can
n41_a_kyoto_2__1_5_2_2_3_4_1_1
describe
n41_a_kyoto_2__1_5_2_2_3_4_2_1_1
the
n41_a_kyoto_2__1_5_2_2_3_4_2_2_1
boundaries
n41_a_kyoto_2__1_5_2_2_3_4_2_3_1_1
of
n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1_1
enlightenment
n41_a_kyoto_2__1_6_1
.
n41_a_kyoto_2__1
IP-MAT
n41_a_kyoto_2__1_1
PP-SCON
n41_a_kyoto_2__1->n41_a_kyoto_2__1_1
n41_a_kyoto_2__1_2
PUNC
n41_a_kyoto_2__1->n41_a_kyoto_2__1_2
n41_a_kyoto_2__1_3
NP-SBJ
n41_a_kyoto_2__1->n41_a_kyoto_2__1_3
n41_a_kyoto_2__1_4
BEP;_Ln_
n41_a_kyoto_2__1->n41_a_kyoto_2__1_4
n41_a_kyoto_2__1_5
NP-PRD
n41_a_kyoto_2__1->n41_a_kyoto_2__1_5
n41_a_kyoto_2__1_6
PUNC
n41_a_kyoto_2__1->n41_a_kyoto_2__1_6
n41_a_kyoto_2__1_1_1
P-CONN
n41_a_kyoto_2__1_1->n41_a_kyoto_2__1_1_1
n41_a_kyoto_2__1_1_2
IP-ADV
n41_a_kyoto_2__1_1->n41_a_kyoto_2__1_1_2
n41_a_kyoto_2__1_1_1->n41_a_kyoto_2__1_1_1_1
n41_a_kyoto_2__1_1_2_1
NP-SBJ
n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_1
n41_a_kyoto_2__1_1_2_2
BEP;_La_
n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_2
n41_a_kyoto_2__1_1_2_3
ADJP-PRD
n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_3
n41_a_kyoto_2__1_1_2_4
IP-INF-NSBJ
n41_a_kyoto_2__1_1_2->n41_a_kyoto_2__1_1_2_4
n41_a_kyoto_2__1_1_2_1_1
PRO;_provisional_
n41_a_kyoto_2__1_1_2_1->n41_a_kyoto_2__1_1_2_1_1
n41_a_kyoto_2__1_1_2_1_1->n41_a_kyoto_2__1_1_2_1_1_1
n41_a_kyoto_2__1_1_2_2->n41_a_kyoto_2__1_1_2_2_1
n41_a_kyoto_2__1_1_2_3_1
ADJ
n41_a_kyoto_2__1_1_2_3->n41_a_kyoto_2__1_1_2_3_1
n41_a_kyoto_2__1_1_2_3_1->n41_a_kyoto_2__1_1_2_3_1_1
n41_a_kyoto_2__1_1_2_4_1
TO
n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_1
n41_a_kyoto_2__1_1_2_4_2
VB;__
n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_2
n41_a_kyoto_2__1_1_2_4_3
NP-OB1
n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_3
n41_a_kyoto_2__1_1_2_4_4
PP-NIM
n41_a_kyoto_2__1_1_2_4->n41_a_kyoto_2__1_1_2_4_4
n41_a_kyoto_2__1_1_2_4_1->n41_a_kyoto_2__1_1_2_4_1_1
n41_a_kyoto_2__1_1_2_4_2->n41_a_kyoto_2__1_1_2_4_2_1
n41_a_kyoto_2__1_1_2_4_3_1
N
n41_a_kyoto_2__1_1_2_4_3->n41_a_kyoto_2__1_1_2_4_3_1
n41_a_kyoto_2__1_1_2_4_3_1->n41_a_kyoto_2__1_1_2_4_3_1_1
n41_a_kyoto_2__1_1_2_4_4_1
P-ROLE
n41_a_kyoto_2__1_1_2_4_4->n41_a_kyoto_2__1_1_2_4_4_1
n41_a_kyoto_2__1_1_2_4_4_2
NP
n41_a_kyoto_2__1_1_2_4_4->n41_a_kyoto_2__1_1_2_4_4_2
n41_a_kyoto_2__1_1_2_4_4_1->n41_a_kyoto_2__1_1_2_4_4_1_1
n41_a_kyoto_2__1_1_2_4_4_2_1
NS
n41_a_kyoto_2__1_1_2_4_4_2->n41_a_kyoto_2__1_1_2_4_4_2_1
n41_a_kyoto_2__1_1_2_4_4_2_1->n41_a_kyoto_2__1_1_2_4_4_2_1_1
n41_a_kyoto_2__1_2->n41_a_kyoto_2__1_2_1
n41_a_kyoto_2__1_3_1
NS
n41_a_kyoto_2__1_3->n41_a_kyoto_2__1_3_1
n41_a_kyoto_2__1_3_1->n41_a_kyoto_2__1_3_1_1
n41_a_kyoto_2__1_4->n41_a_kyoto_2__1_4_1
n41_a_kyoto_2__1_5_1
NUM
n41_a_kyoto_2__1_5->n41_a_kyoto_2__1_5_1
n41_a_kyoto_2__1_5_2
PP
n41_a_kyoto_2__1_5->n41_a_kyoto_2__1_5_2
n41_a_kyoto_2__1_5_1->n41_a_kyoto_2__1_5_1_1
n41_a_kyoto_2__1_5_2_1
P-ROLE
n41_a_kyoto_2__1_5_2->n41_a_kyoto_2__1_5_2_1
n41_a_kyoto_2__1_5_2_2
NP
n41_a_kyoto_2__1_5_2->n41_a_kyoto_2__1_5_2_2
n41_a_kyoto_2__1_5_2_1->n41_a_kyoto_2__1_5_2_1_1
n41_a_kyoto_2__1_5_2_2_1
ADJP
n41_a_kyoto_2__1_5_2_2->n41_a_kyoto_2__1_5_2_2_1
n41_a_kyoto_2__1_5_2_2_2
NS
n41_a_kyoto_2__1_5_2_2->n41_a_kyoto_2__1_5_2_2_2
n41_a_kyoto_2__1_5_2_2_3
IP-REL
n41_a_kyoto_2__1_5_2_2->n41_a_kyoto_2__1_5_2_2_3
n41_a_kyoto_2__1_5_2_2_1_1
ADJ
n41_a_kyoto_2__1_5_2_2_1->n41_a_kyoto_2__1_5_2_2_1_1
n41_a_kyoto_2__1_5_2_2_1_1->n41_a_kyoto_2__1_5_2_2_1_1_1
n41_a_kyoto_2__1_5_2_2_2->n41_a_kyoto_2__1_5_2_2_2_1
n41_a_kyoto_2__1_5_2_2_3_1
C
n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_1
n41_a_kyoto_2__1_5_2_2_3_2
NP-SBJ
n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_2
n41_a_kyoto_2__1_5_2_2_3_3
MD;_cat_Vi_
n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_3
n41_a_kyoto_2__1_5_2_2_3_4
IP-INF-CAT
n41_a_kyoto_2__1_5_2_2_3->n41_a_kyoto_2__1_5_2_2_3_4
n41_a_kyoto_2__1_5_2_2_3_1->n41_a_kyoto_2__1_5_2_2_3_1_1
n41_a_kyoto_2__1_5_2_2_3_2->n41_a_kyoto_2__1_5_2_2_3_2_1
n41_a_kyoto_2__1_5_2_2_3_3->n41_a_kyoto_2__1_5_2_2_3_3_1
n41_a_kyoto_2__1_5_2_2_3_4_1
VB;__
n41_a_kyoto_2__1_5_2_2_3_4->n41_a_kyoto_2__1_5_2_2_3_4_1
n41_a_kyoto_2__1_5_2_2_3_4_2
NP-OB1
n41_a_kyoto_2__1_5_2_2_3_4->n41_a_kyoto_2__1_5_2_2_3_4_2
n41_a_kyoto_2__1_5_2_2_3_4_1->n41_a_kyoto_2__1_5_2_2_3_4_1_1
n41_a_kyoto_2__1_5_2_2_3_4_2_1
D
n41_a_kyoto_2__1_5_2_2_3_4_2->n41_a_kyoto_2__1_5_2_2_3_4_2_1
n41_a_kyoto_2__1_5_2_2_3_4_2_2
NS
n41_a_kyoto_2__1_5_2_2_3_4_2->n41_a_kyoto_2__1_5_2_2_3_4_2_2
n41_a_kyoto_2__1_5_2_2_3_4_2_3
PP
n41_a_kyoto_2__1_5_2_2_3_4_2->n41_a_kyoto_2__1_5_2_2_3_4_2_3
n41_a_kyoto_2__1_5_2_2_3_4_2_1->n41_a_kyoto_2__1_5_2_2_3_4_2_1_1
n41_a_kyoto_2__1_5_2_2_3_4_2_2->n41_a_kyoto_2__1_5_2_2_3_4_2_2_1
n41_a_kyoto_2__1_5_2_2_3_4_2_3_1
P-ROLE
n41_a_kyoto_2__1_5_2_2_3_4_2_3->n41_a_kyoto_2__1_5_2_2_3_4_2_3_1
n41_a_kyoto_2__1_5_2_2_3_4_2_3_2
NP
n41_a_kyoto_2__1_5_2_2_3_4_2_3->n41_a_kyoto_2__1_5_2_2_3_4_2_3_2
n41_a_kyoto_2__1_5_2_2_3_4_2_3_1->n41_a_kyoto_2__1_5_2_2_3_4_2_3_1_1
n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1
N
n41_a_kyoto_2__1_5_2_2_3_4_2_3_2->n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1
n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1->n41_a_kyoto_2__1_5_2_2_3_4_2_3_2_1_1
n41_a_kyoto_2__1_6->n41_a_kyoto_2__1_6_1
( (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))