6_a_history_of_qed
0006_0001__Written
written
0006_0005__assembly_0006_0006__language
assembly_language
0006_0001__Written->0006_0005__assembly_0006_0006__language
in[nim]
0006_0008__it
it
0006_0001__Written->0006_0008__it
[arg1]
staz_0006_5003
*
0006_0001__Written->staz_0006_5003
[arg0]
0006_0003__IBM_0006_0004__7090
ibm_7090
0006_0005__assembly_0006_0006__language->0006_0003__IBM_0006_0004__7090
[modifier]
0006_0009__differed_0006_0010__from
differed_from
0006_0009__differed_0006_0010__from->0006_0008__it
[arg0]
0006_0011__the_0006_0012__Berkeley_0006_0013__version
the_berkeley_version
0006_0009__differed_0006_0010__from->0006_0011__the_0006_0012__Berkeley_0006_0013__version
[arg1]
0006_0015__notably
notably
0006_0009__differed_0006_0010__from->0006_0015__notably
[nim]
0006_0017__introducing
introducing
0006_0009__differed_0006_0010__from->0006_0017__introducing
in[nim]
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]
z_0006_5011
_
0006_0021__specifying->z_0006_5011
[arg0]
0006_0024__seek_0006_0025__within
seek_within
0006_0024__seek_0006_0025__within->0006_0019__expressions
[arg1]
0006_0026__the_0006_0027__document
the_document
0006_0024__seek_0006_0025__within->0006_0026__the_0006_0027__document
[arg2]
0006_0028__being
being
0006_0029__edited
edited
0006_0028__being->0006_0029__edited
[scope]
0006_0029__edited->0006_0026__the_0006_0027__document
[arg1]
staz_0006_5016
*
0006_0029__edited->staz_0006_5016
[arg0]
0006_0031__and
and
0006_0031__and->0006_0024__seek_0006_0025__within
[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_0036__fo0006_0042__made
for_made
0006_0036__fo0006_0042__made->0006_0034__a_0006_0035__substring
[arg2]
0006_0038__a_0006_0039__substitution
a_substitution
0006_0036__fo0006_0042__made->0006_0038__a_0006_0039__substitution
[arg1]
staz_0006_5024
*
0006_0036__fo0006_0042__made->staz_0006_5024
[arg0]
0006_0040__should
should
0006_0041__be
be
0006_0040__should->0006_0041__be
[scope]
0006_0041__be->0006_0036__fo0006_0042__made
[scope]
0006_1001____sta_
_*_
0006_1001____sta_->0006_0001__Written
[restriction]
0006_1001____sta_->0006_0009__differed_0006_0010__from
[scope]
arc(r_0006_0001__Written,r_0006_0005__assembly_r_0006_0006__language,r_0006_0002__in__nim).
arc(r_0006_0001__Written,r_0006_0008__it,arg1).
arc(r_0006_0001__Written,star_z_0006_5003,arg0).
arc(r_0006_0005__assembly_r_0006_0006__language,r_0006_0003__IBM_r_0006_0004__7090,modifier).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0008__it,arg0).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version,arg1).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0015__notably,nim).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0017__introducing,r_0006_0016__in__nim).
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_0021__specifying,z_0006_5011,arg0).
arc(r_0006_0024__seek_r_0006_0025__within,r_0006_0019__expressions,arg1).
arc(r_0006_0024__seek_r_0006_0025__within,r_0006_0026__the_r_0006_0027__document,arg2).
arc(r_0006_0028__being,r_0006_0029__edited,keep_scope).
arc(r_0006_0029__edited,r_0006_0026__the_r_0006_0027__document,arg1).
arc(r_0006_0029__edited,star_z_0006_5016,arg0).
arc(r_0006_0031__and,r_0006_0024__seek_r_0006_0025__within,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_0036__for_r_0006_0042__made,r_0006_0034__a_r_0006_0035__substring,arg2).
arc(r_0006_0036__for_r_0006_0042__made,r_0006_0038__a_r_0006_0039__substitution,arg1).
arc(r_0006_0036__for_r_0006_0042__made,star_z_0006_5024,arg0).
arc(r_0006_0040__should,r_0006_0041__be,keep_scope).
arc(r_0006_0041__be,r_0006_0036__for_r_0006_0042__made,keep_scope).
arc(r_0006_1001____star__,r_0006_0001__Written,restriction_).
arc(r_0006_1001____star__,r_0006_0009__differed_r_0006_0010__from,scope_).
IP-MAT
PP-SCON
IP-PPL2
NP-LGS
*
VVN;~Tn
Written
PP-NIM
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-NIM
ADVP
ADVS
most
ADV
notably
PP-NIM
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
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 (IP-PPL2 (NP-LGS *)
(VVN;~Tn Written;{write})
(PP-NIM (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-NIM (ADVP (ADVS most;{most}))
(ADV notably;{notably}))
(PP-NIM (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 (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))