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))