9_a_history_of_qed
%3
r_0009_0003__QED
QED
r_0009_0001__Ken_r_0009_0002___apos_s
Ken 's
r_0009_0003__QED->r_0009_0001__Ken_r_0009_0002___apos_s
[gen]
r_0009_0004__compiled
compiled
r_0009_0004__compiled->r_0009_0003__QED
[arg0]
r_0009_0005__machine_r_0009_0006__code
machine code
r_0009_0004__compiled->r_0009_0005__machine_r_0009_0006__code
[arg1]
r_0009_0010__expression
expression
r_0009_0004__compiled->r_0009_0010__expression
for [nim]
r_0009_0009__regular
regular
r_0009_0010__expression->r_0009_0009__regular
[attrib]
r_0009_0008__each_quant
each [quant]
r_0009_0008__each_quant->r_0009_0004__compiled
[scope]
r_0009_0008__each_quant->r_0009_0010__expression
[restriction]
r_0009_0011__that_r_0009_0012__created
that created
r_0009_0011__that_r_0009_0012__created->r_0009_0010__expression
[arg0]
r_0009_0013__a_r_0009_0014__NDFA
a NDFA
r_0009_0011__that_r_0009_0012__created->r_0009_0013__a_r_0009_0014__NDFA
[arg1]
r_0009_0020__automaton
automaton
r_0009_0016__non
non
r_0009_0020__automaton->r_0009_0016__non
[qual]
r_0009_0018__deterministic
deterministic
r_0009_0020__automaton->r_0009_0018__deterministic
[attrib]
r_0009_0019__finite
finite
r_0009_0020__automaton->r_0009_0019__finite
[attrib]
r_0009_0022__to_r_0009_0023__do
to do
r_0009_0022__to_r_0009_0023__do->r_0009_0013__a_r_0009_0014__NDFA
[arg0]
r_0009_0024__the_r_0009_0025__search
the search
r_0009_0022__to_r_0009_0023__do->r_0009_0024__the_r_0009_0025__search
[arg1]
z_000_9_a_history_of_qed_42
z_000_9_a_history_of_qed_42->r_0009_0013__a_r_0009_0014__NDFA
[arg0]
z_000_9_a_history_of_qed_42->r_0009_0020__automaton
[prd]
arc(r_0009_0003__QED, r_0009_0001__Ken_r_0009_0002___apos_s, gen).
arc(r_0009_0004__compiled, r_0009_0003__QED, arg0).
arc(r_0009_0004__compiled, r_0009_0005__machine_r_0009_0006__code, arg1).
arc(r_0009_0004__compiled, r_0009_0010__expression, r_0009_0007__for_nim20).
arc(r_0009_0008__each_quant, r_0009_0004__compiled, scope).
arc(r_0009_0008__each_quant, r_0009_0010__expression, restriction).
arc(r_0009_0010__expression, r_0009_0009__regular, attrib23).
arc(r_0009_0011__that_r_0009_0012__created, r_0009_0010__expression, arg0).
arc(r_0009_0011__that_r_0009_0012__created, r_0009_0013__a_r_0009_0014__NDFA, arg1).
arc(r_0009_0020__automaton, r_0009_0016__non, qual44).
arc(r_0009_0020__automaton, r_0009_0018__deterministic, attrib49).
arc(r_0009_0020__automaton, r_0009_0019__finite, attrib52).
arc(r_0009_0022__to_r_0009_0023__do, r_0009_0013__a_r_0009_0014__NDFA, arg0).
arc(r_0009_0022__to_r_0009_0023__do, r_0009_0024__the_r_0009_0025__search, arg1).
arc(z_000_9_a_history_of_qed_42, r_0009_0013__a_r_0009_0014__NDFA, arg0).
arc(z_000_9_a_history_of_qed_42, r_0009_0020__automaton, prd).
%3
z_000_9_a_history_of_qed_42
r_0009_0020__automaton
automaton
z_000_9_a_history_of_qed_42->r_0009_0020__automaton
[prd]
r_0009_0013__a_r_0009_0014__NDFA
a NDFA
z_000_9_a_history_of_qed_42->r_0009_0013__a_r_0009_0014__NDFA
[arg0]
r_0009_0019__finite
finite
r_0009_0020__automaton->r_0009_0019__finite
[attrib]
r_0009_0018__deterministic
deterministic
r_0009_0020__automaton->r_0009_0018__deterministic
[attrib]
r_0009_0016__non
non
r_0009_0020__automaton->r_0009_0016__non
[qual]
r_0009_0022__to_r_0009_0023__do
to do
r_0009_0022__to_r_0009_0023__do->r_0009_0013__a_r_0009_0014__NDFA
[arg0]
r_0009_0024__the_r_0009_0025__search
the search
r_0009_0022__to_r_0009_0023__do->r_0009_0024__the_r_0009_0025__search
[arg1]
r_0009_0011__that_r_0009_0012__created
that created
r_0009_0011__that_r_0009_0012__created->r_0009_0013__a_r_0009_0014__NDFA
[arg1]
r_0009_0010__expression
expression
r_0009_0011__that_r_0009_0012__created->r_0009_0010__expression
[arg0]
r_0009_0009__regular
regular
r_0009_0010__expression->r_0009_0009__regular
[attrib]
r_0009_0008__each_quant
each [quant]
r_0009_0008__each_quant->r_0009_0011__that_r_0009_0012__created
[restriction]
r_0009_0004__compiled
compiled
r_0009_0008__each_quant->r_0009_0004__compiled
[scope]
r_0009_0004__compiled->r_0009_0010__expression
for [nim]
r_0009_0005__machine_r_0009_0006__code
machine code
r_0009_0004__compiled->r_0009_0005__machine_r_0009_0006__code
[arg1]
r_0009_0003__QED
QED
r_0009_0004__compiled->r_0009_0003__QED
[arg0]
r_0009_0001__Ken_r_0009_0002___apos_s
Ken 's
r_0009_0003__QED->r_0009_0001__Ken_r_0009_0002___apos_s
[gen]
fof(formula,axiom,
? [R_9_22_TO_DO,R_9_24_THE_SEARCH,Z_9_A_HISTORY_OF_QED_42,R_9_13_A_NDFA,R_9_20_AUTOMATON,R_9_18_DETERMINISTIC,R_9_19_FINITE,R_9_16_NON] :
( the_search(R_9_24_THE_SEARCH)
& a_NDFA(R_9_13_A_NDFA)
& deterministic(R_9_18_DETERMINISTIC)
& finite(R_9_19_FINITE)
& non(R_9_16_NON)
& ! [R_9_11_THAT_CREATED,R_9_10_EXPRESSION,R_9_9_REGULAR] :
( ( regular(R_9_9_REGULAR)
& that_created(R_9_11_THAT_CREATED,R_9_10_EXPRESSION,R_9_13_A_NDFA)
& expression(R_9_10_EXPRESSION)
& attrib23(R_9_10_EXPRESSION,R_9_9_REGULAR) )
=> ? [R_9_4_COMPILED,R_9_3_QED,R_9_1_KEN_APOS_S,R_9_5_MACHINE_CODE] :
( ken_apos_s(R_9_1_KEN_APOS_S)
& machine_code(R_9_5_MACHINE_CODE)
& compiled(R_9_4_COMPILED,R_9_3_QED,R_9_5_MACHINE_CODE)
& qED(R_9_3_QED)
& gen(R_9_3_QED,R_9_1_KEN_APOS_S)
& for_nim20(R_9_4_COMPILED,R_9_10_EXPRESSION) ) )
& to_do(R_9_22_TO_DO,R_9_13_A_NDFA,R_9_24_THE_SEARCH)
& z_9_a_history_of_qed_42(Z_9_A_HISTORY_OF_QED_42,R_9_13_A_NDFA,R_9_20_AUTOMATON)
& automaton(R_9_20_AUTOMATON)
& attrib49(R_9_20_AUTOMATON,R_9_18_DETERMINISTIC)
& attrib52(R_9_20_AUTOMATON,R_9_19_FINITE)
& qual44(R_9_20_AUTOMATON,R_9_16_NON) ) ).
n9_a_history_of_qed
n9_a_history_of_qed__1_1_1_1_1
Ken
n9_a_history_of_qed__1_1_1_2_1
's
n9_a_history_of_qed__1_1_2_1
QED
n9_a_history_of_qed__1_2_1
compiled
n9_a_history_of_qed__1_3_1_1
machine
n9_a_history_of_qed__1_3_2_1
code
n9_a_history_of_qed__1_4_1_1
for
n9_a_history_of_qed__1_4_2_1_1
each
n9_a_history_of_qed__1_4_2_2_1_1
regular
n9_a_history_of_qed__1_4_2_3_1
expression
n9_a_history_of_qed__1_4_2_4_1_1
that
n9_a_history_of_qed__1_4_2_4_2_1
*T*
n9_a_history_of_qed__1_4_2_4_3_1
created
n9_a_history_of_qed__1_4_2_4_4_1_1
a
n9_a_history_of_qed__1_4_2_4_4_2_1
NDFA
n9_a_history_of_qed__1_4_2_4_4_3_1
-LRB-
n9_a_history_of_qed__1_4_2_4_4_4_1_1_1_1
non
n9_a_history_of_qed__1_4_2_4_4_4_1_2_1
-
n9_a_history_of_qed__1_4_2_4_4_4_1_3_1_1
deterministic
n9_a_history_of_qed__1_4_2_4_4_4_1_4_1_1
finite
n9_a_history_of_qed__1_4_2_4_4_4_1_5_1
automaton
n9_a_history_of_qed__1_4_2_4_4_5_1
-RRB-
n9_a_history_of_qed__1_4_2_4_4_6_1_1
*T*
n9_a_history_of_qed__1_4_2_4_4_6_2_1
to
n9_a_history_of_qed__1_4_2_4_4_6_3_1
do
n9_a_history_of_qed__1_4_2_4_4_6_4_1_1
the
n9_a_history_of_qed__1_4_2_4_4_6_4_2_1
search
n9_a_history_of_qed__1_5_1
.
n9_a_history_of_qed__1
IP-MAT
n9_a_history_of_qed__1_1
NP-SBJ
n9_a_history_of_qed__1->n9_a_history_of_qed__1_1
n9_a_history_of_qed__1_2
VBD;__
n9_a_history_of_qed__1->n9_a_history_of_qed__1_2
n9_a_history_of_qed__1_3
NP-OB1
n9_a_history_of_qed__1->n9_a_history_of_qed__1_3
n9_a_history_of_qed__1_4
PP-NIM
n9_a_history_of_qed__1->n9_a_history_of_qed__1_4
n9_a_history_of_qed__1_5
PUNC
n9_a_history_of_qed__1->n9_a_history_of_qed__1_5
n9_a_history_of_qed__1_1_1
NP-GEN
n9_a_history_of_qed__1_1->n9_a_history_of_qed__1_1_1
n9_a_history_of_qed__1_1_2
NPR
n9_a_history_of_qed__1_1->n9_a_history_of_qed__1_1_2
n9_a_history_of_qed__1_1_1_1
NPR
n9_a_history_of_qed__1_1_1->n9_a_history_of_qed__1_1_1_1
n9_a_history_of_qed__1_1_1_2
GENM
n9_a_history_of_qed__1_1_1->n9_a_history_of_qed__1_1_1_2
n9_a_history_of_qed__1_1_1_1->n9_a_history_of_qed__1_1_1_1_1
n9_a_history_of_qed__1_1_1_2->n9_a_history_of_qed__1_1_1_2_1
n9_a_history_of_qed__1_1_2->n9_a_history_of_qed__1_1_2_1
n9_a_history_of_qed__1_2->n9_a_history_of_qed__1_2_1
n9_a_history_of_qed__1_3_1
N
n9_a_history_of_qed__1_3->n9_a_history_of_qed__1_3_1
n9_a_history_of_qed__1_3_2
N
n9_a_history_of_qed__1_3->n9_a_history_of_qed__1_3_2
n9_a_history_of_qed__1_3_1->n9_a_history_of_qed__1_3_1_1
n9_a_history_of_qed__1_3_2->n9_a_history_of_qed__1_3_2_1
n9_a_history_of_qed__1_4_1
P-ROLE
n9_a_history_of_qed__1_4->n9_a_history_of_qed__1_4_1
n9_a_history_of_qed__1_4_2
NP
n9_a_history_of_qed__1_4->n9_a_history_of_qed__1_4_2
n9_a_history_of_qed__1_4_1->n9_a_history_of_qed__1_4_1_1
n9_a_history_of_qed__1_4_2_1
Q
n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_1
n9_a_history_of_qed__1_4_2_2
ADJP
n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_2
n9_a_history_of_qed__1_4_2_3
N
n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_3
n9_a_history_of_qed__1_4_2_4
IP-REL
n9_a_history_of_qed__1_4_2->n9_a_history_of_qed__1_4_2_4
n9_a_history_of_qed__1_4_2_1->n9_a_history_of_qed__1_4_2_1_1
n9_a_history_of_qed__1_4_2_2_1
ADJ
n9_a_history_of_qed__1_4_2_2->n9_a_history_of_qed__1_4_2_2_1
n9_a_history_of_qed__1_4_2_2_1->n9_a_history_of_qed__1_4_2_2_1_1
n9_a_history_of_qed__1_4_2_3->n9_a_history_of_qed__1_4_2_3_1
n9_a_history_of_qed__1_4_2_4_1
C
n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_1
n9_a_history_of_qed__1_4_2_4_2
NP-SBJ
n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_2
n9_a_history_of_qed__1_4_2_4_3
VBD;_Tn_
n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_3
n9_a_history_of_qed__1_4_2_4_4
NP-OB1
n9_a_history_of_qed__1_4_2_4->n9_a_history_of_qed__1_4_2_4_4
n9_a_history_of_qed__1_4_2_4_1->n9_a_history_of_qed__1_4_2_4_1_1
n9_a_history_of_qed__1_4_2_4_2->n9_a_history_of_qed__1_4_2_4_2_1
n9_a_history_of_qed__1_4_2_4_3->n9_a_history_of_qed__1_4_2_4_3_1
n9_a_history_of_qed__1_4_2_4_4_1
D
n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_1
n9_a_history_of_qed__1_4_2_4_4_2
NPR
n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_2
n9_a_history_of_qed__1_4_2_4_4_3
PULB
n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_3
n9_a_history_of_qed__1_4_2_4_4_4
IP-PPL
n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_4
n9_a_history_of_qed__1_4_2_4_4_5
PURB
n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_5
n9_a_history_of_qed__1_4_2_4_4_6
IP-INF-REL
n9_a_history_of_qed__1_4_2_4_4->n9_a_history_of_qed__1_4_2_4_4_6
n9_a_history_of_qed__1_4_2_4_4_1->n9_a_history_of_qed__1_4_2_4_4_1_1
n9_a_history_of_qed__1_4_2_4_4_2->n9_a_history_of_qed__1_4_2_4_4_2_1
n9_a_history_of_qed__1_4_2_4_4_3->n9_a_history_of_qed__1_4_2_4_4_3_1
n9_a_history_of_qed__1_4_2_4_4_4_1
NP-PRD
n9_a_history_of_qed__1_4_2_4_4_4->n9_a_history_of_qed__1_4_2_4_4_4_1
n9_a_history_of_qed__1_4_2_4_4_4_1_1
ADVP
n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_1
n9_a_history_of_qed__1_4_2_4_4_4_1_2
PUNC
n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_2
n9_a_history_of_qed__1_4_2_4_4_4_1_3
ADJP
n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_3
n9_a_history_of_qed__1_4_2_4_4_4_1_4
ADJP
n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_4
n9_a_history_of_qed__1_4_2_4_4_4_1_5
N
n9_a_history_of_qed__1_4_2_4_4_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_5
n9_a_history_of_qed__1_4_2_4_4_4_1_1_1
ADV
n9_a_history_of_qed__1_4_2_4_4_4_1_1->n9_a_history_of_qed__1_4_2_4_4_4_1_1_1
n9_a_history_of_qed__1_4_2_4_4_4_1_1_1->n9_a_history_of_qed__1_4_2_4_4_4_1_1_1_1
n9_a_history_of_qed__1_4_2_4_4_4_1_2->n9_a_history_of_qed__1_4_2_4_4_4_1_2_1
n9_a_history_of_qed__1_4_2_4_4_4_1_3_1
ADJ
n9_a_history_of_qed__1_4_2_4_4_4_1_3->n9_a_history_of_qed__1_4_2_4_4_4_1_3_1
n9_a_history_of_qed__1_4_2_4_4_4_1_3_1->n9_a_history_of_qed__1_4_2_4_4_4_1_3_1_1
n9_a_history_of_qed__1_4_2_4_4_4_1_4_1
ADJ
n9_a_history_of_qed__1_4_2_4_4_4_1_4->n9_a_history_of_qed__1_4_2_4_4_4_1_4_1
n9_a_history_of_qed__1_4_2_4_4_4_1_4_1->n9_a_history_of_qed__1_4_2_4_4_4_1_4_1_1
n9_a_history_of_qed__1_4_2_4_4_4_1_5->n9_a_history_of_qed__1_4_2_4_4_4_1_5_1
n9_a_history_of_qed__1_4_2_4_4_5->n9_a_history_of_qed__1_4_2_4_4_5_1
n9_a_history_of_qed__1_4_2_4_4_6_1
NP-SBJ
n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_1
n9_a_history_of_qed__1_4_2_4_4_6_2
TO
n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_2
n9_a_history_of_qed__1_4_2_4_4_6_3
DO;_Tn_
n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_3
n9_a_history_of_qed__1_4_2_4_4_6_4
NP-OB1
n9_a_history_of_qed__1_4_2_4_4_6->n9_a_history_of_qed__1_4_2_4_4_6_4
n9_a_history_of_qed__1_4_2_4_4_6_1->n9_a_history_of_qed__1_4_2_4_4_6_1_1
n9_a_history_of_qed__1_4_2_4_4_6_2->n9_a_history_of_qed__1_4_2_4_4_6_2_1
n9_a_history_of_qed__1_4_2_4_4_6_3->n9_a_history_of_qed__1_4_2_4_4_6_3_1
n9_a_history_of_qed__1_4_2_4_4_6_4_1
D
n9_a_history_of_qed__1_4_2_4_4_6_4->n9_a_history_of_qed__1_4_2_4_4_6_4_1
n9_a_history_of_qed__1_4_2_4_4_6_4_2
N
n9_a_history_of_qed__1_4_2_4_4_6_4->n9_a_history_of_qed__1_4_2_4_4_6_4_2
n9_a_history_of_qed__1_4_2_4_4_6_4_1->n9_a_history_of_qed__1_4_2_4_4_6_4_1_1
n9_a_history_of_qed__1_4_2_4_4_6_4_2->n9_a_history_of_qed__1_4_2_4_4_6_4_2_1
n9_a_history_of_qed__1_5->n9_a_history_of_qed__1_5_1
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
(GENM <apos>s))
(NPR QED;{QED}))
(VBD;__ compiled;{compile})
(NP-OB1 (N machine;{machine})
(N code;{code}))
(PP-NIM (P-ROLE for;{for})
(NP (Q each;{each})
(ADJP (ADJ regular;{regular}))
(N expression;{expression})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(VBD;_Tn_ created;{create})
(NP-OB1 (D a;{a})
(NPR NDFA;{NDFA})
(PULB -LRB-)
(IP-PPL (NP-PRD (ADVP (ADV non;{non}))
(PUNC <hyphen>)
(ADJP (ADJ deterministic;{deterministic}))
(ADJP (ADJ finite;{finite}))
(N automaton;{automaton})))
(PURB -RRB-)
(IP-INF-REL (NP-SBJ *T*)
(TO to;{to})
(DO;_Tn_ do;{do})
(NP-OB1 (D the;{the})
(N search;{search})))))))
(PUNC .))
(ID 9_a_history_of_qed))