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[clr]
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_0024__seek
seek
0006_0024__seek->0006_0019__expressions
[arg1]
0006_0026__the_0006_0027__document
the_document
0006_0024__seek->0006_0026__the_0006_0027__document
within[clr][dir]
0006_0028__being_0006_0029__edited
being_edited
0006_0028__being_0006_0029__edited->0006_0026__the_0006_0027__document
[arg1]
0006_0031__and
and
0006_0031__and->0006_0024__seek
[conj1]
0006_0033__specify
specify
0006_0031__and->0006_0033__specify
[conj2]
0006_0033__specify->0006_0019__expressions
[arg0]
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[clr]
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_1029
[cnt]
z_0006_1029->0006_0001__Written
[restriction]
z_0006_1029->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__clr).
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_0024__seek,r_0006_0019__expressions,arg1).
arc(r_0006_0024__seek,r_0006_0026__the_r_0006_0027__document,r_0006_0025__within__clr_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,coord_conj1).
arc(r_0006_0031__and,r_0006_0033__specify,coord_conj2).
arc(r_0006_0033__specify,r_0006_0019__expressions,arg0).
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__clr).
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_1029__cnt,r_0006_0001__Written,restriction_).
arc(z_0006_1029__cnt,r_0006_0009__differed,scope_).
IP-MAT
PP-SCON-CNT
IP-PPL2
NP-LGS
*
VVN;~Tn
Written
PP-MNR
P-ROLE
in
NP
NLYR
NPR
IBM
NPR
7090
N
assembly
N
language
PUNC
,
NP-SBJ
PRO
it
VBD;~Ipr
differed
PP-CLR
P-ROLE
from
NP
D
the
NPR
Berkeley
N
version
ADVP-MNR
ADVP
ADVS
most
ADV
notably
PP-MNR
P-ROLE
in
IP-PPL2
VAG;~Tn
introducing
NP-OB1
ADJP
ADJ
regular
NS
expressions
PP
P-ROLE
for
IP-PPL
VAG;~Tn
specifying
NP-OB1
NS
strings
IP-INF-REL
ILYR
ILYR
NP-OB1
*T*
TO
to
VB;~Tn.pr
seek
PP-CLR-DIR
P-ROLE
within
NP
D
the
N
document
IP-PPL
BAG;~cat_Ve_passive_
being
IP-PPL-CAT
NP-LGS
*
VVN;~Tn
edited
PUNC
,
CONJP
CONJ
and
ILYR
NP-SBJ
*T*
TO
to
VB;~Tn
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-CLR
*ICH*-173
NP-LGS
*
VVN;~Tn.pr
made
PUNC
.
( (IP-MAT (PP-SCON-CNT (IP-PPL2 (NP-LGS *)
(VVN;~Tn 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;~Ipr differed;{differ[from]})
(PP-CLR (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-PPL2 (VAG;~Tn introducing;{introduce})
(NP-OB1 (ADJP (ADJ regular;{regular}))
(NS expressions;{expression})
(PP (P-ROLE for;{for})
(IP-PPL (VAG;~Tn specifying;{specify})
(NP-OB1 (NS strings;{string}))))
(IP-INF-REL (ILYR (ILYR (NP-OB1 *T*)
(TO to;{to})
(VB;~Tn.pr seek;{seek[within]})
(PP-CLR-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;~Tn edited;{edit}))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ *T*)
(TO to;{to})
(VB;~Tn 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-CLR *ICH*-173)
(NP-LGS *)
(VVN;~Tn.pr made;{make}))))))))))))
(PUNC .))
(ID 6_a_history_of_qed))