9_a_history_of_qed
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
PRN
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
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-)
(PRN (NP (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))
%3
z_0009_5009
r_0009_0020__automaton
automaton
z_0009_5009->r_0009_0020__automaton
[prd]
r_0009_0013__a_r_0009_0014__NDFA
a NDFA
z_0009_5009->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_0023__do
do
r_0009_0023__do->r_0009_0013__a_r_0009_0014__NDFA
[inv_arg0]
r_0009_0024__the_r_0009_0025__search
the search
r_0009_0023__do->r_0009_0024__the_r_0009_0025__search
[arg1]
r_0009_0012__created
created
r_0009_0012__created->r_0009_0013__a_r_0009_0014__NDFA
[arg1]
r_0009_0010__expression
expression
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_0010__expression
[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
Ken
r_0009_0003__QED->r_0009_0001__Ken
[gen]
arc(r_0009_0003__QED,r_0009_0001__Ken,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__nim).
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,attrib).
arc(r_0009_0012__created,r_0009_0010__expression,arg0).
arc(r_0009_0012__created,r_0009_0013__a_r_0009_0014__NDFA,arg1).
arc(r_0009_0020__automaton,r_0009_0016__non,qual).
arc(r_0009_0020__automaton,r_0009_0018__deterministic,attrib).
arc(r_0009_0020__automaton,r_0009_0019__finite,attrib).
arc(r_0009_0023__do,r_0009_0013__a_r_0009_0014__NDFA,inv_arg0).
arc(r_0009_0023__do,r_0009_0024__the_r_0009_0025__search,arg1).
arc(z_0009_5009,r_0009_0013__a_r_0009_0014__NDFA,arg0).
arc(z_0009_5009,r_0009_0020__automaton,prd).
%3
r_0009_0003__QED
QED
r_0009_0001__Ken
Ken
r_0009_0003__QED->r_0009_0001__Ken
[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_0012__created
created
r_0009_0008__each__quant->r_0009_0012__created
[restriction]
r_0009_0012__created->r_0009_0010__expression
[arg0]
r_0009_0013__a_r_0009_0014__NDFA
a NDFA
r_0009_0012__created->r_0009_0013__a_r_0009_0014__NDFA
[arg1]
r_0009_0023__do
do
r_0009_0013__a_r_0009_0014__NDFA->r_0009_0023__do
[inv_arg0]
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_0024__the_r_0009_0025__search
the search
r_0009_0023__do->r_0009_0024__the_r_0009_0025__search
[arg1]
z_0009_5009
z_0009_5009->r_0009_0013__a_r_0009_0014__NDFA
[arg0]
z_0009_5009->r_0009_0020__automaton
[prd]
fof(formula,axiom,
? [R_0009_0024__THE_R_0009_0025__SEARCH,R_0009_0023__DO,R_0009_0013__A_R_0009_0014__NDFA,R_0009_0016__NON,R_0009_0018__DETERMINISTIC,R_0009_0019__FINITE,R_0009_0020__AUTOMATON,Z_0009_5009] :
( r_0009_0016__non(R_0009_0016__NON)
& r_0009_0018__deterministic(R_0009_0018__DETERMINISTIC)
& r_0009_0019__finite(R_0009_0019__FINITE)
& r_0009_0024__the_r_0009_0025__search(R_0009_0024__THE_R_0009_0025__SEARCH)
& z_0009_5009(Z_0009_5009)
& has_prd(Z_0009_5009,R_0009_0020__AUTOMATON)
& r_0009_0020__automaton(R_0009_0020__AUTOMATON)
& has_attrib(R_0009_0020__AUTOMATON,R_0009_0019__FINITE)
& has_attrib(R_0009_0020__AUTOMATON,R_0009_0018__DETERMINISTIC)
& has_qual(R_0009_0020__AUTOMATON,R_0009_0016__NON)
& has_arg0(Z_0009_5009,R_0009_0013__A_R_0009_0014__NDFA)
& r_0009_0013__a_r_0009_0014__NDFA(R_0009_0013__A_R_0009_0014__NDFA)
& has_inv_arg0(R_0009_0013__A_R_0009_0014__NDFA,R_0009_0023__DO)
& r_0009_0023__do(R_0009_0023__DO)
& has_arg1(R_0009_0023__DO,R_0009_0024__THE_R_0009_0025__SEARCH)
& ! [R_0009_0010__EXPRESSION,R_0009_0009__REGULAR,R_0009_0012__CREATED] :
( ( r_0009_0009__regular(R_0009_0009__REGULAR)
& r_0009_0012__created(R_0009_0012__CREATED)
& has_arg1(R_0009_0012__CREATED,R_0009_0013__A_R_0009_0014__NDFA)
& has_arg0(R_0009_0012__CREATED,R_0009_0010__EXPRESSION)
& r_0009_0010__expression(R_0009_0010__EXPRESSION)
& has_attrib(R_0009_0010__EXPRESSION,R_0009_0009__REGULAR) )
=> ? [R_0009_0001__KEN,R_0009_0003__QED,R_0009_0005__MACHINE_R_0009_0006__CODE,R_0009_0004__COMPILED] :
( r_0009_0001__Ken(R_0009_0001__KEN)
& r_0009_0005__machine_r_0009_0006__code(R_0009_0005__MACHINE_R_0009_0006__CODE)
& r_0009_0004__compiled(R_0009_0004__COMPILED)
& has_r_0009_0007__for__nim(R_0009_0004__COMPILED,R_0009_0010__EXPRESSION)
& has_arg1(R_0009_0004__COMPILED,R_0009_0005__MACHINE_R_0009_0006__CODE)
& has_arg0(R_0009_0004__COMPILED,R_0009_0003__QED)
& r_0009_0003__QED(R_0009_0003__QED)
& has_gen(R_0009_0003__QED,R_0009_0001__KEN) ) ) ) ).