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 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_0001__It [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_0001__It, 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 z_000_37_a_history_of_qed_42 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 simplified z_000_37_a_history_of_qed_42->r_0037_0012__simplified [conj2] 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_0001__It It r_0037_0016__to_r_0037_0017__include->r_0037_0001__It [arg0] r_0037_0012__simplified->r_0037_0001__It [arg0] 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_0011__radically radically r_0037_0012__simplified->r_0037_0011__radically [nim] r_0037_0018__only only r_0037_0019__the_r_0037_0020___ast__r_0037_0021__operator->r_0037_0018__only [qual] r_0037_0014__regular regular r_0037_0013__the_r_0037_0015__expressions->r_0037_0014__regular [attrib] r_0037_0010__but but r_0037_0010__but->z_000_37_a_history_of_qed_42 [conj2] r_0037_0002__kept kept r_0037_0010__but->r_0037_0002__kept [conj1] 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] 
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_1_IT,R_37_19_THE_AST_OPERATOR)
      & 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)
      & the_expressions(R_37_13_THE_EXPRESSIONS)
      & attrib37(R_37_13_THE_EXPRESSIONS,R_37_14_REGULAR)
      & nim29(R_37_12_SIMPLIFIED,R_37_11_RADICALLY) ) ).


n37_a_history_of_qed n37_a_history_of_qed__1_1_1_1 It n37_a_history_of_qed__1_2_1_1_1 kept n37_a_history_of_qed__1_2_1_2_1_1 the n37_a_history_of_qed__1_2_1_2_2_1_1 basic n37_a_history_of_qed__1_2_1_2_3_1 text n37_a_history_of_qed__1_2_1_2_4_1 - n37_a_history_of_qed__1_2_1_2_5_1 line n37_a_history_of_qed__1_2_1_2_6_1 orientation n37_a_history_of_qed__1_2_2_1 , n37_a_history_of_qed__1_2_3_1_1 but n37_a_history_of_qed__1_2_3_2_1_1_1 radically n37_a_history_of_qed__1_2_3_2_2_1 simplified n37_a_history_of_qed__1_2_3_2_3_1_1 the n37_a_history_of_qed__1_2_3_2_3_2_1_1 regular n37_a_history_of_qed__1_2_3_2_3_3_1 expressions n37_a_history_of_qed__1_2_3_2_4_1_1_1 to n37_a_history_of_qed__1_2_3_2_4_1_2_1 include n37_a_history_of_qed__1_2_3_2_4_1_3_1_1_1 only n37_a_history_of_qed__1_2_3_2_4_1_3_2_1 the n37_a_history_of_qed__1_2_3_2_4_1_3_3_1 <ast> n37_a_history_of_qed__1_2_3_2_4_1_3_4_1 operator n37_a_history_of_qed__1_2_3_2_4_1_3_5_1 : n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_1_1 no n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_2_1 alternation n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_2_1 , n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_1_1 no n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_2_1 parentheses n37_a_history_of_qed__1_3_1 . n37_a_history_of_qed__1 IP-MAT n37_a_history_of_qed__1_1 NP-SBJ n37_a_history_of_qed__1->n37_a_history_of_qed__1_1 n37_a_history_of_qed__1_2 ILYR n37_a_history_of_qed__1->n37_a_history_of_qed__1_2 n37_a_history_of_qed__1_3 PUNC n37_a_history_of_qed__1->n37_a_history_of_qed__1_3 n37_a_history_of_qed__1_1_1 PRO n37_a_history_of_qed__1_1->n37_a_history_of_qed__1_1_1 n37_a_history_of_qed__1_1_1->n37_a_history_of_qed__1_1_1_1 n37_a_history_of_qed__1_2_1 ILYR n37_a_history_of_qed__1_2->n37_a_history_of_qed__1_2_1 n37_a_history_of_qed__1_2_2 PUNC n37_a_history_of_qed__1_2->n37_a_history_of_qed__1_2_2 n37_a_history_of_qed__1_2_3 CONJP n37_a_history_of_qed__1_2->n37_a_history_of_qed__1_2_3 n37_a_history_of_qed__1_2_1_1 VBD;__ n37_a_history_of_qed__1_2_1->n37_a_history_of_qed__1_2_1_1 n37_a_history_of_qed__1_2_1_2 NP-OB1 n37_a_history_of_qed__1_2_1->n37_a_history_of_qed__1_2_1_2 n37_a_history_of_qed__1_2_1_1->n37_a_history_of_qed__1_2_1_1_1 n37_a_history_of_qed__1_2_1_2_1 D n37_a_history_of_qed__1_2_1_2->n37_a_history_of_qed__1_2_1_2_1 n37_a_history_of_qed__1_2_1_2_2 ADJP n37_a_history_of_qed__1_2_1_2->n37_a_history_of_qed__1_2_1_2_2 n37_a_history_of_qed__1_2_1_2_3 N n37_a_history_of_qed__1_2_1_2->n37_a_history_of_qed__1_2_1_2_3 n37_a_history_of_qed__1_2_1_2_4 PUNC n37_a_history_of_qed__1_2_1_2->n37_a_history_of_qed__1_2_1_2_4 n37_a_history_of_qed__1_2_1_2_5 N n37_a_history_of_qed__1_2_1_2->n37_a_history_of_qed__1_2_1_2_5 n37_a_history_of_qed__1_2_1_2_6 N n37_a_history_of_qed__1_2_1_2->n37_a_history_of_qed__1_2_1_2_6 n37_a_history_of_qed__1_2_1_2_1->n37_a_history_of_qed__1_2_1_2_1_1 n37_a_history_of_qed__1_2_1_2_2_1 ADJ n37_a_history_of_qed__1_2_1_2_2->n37_a_history_of_qed__1_2_1_2_2_1 n37_a_history_of_qed__1_2_1_2_2_1->n37_a_history_of_qed__1_2_1_2_2_1_1 n37_a_history_of_qed__1_2_1_2_3->n37_a_history_of_qed__1_2_1_2_3_1 n37_a_history_of_qed__1_2_1_2_4->n37_a_history_of_qed__1_2_1_2_4_1 n37_a_history_of_qed__1_2_1_2_5->n37_a_history_of_qed__1_2_1_2_5_1 n37_a_history_of_qed__1_2_1_2_6->n37_a_history_of_qed__1_2_1_2_6_1 n37_a_history_of_qed__1_2_2->n37_a_history_of_qed__1_2_2_1 n37_a_history_of_qed__1_2_3_1 CONJ n37_a_history_of_qed__1_2_3->n37_a_history_of_qed__1_2_3_1 n37_a_history_of_qed__1_2_3_2 ILYR n37_a_history_of_qed__1_2_3->n37_a_history_of_qed__1_2_3_2 n37_a_history_of_qed__1_2_3_1->n37_a_history_of_qed__1_2_3_1_1 n37_a_history_of_qed__1_2_3_2_1 ADVP-NIM n37_a_history_of_qed__1_2_3_2->n37_a_history_of_qed__1_2_3_2_1 n37_a_history_of_qed__1_2_3_2_2 VBD;__ n37_a_history_of_qed__1_2_3_2->n37_a_history_of_qed__1_2_3_2_2 n37_a_history_of_qed__1_2_3_2_3 NP-OB1 n37_a_history_of_qed__1_2_3_2->n37_a_history_of_qed__1_2_3_2_3 n37_a_history_of_qed__1_2_3_2_4 PP-SCON n37_a_history_of_qed__1_2_3_2->n37_a_history_of_qed__1_2_3_2_4 n37_a_history_of_qed__1_2_3_2_1_1 ADV n37_a_history_of_qed__1_2_3_2_1->n37_a_history_of_qed__1_2_3_2_1_1 n37_a_history_of_qed__1_2_3_2_1_1->n37_a_history_of_qed__1_2_3_2_1_1_1 n37_a_history_of_qed__1_2_3_2_2->n37_a_history_of_qed__1_2_3_2_2_1 n37_a_history_of_qed__1_2_3_2_3_1 D n37_a_history_of_qed__1_2_3_2_3->n37_a_history_of_qed__1_2_3_2_3_1 n37_a_history_of_qed__1_2_3_2_3_2 ADJP n37_a_history_of_qed__1_2_3_2_3->n37_a_history_of_qed__1_2_3_2_3_2 n37_a_history_of_qed__1_2_3_2_3_3 NS n37_a_history_of_qed__1_2_3_2_3->n37_a_history_of_qed__1_2_3_2_3_3 n37_a_history_of_qed__1_2_3_2_3_1->n37_a_history_of_qed__1_2_3_2_3_1_1 n37_a_history_of_qed__1_2_3_2_3_2_1 ADJ n37_a_history_of_qed__1_2_3_2_3_2->n37_a_history_of_qed__1_2_3_2_3_2_1 n37_a_history_of_qed__1_2_3_2_3_2_1->n37_a_history_of_qed__1_2_3_2_3_2_1_1 n37_a_history_of_qed__1_2_3_2_3_3->n37_a_history_of_qed__1_2_3_2_3_3_1 n37_a_history_of_qed__1_2_3_2_4_1 IP-INF n37_a_history_of_qed__1_2_3_2_4->n37_a_history_of_qed__1_2_3_2_4_1 n37_a_history_of_qed__1_2_3_2_4_1_1 TO n37_a_history_of_qed__1_2_3_2_4_1->n37_a_history_of_qed__1_2_3_2_4_1_1 n37_a_history_of_qed__1_2_3_2_4_1_2 VB;_Tn_ n37_a_history_of_qed__1_2_3_2_4_1->n37_a_history_of_qed__1_2_3_2_4_1_2 n37_a_history_of_qed__1_2_3_2_4_1_3 NP-OB1 n37_a_history_of_qed__1_2_3_2_4_1->n37_a_history_of_qed__1_2_3_2_4_1_3 n37_a_history_of_qed__1_2_3_2_4_1_1->n37_a_history_of_qed__1_2_3_2_4_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_2->n37_a_history_of_qed__1_2_3_2_4_1_2_1 n37_a_history_of_qed__1_2_3_2_4_1_3_1 ADVP n37_a_history_of_qed__1_2_3_2_4_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_1 n37_a_history_of_qed__1_2_3_2_4_1_3_2 D n37_a_history_of_qed__1_2_3_2_4_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_2 n37_a_history_of_qed__1_2_3_2_4_1_3_3 SYM n37_a_history_of_qed__1_2_3_2_4_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_3 n37_a_history_of_qed__1_2_3_2_4_1_3_4 N n37_a_history_of_qed__1_2_3_2_4_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_4 n37_a_history_of_qed__1_2_3_2_4_1_3_5 PUNC n37_a_history_of_qed__1_2_3_2_4_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_5 n37_a_history_of_qed__1_2_3_2_4_1_3_6 PRN n37_a_history_of_qed__1_2_3_2_4_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_6 n37_a_history_of_qed__1_2_3_2_4_1_3_1_1 ADV n37_a_history_of_qed__1_2_3_2_4_1_3_1->n37_a_history_of_qed__1_2_3_2_4_1_3_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_2->n37_a_history_of_qed__1_2_3_2_4_1_3_2_1 n37_a_history_of_qed__1_2_3_2_4_1_3_3->n37_a_history_of_qed__1_2_3_2_4_1_3_3_1 n37_a_history_of_qed__1_2_3_2_4_1_3_4->n37_a_history_of_qed__1_2_3_2_4_1_3_4_1 n37_a_history_of_qed__1_2_3_2_4_1_3_5->n37_a_history_of_qed__1_2_3_2_4_1_3_5_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1 FRAG n37_a_history_of_qed__1_2_3_2_4_1_3_6->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1 ILYR n37_a_history_of_qed__1_2_3_2_4_1_3_6_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1 ILYR n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_2 PUNC n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_2 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3 CONJP n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1 NP-OB1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_1 Q n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_2 N n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_2 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_2->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_1_1_2_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_2->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_2_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1 ILYR n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1 NP-OB1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_1 Q n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_2 NS n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_2 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_1->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_1_1 n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_2->n37_a_history_of_qed__1_2_3_2_4_1_3_6_1_1_3_1_1_2_1 n37_a_history_of_qed__1_3->n37_a_history_of_qed__1_3_1 
( (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))