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 <ast> operator: no alternation, no parentheses.

%3 r_0037_0002__kept kept r_0037_0001__It It r_0037_0002__kept->r_0037_0001__It [arg0] r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation the text line orientation r_0037_0002__kept->r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation [arg1] r_0037_0004__basic basic r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation->r_0037_0004__basic [attrib] r_0037_0010__but but r_0037_0010__but->r_0037_0002__kept [conj1] z_000_37_a_history_of_qed_42 r_0037_0010__but->z_000_37_a_history_of_qed_42 [conj2] r_0037_0012__simplified simplified z_000_37_a_history_of_qed_42->r_0037_0012__simplified [scope] r_0037_0016__to_r_0037_0017__include to include z_000_37_a_history_of_qed_42->r_0037_0016__to_r_0037_0017__include [restriction] r_0037_0012__simplified->r_0037_0001__It [arg0] r_0037_0011__radically radically r_0037_0012__simplified->r_0037_0011__radically [nim] r_0037_0013__the_r_0037_0015__expressions the expressions r_0037_0012__simplified->r_0037_0013__the_r_0037_0015__expressions [arg1] r_0037_0014__regular regular r_0037_0013__the_r_0037_0015__expressions->r_0037_0014__regular [attrib] r_0037_0016__to_r_0037_0017__include->r_0037_0013__the_r_0037_0015__expressions [arg0] r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator the  ast  operator r_0037_0016__to_r_0037_0017__include->r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator [arg1] r_0037_0018__only only r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator->r_0037_0018__only [qual] 
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, attrib12).
arc(r_0037_0010__but, r_0037_0002__kept, conj1).
arc(r_0037_0010__but, z_000_37_a_history_of_qed_42, conj2).
arc(r_0037_0012__simplified, r_0037_0001__It, arg0).
arc(r_0037_0012__simplified, r_0037_0011__radically, nim29).
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, attrib37).
arc(r_0037_0016__to_r_0037_0017__include, r_0037_0013__the_r_0037_0015__expressions, arg0).
arc(r_0037_0016__to_r_0037_0017__include, r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator, arg1).
arc(r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator, r_0037_0018__only, qual49).
arc(z_000_37_a_history_of_qed_42, r_0037_0012__simplified, scope).
arc(z_000_37_a_history_of_qed_42, r_0037_0016__to_r_0037_0017__include, restriction).


%3 r_0037_0002__kept kept r_0037_0001__It It r_0037_0002__kept->r_0037_0001__It [arg0] r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation the text line orientation r_0037_0002__kept->r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation [arg1] r_0037_0004__basic basic r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation->r_0037_0004__basic [attrib] r_0037_0010__but but r_0037_0010__but->r_0037_0002__kept [conj1] z_000_37_a_history_of_qed_42 r_0037_0010__but->z_000_37_a_history_of_qed_42 [conj2] r_0037_0012__simplified simplified z_000_37_a_history_of_qed_42->r_0037_0012__simplified [conj2] r_0037_0016__to_r_0037_0017__include to include z_000_37_a_history_of_qed_42->r_0037_0016__to_r_0037_0017__include [conj1] r_0037_0012__simplified->r_0037_0001__It [arg0] r_0037_0011__radically radically r_0037_0012__simplified->r_0037_0011__radically [nim] r_0037_0013__the_r_0037_0015__expressions the expressions r_0037_0012__simplified->r_0037_0013__the_r_0037_0015__expressions [arg1] r_0037_0014__regular regular r_0037_0013__the_r_0037_0015__expressions->r_0037_0014__regular [attrib] r_0037_0016__to_r_0037_0017__include->r_0037_0013__the_r_0037_0015__expressions [arg0] r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator the  ast  operator r_0037_0016__to_r_0037_0017__include->r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator [arg1] r_0037_0018__only only r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator->r_0037_0018__only [qual] 
fof(formula,axiom,
    ? [R_37_10_BUT,R_37_2_KEPT,R_37_3_THE_TEXT_LINE_ORIENTATION,R_37_4_BASIC,Z_37_A_HISTORY_OF_QED_42,R_37_16_TO_INCLUDE,R_37_19_THE_AST_OPERATOR,R_37_18_ONLY,R_37_12_SIMPLIFIED,R_37_1_IT,R_37_13_THE_EXPRESSIONS,R_37_14_REGULAR,R_37_11_RADICALLY] :
      ( basic(R_37_4_BASIC)
      & only(R_37_18_ONLY)
      & it(R_37_1_IT)
      & regular(R_37_14_REGULAR)
      & radically(R_37_11_RADICALLY)
      & but(R_37_10_BUT)
      & conj1(R_37_10_BUT,R_37_2_KEPT)
      & kept(R_37_2_KEPT,R_37_1_IT,R_37_3_THE_TEXT_LINE_ORIENTATION)
      & the_text_line_orientation(R_37_3_THE_TEXT_LINE_ORIENTATION)
      & attrib12(R_37_3_THE_TEXT_LINE_ORIENTATION,R_37_4_BASIC)
      & conj2(R_37_10_BUT,Z_37_A_HISTORY_OF_QED_42)
      & z_37_a_history_of_qed_42(Z_37_A_HISTORY_OF_QED_42)
      & conj1(Z_37_A_HISTORY_OF_QED_42,R_37_16_TO_INCLUDE)
      & to_include(R_37_16_TO_INCLUDE,R_37_13_THE_EXPRESSIONS,R_37_19_THE_AST_OPERATOR)
      & the_expressions(R_37_13_THE_EXPRESSIONS)
      & attrib37(R_37_13_THE_EXPRESSIONS,R_37_14_REGULAR)
      & the_ast_operator(R_37_19_THE_AST_OPERATOR)
      & qual49(R_37_19_THE_AST_OPERATOR,R_37_18_ONLY)
      & conj2(Z_37_A_HISTORY_OF_QED_42,R_37_12_SIMPLIFIED)
      & simplified(R_37_12_SIMPLIFIED,R_37_1_IT,R_37_13_THE_EXPRESSIONS)
      & nim29(R_37_12_SIMPLIFIED,R_37_11_RADICALLY) ) ).


n37_a_history_of_qed n37_a_history_of_qed_4 It n37_a_history_of_qed_8 kept n37_a_history_of_qed_11 the n37_a_history_of_qed_14 basic n37_a_history_of_qed_16 text n37_a_history_of_qed_18 - n37_a_history_of_qed_20 line n37_a_history_of_qed_22 orientation n37_a_history_of_qed_24 , n37_a_history_of_qed_27 but n37_a_history_of_qed_31 radically n37_a_history_of_qed_33 simplified n37_a_history_of_qed_36 the n37_a_history_of_qed_39 regular n37_a_history_of_qed_41 expressions n37_a_history_of_qed_45 to n37_a_history_of_qed_47 include n37_a_history_of_qed_51 only n37_a_history_of_qed_53 the n37_a_history_of_qed_55 <ast> n37_a_history_of_qed_57 operator n37_a_history_of_qed_59 : n37_a_history_of_qed_66 no n37_a_history_of_qed_68 alternation n37_a_history_of_qed_70 , n37_a_history_of_qed_75 no n37_a_history_of_qed_77 parentheses n37_a_history_of_qed_79 . n37_a_history_of_qed_1 IP-MAT n37_a_history_of_qed_2 NP-SBJ n37_a_history_of_qed_1->n37_a_history_of_qed_2 n37_a_history_of_qed_5 ILYR n37_a_history_of_qed_1->n37_a_history_of_qed_5 n37_a_history_of_qed_78 PUNC n37_a_history_of_qed_1->n37_a_history_of_qed_78 n37_a_history_of_qed_3 PRO n37_a_history_of_qed_2->n37_a_history_of_qed_3 n37_a_history_of_qed_3->n37_a_history_of_qed_4 n37_a_history_of_qed_6 ILYR n37_a_history_of_qed_5->n37_a_history_of_qed_6 n37_a_history_of_qed_23 PUNC n37_a_history_of_qed_5->n37_a_history_of_qed_23 n37_a_history_of_qed_25 CONJP n37_a_history_of_qed_5->n37_a_history_of_qed_25 n37_a_history_of_qed_7 VBD;__ n37_a_history_of_qed_6->n37_a_history_of_qed_7 n37_a_history_of_qed_9 NP-OB1 n37_a_history_of_qed_6->n37_a_history_of_qed_9 n37_a_history_of_qed_7->n37_a_history_of_qed_8 n37_a_history_of_qed_10 D n37_a_history_of_qed_9->n37_a_history_of_qed_10 n37_a_history_of_qed_12 ADJP n37_a_history_of_qed_9->n37_a_history_of_qed_12 n37_a_history_of_qed_15 N n37_a_history_of_qed_9->n37_a_history_of_qed_15 n37_a_history_of_qed_17 PUNC n37_a_history_of_qed_9->n37_a_history_of_qed_17 n37_a_history_of_qed_19 N n37_a_history_of_qed_9->n37_a_history_of_qed_19 n37_a_history_of_qed_21 N n37_a_history_of_qed_9->n37_a_history_of_qed_21 n37_a_history_of_qed_10->n37_a_history_of_qed_11 n37_a_history_of_qed_13 ADJ n37_a_history_of_qed_12->n37_a_history_of_qed_13 n37_a_history_of_qed_13->n37_a_history_of_qed_14 n37_a_history_of_qed_15->n37_a_history_of_qed_16 n37_a_history_of_qed_17->n37_a_history_of_qed_18 n37_a_history_of_qed_19->n37_a_history_of_qed_20 n37_a_history_of_qed_21->n37_a_history_of_qed_22 n37_a_history_of_qed_23->n37_a_history_of_qed_24 n37_a_history_of_qed_26 CONJ n37_a_history_of_qed_25->n37_a_history_of_qed_26 n37_a_history_of_qed_28 ILYR n37_a_history_of_qed_25->n37_a_history_of_qed_28 n37_a_history_of_qed_26->n37_a_history_of_qed_27 n37_a_history_of_qed_29 ADVP-NIM n37_a_history_of_qed_28->n37_a_history_of_qed_29 n37_a_history_of_qed_32 VBD;__ n37_a_history_of_qed_28->n37_a_history_of_qed_32 n37_a_history_of_qed_34 NP-OB1 n37_a_history_of_qed_28->n37_a_history_of_qed_34 n37_a_history_of_qed_42 PP-SCON n37_a_history_of_qed_28->n37_a_history_of_qed_42 n37_a_history_of_qed_30 ADV n37_a_history_of_qed_29->n37_a_history_of_qed_30 n37_a_history_of_qed_30->n37_a_history_of_qed_31 n37_a_history_of_qed_32->n37_a_history_of_qed_33 n37_a_history_of_qed_35 D n37_a_history_of_qed_34->n37_a_history_of_qed_35 n37_a_history_of_qed_37 ADJP n37_a_history_of_qed_34->n37_a_history_of_qed_37 n37_a_history_of_qed_40 NS n37_a_history_of_qed_34->n37_a_history_of_qed_40 n37_a_history_of_qed_35->n37_a_history_of_qed_36 n37_a_history_of_qed_38 ADJ n37_a_history_of_qed_37->n37_a_history_of_qed_38 n37_a_history_of_qed_38->n37_a_history_of_qed_39 n37_a_history_of_qed_40->n37_a_history_of_qed_41 n37_a_history_of_qed_43 IP-INF n37_a_history_of_qed_42->n37_a_history_of_qed_43 n37_a_history_of_qed_44 TO n37_a_history_of_qed_43->n37_a_history_of_qed_44 n37_a_history_of_qed_46 VB;_Tn_ n37_a_history_of_qed_43->n37_a_history_of_qed_46 n37_a_history_of_qed_48 NP-OB1 n37_a_history_of_qed_43->n37_a_history_of_qed_48 n37_a_history_of_qed_44->n37_a_history_of_qed_45 n37_a_history_of_qed_46->n37_a_history_of_qed_47 n37_a_history_of_qed_49 ADVP n37_a_history_of_qed_48->n37_a_history_of_qed_49 n37_a_history_of_qed_52 D n37_a_history_of_qed_48->n37_a_history_of_qed_52 n37_a_history_of_qed_54 SYM n37_a_history_of_qed_48->n37_a_history_of_qed_54 n37_a_history_of_qed_56 N n37_a_history_of_qed_48->n37_a_history_of_qed_56 n37_a_history_of_qed_58 PUNC n37_a_history_of_qed_48->n37_a_history_of_qed_58 n37_a_history_of_qed_60 PRN n37_a_history_of_qed_48->n37_a_history_of_qed_60 n37_a_history_of_qed_50 ADV n37_a_history_of_qed_49->n37_a_history_of_qed_50 n37_a_history_of_qed_50->n37_a_history_of_qed_51 n37_a_history_of_qed_52->n37_a_history_of_qed_53 n37_a_history_of_qed_54->n37_a_history_of_qed_55 n37_a_history_of_qed_56->n37_a_history_of_qed_57 n37_a_history_of_qed_58->n37_a_history_of_qed_59 n37_a_history_of_qed_61 FRAG n37_a_history_of_qed_60->n37_a_history_of_qed_61 n37_a_history_of_qed_62 ILYR n37_a_history_of_qed_61->n37_a_history_of_qed_62 n37_a_history_of_qed_63 ILYR n37_a_history_of_qed_62->n37_a_history_of_qed_63 n37_a_history_of_qed_69 PUNC n37_a_history_of_qed_62->n37_a_history_of_qed_69 n37_a_history_of_qed_71 CONJP n37_a_history_of_qed_62->n37_a_history_of_qed_71 n37_a_history_of_qed_64 NP-OB1 n37_a_history_of_qed_63->n37_a_history_of_qed_64 n37_a_history_of_qed_65 Q n37_a_history_of_qed_64->n37_a_history_of_qed_65 n37_a_history_of_qed_67 N n37_a_history_of_qed_64->n37_a_history_of_qed_67 n37_a_history_of_qed_65->n37_a_history_of_qed_66 n37_a_history_of_qed_67->n37_a_history_of_qed_68 n37_a_history_of_qed_69->n37_a_history_of_qed_70 n37_a_history_of_qed_72 ILYR n37_a_history_of_qed_71->n37_a_history_of_qed_72 n37_a_history_of_qed_73 NP-OB1 n37_a_history_of_qed_72->n37_a_history_of_qed_73 n37_a_history_of_qed_74 Q n37_a_history_of_qed_73->n37_a_history_of_qed_74 n37_a_history_of_qed_76 NS n37_a_history_of_qed_73->n37_a_history_of_qed_76 n37_a_history_of_qed_74->n37_a_history_of_qed_75 n37_a_history_of_qed_76->n37_a_history_of_qed_77 n37_a_history_of_qed_78->n37_a_history_of_qed_79 
( (IP-MAT (NP-SBJ;{STANDARD_ED} (PRO It;{it}))
          (ILYR (ILYR (VBD;__ kept;{keep})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJ basic;{basic}))
                              (N text;{text})
                              (PUNC <hyphen>)
                              (N line;{line})
                              (N orientation;{orientation})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ADVP-NIM (ADV radically;{radically}))
                             (VBD;__ simplified;{simplify})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ regular;{regular}))
                                     (NS expressions;{expression}))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_Tn_ include;{include})
                                              (NP-OB1 (ADVP (ADV only;{only}))
                                                      (D the;{the})
                                                      (SYM <ast>)
                                                      (N operator;{operator})
                                                      (PUNC :)
                                                      (PRN (FRAG (ILYR (ILYR (NP-OB1 (Q no;{no})
                                                                                     (N alternation;{alternation})))
                                                                       (PUNC ,)
                                                                       (CONJP (ILYR (NP-OB1 (Q no;{no})
                                                                                            (NS parentheses;{parenthesis})))))))))))))
          (PUNC .))
  (ID 37_a_history_of_qed))