5_a_history_of_qed
Ken Thompson used this QED at Berkeley before he came to Bell Labs , and among the first things he did on arriving was to write a new version for the MIT CTSS system .
%3
0005_0003__used
used
0005_0001__Ken_0005_0002__Thompson
ken_thompson
0005_0003__used->0005_0001__Ken_0005_0002__Thompson
[arg0]
0005_0004__this_0005_0005__QED
this_qed
0005_0003__used->0005_0004__this_0005_0005__QED
[arg1]
0005_0007__Berkeley
berkeley
0005_0003__used->0005_0007__Berkeley
at[loc]
0005_0008__before
before[tmp]
0005_0008__before->0005_0003__used
[scope]
0005_0010__came
came
0005_0008__before->0005_0010__came
[restriction]
0005_0010__came->0005_0001__Ken_0005_0002__Thompson
[arg0]
0005_0012__Bell_0005_0013__Labs
bell_labs
0005_0010__came->0005_0012__Bell_0005_0013__Labs
to[dir]
0005_0015__and
and
0005_0015__and->0005_0008__before
[conj1]
0005_0024__was
was
0005_0015__and->0005_0024__was
[conj2]
0005_0017__the_0005_0019__things
the_things
0005_0024__was->0005_0017__the_0005_0019__things
among[clr][prd2]
0005_0026__write
write
0005_0024__was->0005_0026__write
[arg0]
0005_0018__first
first
0005_0017__the_0005_0019__things->0005_0018__first
[attrib]
0005_0021__did
did
0005_0021__did->0005_0001__Ken_0005_0002__Thompson
[arg0]
0005_0021__did->0005_0017__the_0005_0019__things
[arg1]
0005_0023__arriving
arriving
0005_0021__did->0005_0023__arriving
on[cnt]
0005_0023__arriving->0005_0001__Ken_0005_0002__Thompson
[arg0]
0005_0027__a_0005_0029__version
a_version
0005_0026__write->0005_0027__a_0005_0029__version
[arg1]
0005_0031__the_0005_0032__MIT_0005_0033__CTSS_0005_0034__system
the_mit_ctss_system
0005_0026__write->0005_0031__the_0005_0032__MIT_0005_0033__CTSS_0005_0034__system
for[bnf]
0005_0028__new
new
0005_0027__a_0005_0029__version->0005_0028__new
[attrib]
arc(r_0005_0003__used,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0003__used,r_0005_0004__this_r_0005_0005__QED,arg1).
arc(r_0005_0003__used,r_0005_0007__Berkeley,r_0005_0006__at__loc).
arc(r_0005_0008__before_tmp,r_0005_0003__used,scope_).
arc(r_0005_0008__before_tmp,r_0005_0010__came,restriction_).
arc(r_0005_0010__came,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0010__came,r_0005_0012__Bell_r_0005_0013__Labs,r_0005_0011__to__dir).
arc(r_0005_0015__and,r_0005_0008__before_tmp,coord_conj1).
arc(r_0005_0015__and,r_0005_0024__was,coord_conj2).
arc(r_0005_0017__the_r_0005_0019__things,r_0005_0018__first,attrib).
arc(r_0005_0021__did,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0021__did,r_0005_0017__the_r_0005_0019__things,arg1).
arc(r_0005_0021__did,r_0005_0023__arriving,r_0005_0022__on__cnt).
arc(r_0005_0023__arriving,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0024__was,r_0005_0017__the_r_0005_0019__things,r_0005_0016__among__clr_prd2).
arc(r_0005_0024__was,r_0005_0026__write,arg0).
arc(r_0005_0026__write,r_0005_0027__a_r_0005_0029__version,arg1).
arc(r_0005_0026__write,r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system,r_0005_0030__for__bnf).
arc(r_0005_0027__a_r_0005_0029__version,r_0005_0028__new,attrib).
IP-MAT
ILYR
ILYR
NP-SBJ
NPR
Ken
NPR
Thompson
VBD
used
NP-OB1
D
this
NPR
QED
PP-LOC
P-ROLE
at
NP
NPR
Berkeley
PP-SCON-TMP
P-CONN
before
IP-ADV
NP-SBJ
PRO
he
VBD
came
PP-DIR
P-ROLE
to
NP
NPR
Bell
NPR
Labs
PUNC
,
CONJP
CONJ
and
ILYR
PP-CLR-PRD2
P-ROLE
among
NP
D
the
ADJP
ADJ
first
NS
things
IP-REL
NP-OB1
*T*
NP-SBJ
PRO
he
DOD
did
PP-CNT
P-ROLE
on
IP-PPL2
VAG
arriving
BED;~Ipr
was
IP-INF-SBJ
TO
to
VB
write
NP-OB1
D
a
ADJP
ADJ
new
N
version
PP-BNF
P-ROLE
for
NP
D
the
NPR
MIT
NPR
CTSS
N
system
PUNC
.
( (IP-MAT (ILYR (ILYR (NP-SBJ;{KEN} (NPR Ken;{Ken})
(NPR Thompson;{Thompson}))
(VBD used;{use})
(NP-OB1;{BERKELEY_QED} (D this;{this})
(NPR QED;{QED}))
(PP-LOC (P-ROLE at;{at})
(NP (NPR Berkeley;{Berkeley})))
(PP-SCON-TMP (P-CONN before;{before})
(IP-ADV (NP-SBJ;{KEN} (PRO he;{he}))
(VBD came;{come})
(PP-DIR (P-ROLE to;{to})
(NP (NPR Bell;{Bell})
(NPR Labs;{Labs}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (PP-CLR-PRD2 (P-ROLE among;{among})
(NP (D the;{the})
(ADJP (ADJ first;{first}))
(NS things;{thing})
(IP-REL (NP-OB1 *T*)
(NP-SBJ;{KEN} (PRO he;{he}))
(DOD did;{do})
(PP-CNT (P-ROLE on;{on})
(IP-PPL2 (VAG arriving;{arrive}))))))
(BED;~Ipr was;{be[among]})
(IP-INF-SBJ (TO to;{to})
(VB write;{write})
(NP-OB1;{CTSS_QED} (D a;{a})
(ADJP (ADJ new;{new}))
(N version;{version}))
(PP-BNF (P-ROLE for;{for})
(NP (D the;{the})
(NPR MIT;{MIT})
(NPR CTSS;{CTSS})
(N system;{system})))))))
(PUNC .))
(ID 5_a_history_of_qed))