51_a_history_of_qed
%3
0051_0002__have_0051_0003__been_0051_0004__elaborated
have_been_elaborated
0051_0001__They
they
0051_0002__have_0051_0003__been_0051_0004__elaborated->0051_0001__They
[arg1]
0051_0005__somewhat
somewhat
0051_0002__have_0051_0003__been_0051_0004__elaborated->0051_0005__somewhat
[mnr]
0051_0006__in_that
in_that[cnt]
0051_0006__in_that->0051_0002__have_0051_0003__been_0051_0004__elaborated
[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_0016__Unicode
unicode
0051_0016__Unicode->0051_0010__a_0051_0013__characte0051_0014__set
[prn]
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_1027
_
z_0051_1027->0051_0023__the_0051_0025__set
[prn]
z_0051_1027->0051_0035__grouping
[conj4]
0051_0033__concatenation
concatenation
z_0051_1027->0051_0033__concatenation
[conj3]
z_0051_1021
_
z_0051_1027->z_0051_1021
[conj1]
z_0051_1023
_
z_0051_1027->z_0051_1023
[conj2]
arc(r_0051_0002__have_r_0051_0003__been_r_0051_0004__elaborated,r_0051_0001__They,arg1).
arc(r_0051_0002__have_r_0051_0003__been_r_0051_0004__elaborated,r_0051_0005__somewhat,mnr).
arc(r_0051_0006__in_that_cnt,r_0051_0002__have_r_0051_0003__been_r_0051_0004__elaborated,scope_).
arc(r_0051_0006__in_that_cnt,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_0016__Unicode,r_0051_0010__a_r_0051_0013__character_r_0051_0014__set,prn).
arc(r_0051_0019__but,r_0051_0006__in_that_cnt,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_1027,r_0051_0023__the_r_0051_0025__set,prn).
arc(z_0051_1027,r_0051_0033__concatenation,conj3).
arc(z_0051_1027,r_0051_0035__grouping,conj4).
arc(z_0051_1027,z_0051_1021,conj1).
arc(z_0051_1027,z_0051_1023,conj2).
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-MNR
ADV
somewhat
PP-SCON-CNT
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
NP
D
the
ADJP
ADJ
classical
N
set
PP
P-ROLE
of
NP
NS
operators
PULB
-LRB-
PRN
NP
NLYR
NP
SYM
<star>
PUNC
,
CONJP
NP
SYM
<pipe>
PUNC
,
CONJP
NP
N
concatenation
PUNC
,
CONJP
NP
N
grouping
PP
P-ROLE
for
NP
NS
parentheses
PURB
-RRB-
CONJP
CONJ
and
NP
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-MNR (ADV somewhat;{somewhat}))))
(PP-SCON-CNT (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})
(NP (D the;{the})
(ADJP (ADJ classical;{classical}))
(N set;{set})
(PP (P-ROLE of;{of})
(NP (NS operators;{operator})))
(PULB -LRB-)
(PRN (NP (NLYR (NP (SYM <star>))
(PUNC ,)
(CONJP (NP (SYM <pipe>)))
(PUNC ,)
(CONJP (NP (N concatenation;{concatenation})))
(PUNC ,)
(CONJP (NP (N grouping;{grouping})
(PP (P-ROLE for;{for})
(NP (NS parentheses;{parenthesis}))))))))
(PURB -RRB-))
(CONJP (CONJ and;{and})
(NP (D the;{the})
(NPR NDFA;{NDFA})
(N simulation;{simulation}))))))))
(PUNC .))
(ID 51_a_history_of_qed))