13_a_history_of_qed
0013_0003__CTSS_0013_0004__qed
ctss_qed
0013_0001__Ken
ken
0013_0003__CTSS_0013_0004__qed->0013_0001__Ken
[gen]
0013_0005__adopted
adopted
0013_0005__adopted->0013_0003__CTSS_0013_0004__qed
[arg0]
0013_0007__the_0013_0008__Berkeley_0013_0009__one
the_berkeley_one
0013_0005__adopted->0013_0007__the_0013_0008__Berkeley_0013_0009__one
from[nim]
0013_0029__and_0013_0030__also
and_also
0013_0005__adopted->0013_0029__and_0013_0030__also
[arg1]
0013_0010__the_0013_0011__notion
the_notion
0013_0029__and_0013_0030__also->0013_0010__the_0013_0011__notion
[conj1]
0013_0031__the_0013_0032__idea
the_idea
0013_0029__and_0013_0030__also->0013_0031__the_0013_0032__idea
[conj2]
0013_0014__buffers
buffers
0013_0010__the_0013_0011__notion->0013_0014__buffers
of
0013_0013__multiple
multiple
0013_0014__buffers->0013_0013__multiple
[attrib]
0013_0016__edit
edit
0013_0016__edit->0013_0010__the_0013_0011__notion
[nim]
0013_0018__files
files
0013_0016__edit->0013_0018__files
[arg1]
0013_0019__simultaneously
simultaneously
0013_0016__edit->0013_0019__simultaneously
[nim]
z_0013_5006
_
0013_0016__edit->z_0013_5006
[arg0]
0013_0017__several
several
0013_0018__files->0013_0017__several
[attrib]
0013_0020__and
and
0013_0020__and->0013_0016__edit
[conj1]
0013_0023__and
and
0013_0020__and->0013_0023__and
[conj2]
0013_0022__move
move
0013_0023__and->0013_0022__move
[conj1]
0013_0024__copy
copy
0013_0023__and->0013_0024__copy
[conj2]
0013_0022__move->0013_0010__the_0013_0011__notion
[nim]
0013_0022__move->0013_0018__files
among[clr]
0013_0022__move->z_0013_5006
[arg0]
0013_0025__text
text
0013_0022__move->0013_0025__text
[arg1]
0013_0024__copy->0013_0010__the_0013_0011__notion
[nim]
0013_0024__copy->0013_0018__files
among[clr]
0013_0024__copy->z_0013_5006
[arg0]
0013_0024__copy->0013_0025__text
[arg1]
0013_1001____sta_
_*_
0013_0031__the_0013_0032__idea->0013_1001____sta_
of
0013_0034__executing
executing
0013_1001____sta_->0013_0034__executing
[scope]
0013_0043__providing
providing
0013_1001____sta_->0013_0043__providing
[restriction]
0013_0034__executing->0013_1001____sta_
[arg0]
0013_0035__a_0013_0037__buffer
a_buffer
0013_0034__executing->0013_0035__a_0013_0037__buffer
[arg1]
0013_0039__edito0013_0040__commands
editor_commands
0013_0034__executing->0013_0039__edito0013_0040__commands
as[nim]
0013_0036__given
given
0013_0036__given->0013_0035__a_0013_0037__buffer
[arg1]
staz_0013_5020
*
0013_0036__given->staz_0013_5020
[arg0]
0013_0043__providing->0013_1001____sta_
[arg0]
0013_0042__thus
thus
0013_0043__providing->0013_0042__thus
[nim]
0013_0044__programmability
programmability
0013_0043__providing->0013_0044__programmability
[arg1]
arc(r_0013_0003__CTSS_r_0013_0004__qed,r_0013_0001__Ken,gen).
arc(r_0013_0005__adopted,r_0013_0003__CTSS_r_0013_0004__qed,arg0).
arc(r_0013_0005__adopted,r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one,r_0013_0006__from__nim).
arc(r_0013_0005__adopted,r_0013_0029__and_r_0013_0030__also,arg1).
arc(r_0013_0010__the_r_0013_0011__notion,r_0013_0014__buffers,r_0013_0012__of).
arc(r_0013_0014__buffers,r_0013_0013__multiple,attrib).
arc(r_0013_0016__edit,r_0013_0010__the_r_0013_0011__notion,nim).
arc(r_0013_0016__edit,r_0013_0018__files,arg1).
arc(r_0013_0016__edit,r_0013_0019__simultaneously,nim).
arc(r_0013_0016__edit,z_0013_5006,arg0).
arc(r_0013_0018__files,r_0013_0017__several,attrib).
arc(r_0013_0020__and,r_0013_0016__edit,coord_conj1).
arc(r_0013_0020__and,r_0013_0023__and,coord_conj2).
arc(r_0013_0022__move,r_0013_0010__the_r_0013_0011__notion,nim).
arc(r_0013_0022__move,r_0013_0018__files,r_0013_0026__among__clr).
arc(r_0013_0022__move,r_0013_0025__text,arg1).
arc(r_0013_0022__move,z_0013_5006,arg0).
arc(r_0013_0023__and,r_0013_0022__move,coord_conj1).
arc(r_0013_0023__and,r_0013_0024__copy,coord_conj2).
arc(r_0013_0024__copy,r_0013_0010__the_r_0013_0011__notion,nim).
arc(r_0013_0024__copy,r_0013_0018__files,r_0013_0026__among__clr).
arc(r_0013_0024__copy,r_0013_0025__text,arg1).
arc(r_0013_0024__copy,z_0013_5006,arg0).
arc(r_0013_0029__and_r_0013_0030__also,r_0013_0010__the_r_0013_0011__notion,conj1).
arc(r_0013_0029__and_r_0013_0030__also,r_0013_0031__the_r_0013_0032__idea,conj2).
arc(r_0013_0031__the_r_0013_0032__idea,r_0013_1001____star__,r_0013_0033__of).
arc(r_0013_0034__executing,r_0013_0035__a_r_0013_0037__buffer,arg1).
arc(r_0013_0034__executing,r_0013_0039__editor_r_0013_0040__commands,r_0013_0038__as__nim).
arc(r_0013_0034__executing,r_0013_1001____star__,arg0).
arc(r_0013_0036__given,r_0013_0035__a_r_0013_0037__buffer,arg1).
arc(r_0013_0036__given,star_z_0013_5020,arg0).
arc(r_0013_0043__providing,r_0013_0042__thus,nim).
arc(r_0013_0043__providing,r_0013_0044__programmability,arg1).
arc(r_0013_0043__providing,r_0013_1001____star__,arg0).
arc(r_0013_1001____star__,r_0013_0034__executing,scope_).
arc(r_0013_1001____star__,r_0013_0043__providing,restriction_).
IP-MAT
NP-SBJ
NP-GEN
NPR
Ken
GENM
's
NPR
CTSS
NPR
qed
VBD;~Tn.pr
adopted
PP-NIM
P-ROLE
from
NP
D
the
NPR
Berkeley
NUM
one
NP-OB1
NLYR
NLYR
D
the
N
notion
PP
P-ROLE
of
NP
ADJP
ADJ
multiple
NS
buffers
IP-INF-REL
NP-NIM
*T*
ILYR
ILYR
TO
to
VB;~Tn
edit
NP-OB1
ADJP
ADJ
several
NS
files
ADVP-NIM
ADV
simultaneously
CONJP
CONJ
and
ILYR
TO
to
ILYR
ILYR
VB;~Tn.pr
move
CONJP
CONJ
and
ILYR
VB;~Tn.pr
copy
NP-OB1
N
text
PP-CLR
P-ROLE
among
NP
PRO
them
PUNC
,
CONJP
CONJ
and
ADVP-NIM
ADV
also
NLYR
D
the
N
idea
PP
P-ROLE
of
IP-PPL
VAG;~Tn
executing
NP-OB1
D
a
IP-PPL
NP-LGS
*
VVN;~Tn
given
N
buffer
PP-NIM
P-ROLE
as
NP
N
editor
NS
commands
PUNC
,
PP-SCON
IP-PPL2
ADVP-NIM
ADV
thus
VAG;~Tn
providing
NP-OB1
N
programmability
PUNC
.
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
(GENM <apos>s))
(NPR CTSS;{CTSS})
(NPR qed;{qed}))
(VBD;~Tn.pr adopted;{adopt})
(PP-NIM (P-ROLE from;{from})
(NP;{BERKELEY_QED} (D the;{the})
(NPR Berkeley;{Berkeley})
(NUM one;{one})))
(NP-OB1 (NLYR (NLYR (D the;{the})
(N notion;{notion})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ multiple;{multiple}))
(NS buffers;{buffer})))
(IP-INF-REL (NP-NIM *T*)
(ILYR (ILYR (TO to;{to})
(VB;~Tn edit;{edit})
(NP-OB1;{FILES} (ADJP (ADJ several;{several}))
(NS files;{file}))
(ADVP-NIM (ADV simultaneously;{simultaneously})))
(CONJP (CONJ and;{and})
(ILYR (TO to;{to})
(ILYR (ILYR (VB;~Tn.pr move;{move[among]}))
(CONJP (CONJ and;{and})
(ILYR (VB;~Tn.pr copy;{copy[among]}))))
(NP-OB1 (N text;{text}))
(PP-CLR (P-ROLE among;{among})
(NP;{FILES} (PRO them;{they}))))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ADVP-NIM (ADV also;{also}))
(NLYR (D the;{the})
(N idea;{idea})
(PP (P-ROLE of;{of})
(IP-PPL (VAG;~Tn executing;{execute})
(NP-OB1 (D a;{a})
(IP-PPL (NP-LGS *)
(VVN;~Tn given;{give}))
(N buffer;{buffer}))
(PP-NIM (P-ROLE as;{as})
(NP (N editor;{editor})
(NS commands;{command})))
(PUNC ,)
(PP-SCON (IP-PPL2 (ADVP-NIM (ADV thus;{thus}))
(VAG;~Tn providing;{provide})
(NP-OB1 (N programmability;{programmability}))))))))))
(PUNC .))
(ID 13_a_history_of_qed))