13_a_history_of_qed
%3
0013_0003__CTSS_0013_0004__qed
ctss_qed
0013_0001__Ken
ken
0013_0003__CTSS_0013_0004__qed->0013_0001__Ken
[genv]
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[dir]
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_0020__and
and
0013_0014__buffers->0013_0020__and
[emb]
0013_0016__edit
edit
0013_0020__and->0013_0016__edit
[conj1]
0013_0023__and
and
0013_0020__and->0013_0023__and
[conj2]
0013_0018__files
files
0013_0016__edit->0013_0018__files
[arg1]
0013_0019__simultaneously
simultaneously
0013_0016__edit->0013_0019__simultaneously
[mnr]
0013_0017__several
several
0013_0018__files->0013_0017__several
[attrib]
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_0018__files
among[rst]
0013_0025__text
text
0013_0022__move->0013_0025__text
[arg1]
0013_0024__copy->0013_0018__files
among[rst]
0013_0024__copy->0013_0025__text
[arg1]
z_0013_1027
[abs]
0013_0031__the_0013_0032__idea->z_0013_1027
of
0013_0034__executing
executing
z_0013_1027->0013_0034__executing
[scope]
0013_0042__thus_0013_0043__providing
thus_providing
z_0013_1027->0013_0042__thus_0013_0043__providing
[restriction]
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[mnr]
0013_0036__given
given
0013_0036__given->0013_0035__a_0013_0037__buffer
[arg1]
0013_0044__programmability
programmability
0013_0042__thus_0013_0043__providing->0013_0044__programmability
[arg1]
arc(r_0013_0003__CTSS_r_0013_0004__qed,r_0013_0001__Ken,genv).
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__dir).
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_0014__buffers,r_0013_0020__and,emb).
arc(r_0013_0016__edit,r_0013_0018__files,arg1).
arc(r_0013_0016__edit,r_0013_0019__simultaneously,mnr).
arc(r_0013_0018__files,r_0013_0017__several,attrib).
arc(r_0013_0020__and,r_0013_0016__edit,conj1).
arc(r_0013_0020__and,r_0013_0023__and,conj2).
arc(r_0013_0022__move,r_0013_0018__files,r_0013_0026__among__rst).
arc(r_0013_0022__move,r_0013_0025__text,arg1).
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_0018__files,r_0013_0026__among__rst).
arc(r_0013_0024__copy,r_0013_0025__text,arg1).
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,z_0013_1027__abs,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__mnr).
arc(r_0013_0036__given,r_0013_0035__a_r_0013_0037__buffer,arg1).
arc(r_0013_0042__thus_r_0013_0043__providing,r_0013_0044__programmability,arg1).
arc(z_0013_1027__abs,r_0013_0034__executing,scope_).
arc(z_0013_1027__abs,r_0013_0042__thus_r_0013_0043__providing,restriction_).
IP-MAT
NP-SBJ
NP-GENV
NPR
Ken
GENM
's
NPR
CTSS
NPR
qed
VBD;~Tn.pr
adopted
PP-DIR
P-ROLE
from
NP
D
the
NPR
Berkeley
NUM
one
NP-OB1
NLYR
NP
D
the
N
notion
PP
P-ROLE
of
NP
ADJP
ADJ
multiple
NS
buffers
IP-INF
ILYR
ILYR
TO
to
VB;~Tn
edit
NP-OB1
ADJP
ADJ
several
NS
files
ADVP-MNR
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-RST
P-ROLE
among
NP
PRO
them
PUNC
,
CONJP
CONJ
and
ADVP-MOD
ADV
also
NP
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-MNR
P-ROLE
as
NP
N
editor
NS
commands
PUNC
,
PP-SCON-ABS
IP-PPL2
ADVP-CNT
ADV
thus
VAG;~Tn
providing
NP-OB1
N
programmability
PUNC
.
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GENV;{KEN} (NPR Ken;{Ken})
(GENM <apos>s))
(NPR CTSS;{CTSS})
(NPR qed;{qed}))
(VBD;~Tn.pr adopted;{adopt})
(PP-DIR (P-ROLE from;{from})
(NP;{BERKELEY_QED} (D the;{the})
(NPR Berkeley;{Berkeley})
(NUM one;{one})))
(NP-OB1 (NLYR (NP (D the;{the})
(N notion;{notion})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ multiple;{multiple}))
(NS buffers;{buffer})
(IP-INF (ILYR (ILYR (TO to;{to})
(VB;~Tn edit;{edit})
(NP-OB1;{FILES} (ADJP (ADJ several;{several}))
(NS files;{file}))
(ADVP-MNR (ADV simultaneously;{simultaneously})))
(CONJP (CONJ and;{and})
(ILYR (TO to;{to})
(ILYR (ILYR (VB;~Tn.pr move;{move}))
(CONJP (CONJ and;{and})
(ILYR (VB;~Tn.pr copy;{copy}))))
(NP-OB1 (N text;{text}))
(PP-RST (P-ROLE among;{among})
(NP;{FILES} (PRO them;{they}))))))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ADVP-MOD (ADV also;{also}))
(NP (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-MNR (P-ROLE as;{as})
(NP (N editor;{editor})
(NS commands;{command})))
(PUNC ,)
(PP-SCON-ABS (IP-PPL2 (ADVP-CNT (ADV thus;{thus}))
(VAG;~Tn providing;{provide})
(NP-OB1 (N programmability;{programmability}))))))))))
(PUNC .))
(ID 13_a_history_of_qed))