51_a_history_of_qed
0051_0002__have
have
0051_0003__been
been
0051_0002__have->0051_0003__been
[scope]
0051_0004__elaborated
elaborated
0051_0003__been->0051_0004__elaborated
[scope]
0051_0001__They
they
0051_0004__elaborated->0051_0001__They
[arg1]
0051_0005__somewhat
somewhat
0051_0004__elaborated->0051_0005__somewhat
[nim]
staz_0051_5012
*
0051_0004__elaborated->staz_0051_5012
[arg0]
0051_0006__in_that
in_that
0051_0006__in_that->0051_0002__have
[scope]
0051_0008__deal
deal
0051_0006__in_that->0051_0008__deal
[restriction]
0051_0008__deal->0051_0001__They
[arg0]
0051_0010__a_0051_0013__characte0051_0014__set
a_character_set
0051_0008__deal->0051_0010__a_0051_0013__characte0051_0014__set
with[clr]
0051_0012__large
large
0051_0010__a_0051_0013__characte0051_0014__set->0051_0012__large
[attrib]
0051_0011__very
very
0051_0012__large->0051_0011__very
[qual]
0051_0019__but
but
0051_0019__but->0051_0006__in_that
[conj1]
0051_0021__keep
keep
0051_0019__but->0051_0021__keep
[conj2]
0051_0021__keep->0051_0001__They
[arg0]
0051_0022__both_0051_0039__and
both_and
0051_0021__keep->0051_0022__both_0051_0039__and
[arg1]
0051_0023__the_0051_0025__set
the_set
0051_0022__both_0051_0039__and->0051_0023__the_0051_0025__set
[conj1]
0051_0040__the_0051_0041__NDFA_0051_0042__simulation
the_ndfa_simulation
0051_0022__both_0051_0039__and->0051_0040__the_0051_0041__NDFA_0051_0042__simulation
[conj2]
0051_0024__classical
classical
0051_0023__the_0051_0025__set->0051_0024__classical
[attrib]
0051_0027__operators
operators
0051_0023__the_0051_0025__set->0051_0027__operators
of
0051_0035__grouping
grouping
0051_0037__parentheses
parentheses
0051_0035__grouping->0051_0037__parentheses
for
z_0051_5006
_
z_0051_5006->0051_0010__a_0051_0013__characte0051_0014__set
[arg0]
0051_0016__Unicode
unicode
z_0051_5006->0051_0016__Unicode
[prd]
z_0051_5029
_
z_0051_5029->0051_0035__grouping
[conj4]
0051_0033__concatenation
concatenation
z_0051_5029->0051_0033__concatenation
[conj3]
z_0051_5023
_
z_0051_5029->z_0051_5023
[conj1]
z_0051_5025
_
z_0051_5029->z_0051_5025
[conj2]
z_0051_5030
_
z_0051_5030->0051_0023__the_0051_0025__set
[arg0]
z_0051_5030->z_0051_5029
[prd]
arc(r_0051_0002__have,r_0051_0003__been,keep_scope).
arc(r_0051_0003__been,r_0051_0004__elaborated,keep_scope).
arc(r_0051_0004__elaborated,r_0051_0001__They,arg1).
arc(r_0051_0004__elaborated,r_0051_0005__somewhat,nim).
arc(r_0051_0004__elaborated,star_z_0051_5012,arg0).
arc(r_0051_0006__in_that,r_0051_0002__have,scope).
arc(r_0051_0006__in_that,r_0051_0008__deal,restriction).
arc(r_0051_0008__deal,r_0051_0001__They,arg0).
arc(r_0051_0008__deal,r_0051_0010__a_r_0051_0013__character_r_0051_0014__set,r_0051_0009__with__clr).
arc(r_0051_0010__a_r_0051_0013__character_r_0051_0014__set,r_0051_0012__large,attrib).
arc(r_0051_0012__large,r_0051_0011__very,qual).
arc(r_0051_0019__but,r_0051_0006__in_that,coord_conj1).
arc(r_0051_0019__but,r_0051_0021__keep,coord_conj2).
arc(r_0051_0021__keep,r_0051_0001__They,arg0).
arc(r_0051_0021__keep,r_0051_0022__both_r_0051_0039__and,arg1).
arc(r_0051_0022__both_r_0051_0039__and,r_0051_0023__the_r_0051_0025__set,conj1).
arc(r_0051_0022__both_r_0051_0039__and,r_0051_0040__the_r_0051_0041__NDFA_r_0051_0042__simulation,conj2).
arc(r_0051_0023__the_r_0051_0025__set,r_0051_0024__classical,attrib).
arc(r_0051_0023__the_r_0051_0025__set,r_0051_0027__operators,r_0051_0026__of).
arc(r_0051_0035__grouping,r_0051_0037__parentheses,r_0051_0036__for).
arc(z_0051_5006,r_0051_0010__a_r_0051_0013__character_r_0051_0014__set,arg0).
arc(z_0051_5006,r_0051_0016__Unicode,prd).
arc(z_0051_5029,r_0051_0033__concatenation,conj3).
arc(z_0051_5029,r_0051_0035__grouping,conj4).
arc(z_0051_5029,z_0051_5023,conj1).
arc(z_0051_5029,z_0051_5025,conj2).
arc(z_0051_5030,r_0051_0023__the_r_0051_0025__set,arg0).
arc(z_0051_5030,z_0051_5029,prd).
IP-MAT
ILYR
ILYR
NP-SBJ
PRO
They
HVP;~cat_Ve
have
IP-PPL-CAT
BEN;~cat_Ve_passive_
been
IP-PPL-CAT
NP-LGS
*
VVN
elaborated
ADVP-NIM
ADV
somewhat
PP-SCON
P-CONN
in_that
IP-ADV
NP-SBJ
PRO
they
VBP
deal
PP-CLR
P-ROLE
with
NP
D
a
ADJP
ADVP
ADV
very
ADJ
large
N
character
N
set
PULB
-LRB-
PRN
NP
NPR
Unicode
PURB
-RRB-
PUNC
,
CONJP
CONJ
but
ILYR
NP-SBJ
PRO
they
VBP
keep
NP-OB1
NLYR
CONJ
both
NLYR
D
the
ADJP
ADJ
classical
N
set
PP
P-ROLE
of
NP
NS
operators
PULB
-LRB-
PRN
NP
NLYR
NLYR
SYM
<star>
PUNC
,
CONJP
NLYR
SYM
<pipe>
PUNC
,
CONJP
NLYR
N
concatenation
PUNC
,
CONJP
NLYR
N
grouping
PP
P-ROLE
for
NP
NS
parentheses
PURB
-RRB-
CONJP
CONJ
and
NLYR
D
the
NPR
NDFA
N
simulation
PUNC
.
( (IP-MAT (ILYR (ILYR (NP-SBJ;{CURRENT_REGEX} (PRO They;{they}))
(HVP;~cat_Ve have;{have})
(IP-PPL-CAT (BEN;~cat_Ve_passive_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN elaborated;{elaborate})
(ADVP-NIM (ADV somewhat;{somewhat}))))
(PP-SCON (P-CONN in_that;{in_that})
(IP-ADV (NP-SBJ;{CURRENT_REGEX} (PRO they;{they}))
(VBP deal;{deal})
(PP-CLR (P-ROLE with;{with})
(NP (D a;{a})
(ADJP (ADVP (ADV very;{very}))
(ADJ large;{large}))
(N character;{character})
(N set;{set})
(PULB -LRB-)
(PRN (NP (NPR Unicode;{Unicode})))
(PURB -RRB-))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ;{CURRENT_REGEX} (PRO they;{they}))
(VBP keep;{keep})
(NP-OB1 (NLYR (CONJ both;{both})
(NLYR (D the;{the})
(ADJP (ADJ classical;{classical}))
(N set;{set})
(PP (P-ROLE of;{of})
(NP (NS operators;{operator})))
(PULB -LRB-)
(PRN (NP (NLYR (NLYR (SYM <star>))
(PUNC ,)
(CONJP (NLYR (SYM <pipe>)))
(PUNC ,)
(CONJP (NLYR (N concatenation;{concatenation})))
(PUNC ,)
(CONJP (NLYR (N grouping;{grouping})
(PP (P-ROLE for;{for})
(NP (NS parentheses;{parenthesis}))))))))
(PURB -RRB-))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(NPR NDFA;{NDFA})
(N simulation;{simulation}))))))))
(PUNC .))
(ID 51_a_history_of_qed))