37_a_history_of_qed
It kept the basic text - line orientation , but radically simplified the regular expressions to include only the operator : no alternation , no parentheses .
%3
0037_0002__kept
kept
0037_0001__It
it
0037_0002__kept->0037_0001__It
[arg0]
0037_0003__the_0037_0005__text_0037_0007__line_0037_0008__orientation
the_text_line_orientation
0037_0002__kept->0037_0003__the_0037_0005__text_0037_0007__line_0037_0008__orientation
[arg1]
0037_0004__basic
basic
0037_0003__the_0037_0005__text_0037_0007__line_0037_0008__orientation->0037_0004__basic
[attrib]
0037_0010__but
but
0037_0010__but->0037_0002__kept
[conj1]
z_0037_1007
[cnt]
0037_0010__but->z_0037_1007
[conj2]
0037_0012__simplified
simplified
z_0037_1007->0037_0012__simplified
[scope]
0037_0022__no
no[quant]
z_0037_1007->0037_0022__no
[restriction]
0037_0012__simplified->0037_0001__It
[arg0]
0037_0011__radically
radically
0037_0012__simplified->0037_0011__radically
[mnr]
0037_0013__the_0037_0015__expressions
the_expressions
0037_0012__simplified->0037_0013__the_0037_0015__expressions
[arg1]
0037_0014__regular
regular
0037_0013__the_0037_0015__expressions->0037_0014__regular
[attrib]
0037_0017__include
include
0037_0017__include->0037_0013__the_0037_0015__expressions
[arg0]
0037_0019__the_0037_0020__operator
the_operator
0037_0017__include->0037_0019__the_0037_0020__operator
[arg1]
0037_0018__only
only
0037_0019__the_0037_0020__operator->0037_0018__only
[qual]
0037_0022__no->0037_0017__include
[scope]
0037_0023__alternation
alternation
0037_0022__no->0037_0023__alternation
[restriction]
z_0037_1014
_
z_0037_1014->0037_0019__the_0037_0020__operator
[prn]
arc(r_0037_0002__kept,r_0037_0001__It,arg0).
arc(r_0037_0002__kept,r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation,arg1).
arc(r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation,r_0037_0004__basic,attrib).
arc(r_0037_0010__but,r_0037_0002__kept,coord_conj1).
arc(r_0037_0010__but,z_0037_1007__cnt,coord_conj2).
arc(r_0037_0012__simplified,r_0037_0001__It,arg0).
arc(r_0037_0012__simplified,r_0037_0011__radically,mnr).
arc(r_0037_0012__simplified,r_0037_0013__the_r_0037_0015__expressions,arg1).
arc(r_0037_0013__the_r_0037_0015__expressions,r_0037_0014__regular,attrib).
arc(r_0037_0017__include,r_0037_0013__the_r_0037_0015__expressions,arg0).
arc(r_0037_0017__include,r_0037_0019__the_r_0037_0020__operator,arg1).
arc(r_0037_0019__the_r_0037_0020__operator,r_0037_0018__only,qual).
arc(r_0037_0022__no__quant,r_0037_0017__include,scope).
arc(r_0037_0022__no__quant,r_0037_0023__alternation,restriction).
arc(z_0037_1007__cnt,r_0037_0012__simplified,scope_).
arc(z_0037_1007__cnt,r_0037_0022__no__quant,restriction_).
arc(z_0037_1014,r_0037_0019__the_r_0037_0020__operator,prn).
IP-MAT
NP-SBJ
PRO
It
ILYR
ILYR
VBD
kept
NP-OB1
D
the
ADJP
ADJ
basic
NLYR
N
text
PUNC
-
N
line
N
orientation
PUNC
,
CONJP
CONJ
but
ILYR
ADVP-MNR
ADV
radically
VBD
simplified
NP-OB1
D
the
ADJP
ADJ
regular
NS
expressions
PP-SCON-CNT
IP-INF
TO
to
VB
include
NP-OB1
ADVP
ADV
only
D
the
SYM
*
N
operator
PUNC
:
PRN
NP
NP
Q
no
N
alternation
PUNC
,
CONJP
NP
Q
no
NS
parentheses
PUNC
.
( (IP-MAT (NP-SBJ;{STANDARD_ED} (PRO It;{it}))
(ILYR (ILYR (VBD kept;{keep})
(NP-OB1 (D the;{the})
(ADJP (ADJ basic;{basic}))
(NLYR (N text;{text})
(PUNC -)
(N line;{line}))
(N orientation;{orientation})))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (ADVP-MNR (ADV radically;{radically}))
(VBD simplified;{simplify})
(NP-OB1 (D the;{the})
(ADJP (ADJ regular;{regular}))
(NS expressions;{expression}))
(PP-SCON-CNT (IP-INF (TO to;{to})
(VB include;{include})
(NP-OB1 (ADVP (ADV only;{only}))
(D the;{the})
(SYM *)
(N operator;{operator})
(PUNC :)
(PRN (NP (NP (Q no;{no})
(N alternation;{alternation}))
(PUNC ,)
(CONJP (NP (Q no;{no})
(NS parentheses;{parenthesis})))))))))))
(PUNC .))
(ID 37_a_history_of_qed))