6_a_history_of_qed
%3
0006_0001__Written
written
0006_0005__assembly_0006_0006__language
assembly_language
0006_0001__Written->0006_0005__assembly_0006_0006__language
in[mnr]
0006_0008__it
it
0006_0001__Written->0006_0008__it
[arg1]
0006_0003__IBM_0006_0004__7090
ibm_7090
0006_0005__assembly_0006_0006__language->0006_0003__IBM_0006_0004__7090
[nlyr]
0006_0009__differed
differed
0006_0009__differed->0006_0008__it
[arg0]
0006_0011__the_0006_0012__Berkeley_0006_0013__version
the_berkeley_version
0006_0009__differed->0006_0011__the_0006_0012__Berkeley_0006_0013__version
from[rst]
0006_0015__notably
notably
0006_0009__differed->0006_0015__notably
[mnr]
0006_0017__introducing
introducing
0006_0009__differed->0006_0017__introducing
in[mnr]
0006_0014__most
most
0006_0015__notably->0006_0014__most
[qual]
0006_0017__introducing->0006_0008__it
[arg0]
0006_0019__expressions
expressions
0006_0017__introducing->0006_0019__expressions
[arg1]
0006_0018__regular
regular
0006_0019__expressions->0006_0018__regular
[attrib]
0006_0021__specifying
specifying
0006_0019__expressions->0006_0021__specifying
for
0006_0022__strings
strings
0006_0021__specifying->0006_0022__strings
[arg1]
0006_0031__and
and
0006_0022__strings->0006_0031__and
[emb]
0006_0024__seek
seek
0006_0031__and->0006_0024__seek
[conj1]
0006_0033__specify
specify
0006_0031__and->0006_0033__specify
[conj2]
0006_0026__the_0006_0027__document
the_document
0006_0024__seek->0006_0026__the_0006_0027__document
within[dir]
0006_0028__being_0006_0029__edited
being_edited
0006_0028__being_0006_0029__edited->0006_0026__the_0006_0027__document
[arg1]
0006_0034__a_0006_0035__substring
a_substring
0006_0033__specify->0006_0034__a_0006_0035__substring
[arg1]
0006_0040__should_0006_0041__be_0006_0042__made
should_be_made
0006_0040__should_0006_0041__be_0006_0042__made->0006_0034__a_0006_0035__substring
for[rst]
0006_0038__a_0006_0039__substitution
a_substitution
0006_0040__should_0006_0041__be_0006_0042__made->0006_0038__a_0006_0039__substitution
[arg1]
z_0006_1032
[cnt]
z_0006_1032->0006_0001__Written
[restriction]
z_0006_1032->0006_0009__differed
[scope]
arc(r_0006_0001__Written,r_0006_0005__assembly_r_0006_0006__language,r_0006_0002__in__mnr).
arc(r_0006_0001__Written,r_0006_0008__it,arg1).
arc(r_0006_0005__assembly_r_0006_0006__language,r_0006_0003__IBM_r_0006_0004__7090,nlyr).
arc(r_0006_0009__differed,r_0006_0008__it,arg0).
arc(r_0006_0009__differed,r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version,r_0006_0010__from__rst).
arc(r_0006_0009__differed,r_0006_0015__notably,mnr).
arc(r_0006_0009__differed,r_0006_0017__introducing,r_0006_0016__in__mnr).
arc(r_0006_0015__notably,r_0006_0014__most,qual).
arc(r_0006_0017__introducing,r_0006_0008__it,arg0).
arc(r_0006_0017__introducing,r_0006_0019__expressions,arg1).
arc(r_0006_0019__expressions,r_0006_0018__regular,attrib).
arc(r_0006_0019__expressions,r_0006_0021__specifying,r_0006_0020__for).
arc(r_0006_0021__specifying,r_0006_0022__strings,arg1).
arc(r_0006_0022__strings,r_0006_0031__and,emb).
arc(r_0006_0024__seek,r_0006_0026__the_r_0006_0027__document,r_0006_0025__within__dir).
arc(r_0006_0028__being_r_0006_0029__edited,r_0006_0026__the_r_0006_0027__document,arg1).
arc(r_0006_0031__and,r_0006_0024__seek,conj1).
arc(r_0006_0031__and,r_0006_0033__specify,conj2).
arc(r_0006_0033__specify,r_0006_0034__a_r_0006_0035__substring,arg1).
arc(r_0006_0040__should_r_0006_0041__be_r_0006_0042__made,r_0006_0034__a_r_0006_0035__substring,r_0006_0036__for__rst).
arc(r_0006_0040__should_r_0006_0041__be_r_0006_0042__made,r_0006_0038__a_r_0006_0039__substitution,arg1).
arc(z_0006_1032__cnt,r_0006_0001__Written,restriction_).
arc(z_0006_1032__cnt,r_0006_0009__differed,scope_).
IP-MAT
PP-SCON-CNT
IP-PPL2
NP-LGS
*
VVN
Written
PP-MNR
P-ROLE
in
NP
NLYR
NPR
IBM
NPR
7090
N
assembly
N
language
PUNC
,
NP-SBJ
PRO
it
VBD
differed
PP-RST
P-ROLE
from
NP
D
the
NPR
Berkeley
N
version
ADVP-MNR
ADVP
ADVS
most
ADV
notably
PP-MNR
P-ROLE
in
IP-PPL
VAG
introducing
NP-OB1
ADJP
ADJ
regular
NS
expressions
PP
P-ROLE
for
IP-PPL
VAG
specifying
NP-OB1
NS
strings
IP-INF
ILYR
ILYR
TO
to
VB
seek
PP-DIR
P-ROLE
within
NP
D
the
N
document
IP-PPL
BAG;~cat_Ve_passive_
being
IP-PPL-CAT
NP-LGS
*
VVN
edited
PUNC
,
CONJP
CONJ
and
ILYR
TO
to
VB
specify
NP-OB1
D
a
N
substring
IP-REL
PP-173
P-ROLE
for
NP
RPRO
which
NP-SBJ
D
a
N
substitution
MD;~cat_Vi
should
IP-INF-CAT
BE;~cat_Ve_passive_
be
IP-PPL-CAT
PP-RST
*ICH*-173
NP-LGS
*
VVN
made
PUNC
.
( (IP-MAT (PP-SCON-CNT (IP-PPL2 (NP-LGS *)
(VVN Written;{write})
(PP-MNR (P-ROLE in;{in})
(NP (NLYR (NPR IBM;{IBM})
(NPR 7090))
(N assembly;{assembly})
(N language;{language})))))
(PUNC ,)
(NP-SBJ;{CTSS_QED} (PRO it;{it}))
(VBD differed;{differ})
(PP-RST (P-ROLE from;{from})
(NP;{BERKELEY_QED} (D the;{the})
(NPR Berkeley;{Berkeley})
(N version;{version})))
(ADVP-MNR (ADVP (ADVS most;{most}))
(ADV notably;{notably}))
(PP-MNR (P-ROLE in;{in})
(IP-PPL (VAG introducing;{introduce})
(NP-OB1 (ADJP (ADJ regular;{regular}))
(NS expressions;{expression})
(PP (P-ROLE for;{for})
(IP-PPL (VAG specifying;{specify})
(NP-OB1 (NS strings;{string})
(IP-INF (ILYR (ILYR (TO to;{to})
(VB seek;{seek})
(PP-DIR (P-ROLE within;{within})
(NP (D the;{the})
(N document;{document})
(IP-PPL (BAG;~cat_Ve_passive_ being;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN edited;{edit}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (TO to;{to})
(VB specify;{specify})
(NP-OB1 (D a;{a})
(N substring;{substring})
(IP-REL (PP-173 (P-ROLE for;{for})
(NP (RPRO which;{which})))
(NP-SBJ (D a;{a})
(N substitution;{substitution}))
(MD;~cat_Vi should;{shall})
(IP-INF-CAT (BE;~cat_Ve_passive_ be;{be})
(IP-PPL-CAT (PP-RST *ICH*-173)
(NP-LGS *)
(VVN made;{make})))))))))))))))
(PUNC .))
(ID 6_a_history_of_qed))