Context                Previous, Next                Top


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_0017__include include z_0037_1007->0037_0017__include [restriction] 0037_0012__simplified->0037_0001__It [arg0] 0037_0011__radically radically 0037_0012__simplified->0037_0011__radically [nim][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->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] z_0037_1014 _ 0037_0019__the_0037_0020__operator->z_0037_1014 [prn_comment] 0037_0022__no no[quant] z_0037_1014->0037_0022__no [conj1] 0037_0025__no no[quant] z_0037_1014->0037_0025__no [conj2] 0037_0023__alternation alternation 0037_0022__no->0037_0023__alternation [restriction] z_0037_1017 _ 0037_0022__no->z_0037_1017 [scope] z_0037_1017->0037_0023__alternation [clr] 0037_0026__parentheses parentheses 0037_0025__no->0037_0026__parentheses [restriction] z_0037_1021 _ 0037_0025__no->z_0037_1021 [scope] z_0037_1021->0037_0026__parentheses [clr] 
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,nim_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_0019__the_r_0037_0020__operator,z_0037_1014,prn_comment).
arc(r_0037_0022__no__quant,r_0037_0023__alternation,restriction).
arc(r_0037_0022__no__quant,z_0037_1017,scope).
arc(r_0037_0025__no__quant,r_0037_0026__parentheses,restriction).
arc(r_0037_0025__no__quant,z_0037_1021,scope).
arc(z_0037_1007__cnt,r_0037_0012__simplified,scope_).
arc(z_0037_1007__cnt,r_0037_0017__include,restriction_).
arc(z_0037_1014,r_0037_0022__no__quant,conj1).
arc(z_0037_1014,r_0037_0025__no__quant,conj2).
arc(z_0037_1017,r_0037_0023__alternation,clr).
arc(z_0037_1021,r_0037_0026__parentheses,clr).

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-NIM-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 FRAG ILYR ILYR NP-CLR Q no N alternation PUNC , CONJP ILYR NP-CLR 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-NIM-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 (FRAG (ILYR (ILYR (NP-CLR (Q no;{no})
                                                                                         (N alternation;{alternation})))
                                                                           (PUNC ,)
                                                                           (CONJP (ILYR (NP-CLR (Q no;{no})
                                                                                                (NS parentheses;{parenthesis})))))))))))))
          (PUNC .))
  (ID 37_a_history_of_qed))