TSPC 37_a_history_of

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.

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__operator, arg1).
arc(r_0037_0019__the_r_0037_0020__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).

fof(formula,axiom,
    ? [R_0037_0001__IT,R_0037_0004__BASIC,R_0037_0003__THE_R_0037_0005__TEXT_R_0037_0007__LINE_R_0037_0008__ORIENTATION,R_0037_0002__KEPT,R_0037_0011__RADICALLY,R_0037_0014__REGULAR,R_0037_0013__THE_R_0037_0015__EXPRESSIONS,R_0037_0012__SIMPLIFIED,R_0037_0018__ONLY,R_0037_0019__THE_R_0037_0020__OPERATOR,R_0037_0016__TO_R_0037_0017__INCLUDE,Z_000_37_A_HISTORY_OF_QED_42,R_0037_0010__BUT] :
      ( r_0037_0001__It(R_0037_0001__IT)
      & r_0037_0004__basic(R_0037_0004__BASIC)
      & r_0037_0011__radically(R_0037_0011__RADICALLY)
      & r_0037_0014__regular(R_0037_0014__REGULAR)
      & r_0037_0018__only(R_0037_0018__ONLY)
      & r_0037_0010__but(R_0037_0010__BUT)
      & has_conj2(R_0037_0010__BUT,Z_000_37_A_HISTORY_OF_QED_42)
      & z_000_37_a_history_of_qed_42(Z_000_37_A_HISTORY_OF_QED_42)
      & has_conj1(Z_000_37_A_HISTORY_OF_QED_42,R_0037_0016__TO_R_0037_0017__INCLUDE)
      & r_0037_0016__to_r_0037_0017__include(R_0037_0016__TO_R_0037_0017__INCLUDE)
      & has_arg1(R_0037_0016__TO_R_0037_0017__INCLUDE,R_0037_0019__THE_R_0037_0020__OPERATOR)
      & r_0037_0019__the_r_0037_0020__operator(R_0037_0019__THE_R_0037_0020__OPERATOR)
      & has_qual49(R_0037_0019__THE_R_0037_0020__OPERATOR,R_0037_0018__ONLY)
      & has_arg0(R_0037_0016__TO_R_0037_0017__INCLUDE,R_0037_0001__IT)
      & has_conj2(Z_000_37_A_HISTORY_OF_QED_42,R_0037_0012__SIMPLIFIED)
      & r_0037_0012__simplified(R_0037_0012__SIMPLIFIED)
      & has_arg1(R_0037_0012__SIMPLIFIED,R_0037_0013__THE_R_0037_0015__EXPRESSIONS)
      & r_0037_0013__the_r_0037_0015__expressions(R_0037_0013__THE_R_0037_0015__EXPRESSIONS)
      & has_attrib37(R_0037_0013__THE_R_0037_0015__EXPRESSIONS,R_0037_0014__REGULAR)
      & has_nim29(R_0037_0012__SIMPLIFIED,R_0037_0011__RADICALLY)
      & has_arg0(R_0037_0012__SIMPLIFIED,R_0037_0001__IT)
      & has_conj1(R_0037_0010__BUT,R_0037_0002__KEPT)
      & r_0037_0002__kept(R_0037_0002__KEPT)
      & has_arg1(R_0037_0002__KEPT,R_0037_0003__THE_R_0037_0005__TEXT_R_0037_0007__LINE_R_0037_0008__ORIENTATION)
      & r_0037_0003__the_r_0037_0005__text_r_0037_0007__line_r_0037_0008__orientation(R_0037_0003__THE_R_0037_0005__TEXT_R_0037_0007__LINE_R_0037_0008__ORIENTATION)
      & has_attrib12(R_0037_0003__THE_R_0037_0005__TEXT_R_0037_0007__LINE_R_0037_0008__ORIENTATION,R_0037_0004__BASIC)
      & has_arg0(R_0037_0002__KEPT,R_0037_0001__IT) ) ).

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