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.

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_1 text n37_a_history_of_qed__1_2_1_2_3_2_1 - n37_a_history_of_qed__1_2_1_2_3_3_1 line n37_a_history_of_qed__1_2_1_2_4_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 * 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 NLYR 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 N 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_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_1 N 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_3_2 PUNC n37_a_history_of_qed__1_2_1_2_3->n37_a_history_of_qed__1_2_1_2_3_2 n37_a_history_of_qed__1_2_1_2_3_3 N n37_a_history_of_qed__1_2_1_2_3->n37_a_history_of_qed__1_2_1_2_3_3 n37_a_history_of_qed__1_2_1_2_3_1->n37_a_history_of_qed__1_2_1_2_3_1_1 n37_a_history_of_qed__1_2_1_2_3_2->n37_a_history_of_qed__1_2_1_2_3_2_1 n37_a_history_of_qed__1_2_1_2_3_3->n37_a_history_of_qed__1_2_1_2_3_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_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}))
                              (NLYR (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))


%3 z_0037_5020 z_0037_5012 z_0037_5020->z_0037_5012 [arg0] r_0037_0026__parentheses parentheses z_0037_5020->r_0037_0026__parentheses [arg1] z_0037_5016 z_0037_5016->z_0037_5012 [arg0] r_0037_0023__alternation alternation z_0037_5016->r_0037_0023__alternation [arg1] z_0037_5013 r_0037_0025__no__quant no [quant] z_0037_5013->r_0037_0025__no__quant [conj2] r_0037_0022__no__quant no [quant] z_0037_5013->r_0037_0022__no__quant [conj1] r_0037_0025__no__quant->z_0037_5020 [scope] r_0037_0025__no__quant->r_0037_0026__parentheses [restriction] r_0037_0022__no__quant->z_0037_5016 [scope] r_0037_0022__no__quant->r_0037_0023__alternation [restriction] z_0037_5006 r_0037_0017__include include z_0037_5006->r_0037_0017__include [restriction] r_0037_0012__simplified simplified z_0037_5006->r_0037_0012__simplified [scope] r_0037_0019__the_r_0037_0020__operator the operator r_0037_0017__include->r_0037_0019__the_r_0037_0020__operator [arg1] r_0037_0013__the_r_0037_0015__expressions the expressions r_0037_0017__include->r_0037_0013__the_r_0037_0015__expressions [arg0] 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_0001__It It r_0037_0012__simplified->r_0037_0001__It [arg0] r_0037_0019__the_r_0037_0020__operator->z_0037_5013 [prn] r_0037_0018__only only r_0037_0019__the_r_0037_0020__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_0037_5006 [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] 
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,conj1).
arc(r_0037_0010__but,z_0037_5006,conj2).
arc(r_0037_0012__simplified,r_0037_0001__It,arg0).
arc(r_0037_0012__simplified,r_0037_0011__radically,nim).
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_5013,prn).
arc(r_0037_0022__no__quant,r_0037_0023__alternation,restriction).
arc(r_0037_0022__no__quant,z_0037_5016,scope).
arc(r_0037_0025__no__quant,r_0037_0026__parentheses,restriction).
arc(r_0037_0025__no__quant,z_0037_5020,scope).
arc(z_0037_5006,r_0037_0012__simplified,scope).
arc(z_0037_5006,r_0037_0017__include,restriction).
arc(z_0037_5013,r_0037_0022__no__quant,conj1).
arc(z_0037_5013,r_0037_0025__no__quant,conj2).
arc(z_0037_5016,r_0037_0023__alternation,arg1).
arc(z_0037_5016,z_0037_5012,arg0).
arc(z_0037_5020,r_0037_0026__parentheses,arg1).
arc(z_0037_5020,z_0037_5012,arg0).


%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_0037_5006 r_0037_0010__but->z_0037_5006 [conj2] r_0037_0012__simplified simplified z_0037_5006->r_0037_0012__simplified [conj2] r_0037_0017__include include z_0037_5006->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_0017__include->r_0037_0013__the_r_0037_0015__expressions [arg0] r_0037_0019__the_r_0037_0020__operator the operator r_0037_0017__include->r_0037_0019__the_r_0037_0020__operator [arg1] r_0037_0018__only only r_0037_0019__the_r_0037_0020__operator->r_0037_0018__only [qual] z_0037_5013 r_0037_0019__the_r_0037_0020__operator->z_0037_5013 [prn] r_0037_0022__no__quant no [quant] z_0037_5013->r_0037_0022__no__quant [conj1] r_0037_0025__no__quant no [quant] z_0037_5013->r_0037_0025__no__quant [conj2] r_0037_0023__alternation alternation r_0037_0022__no__quant->r_0037_0023__alternation [restriction] z_0037_5016 r_0037_0022__no__quant->z_0037_5016 [scope] z_0037_5016->r_0037_0023__alternation [arg1] z_0037_5012 z_0037_5016->z_0037_5012 [arg0] r_0037_0026__parentheses parentheses r_0037_0025__no__quant->r_0037_0026__parentheses [restriction] z_0037_5020 r_0037_0025__no__quant->z_0037_5020 [scope] z_0037_5020->r_0037_0026__parentheses [arg1] z_0037_5020->z_0037_5012 [arg0] 
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,Z_0037_5013,R_0037_0019__THE_R_0037_0020__OPERATOR,R_0037_0017__INCLUDE,Z_0037_5006,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_0037_5006)
      & z_0037_5006(Z_0037_5006)
      & has_conj1(Z_0037_5006,R_0037_0017__INCLUDE)
      & r_0037_0017__include(R_0037_0017__INCLUDE)
      & has_arg1(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_prn(R_0037_0019__THE_R_0037_0020__OPERATOR,Z_0037_5013)
      & z_0037_5013(Z_0037_5013)
      & ! [R_0037_0026__PARENTHESES] :
          ( r_0037_0026__parentheses(R_0037_0026__PARENTHESES)
         => ? [Z_0037_5012,Z_0037_5020] :
              ( z_0037_5012(Z_0037_5012)
              & z_0037_5020(Z_0037_5020)
              & has_arg0(Z_0037_5020,Z_0037_5012)
              & has_arg1(Z_0037_5020,R_0037_0026__PARENTHESES) ) )
      & ! [R_0037_0023__ALTERNATION] :
          ( r_0037_0023__alternation(R_0037_0023__ALTERNATION)
         => ? [Z_0037_5012,Z_0037_5016] :
              ( z_0037_5012(Z_0037_5012)
              & z_0037_5016(Z_0037_5016)
              & has_arg0(Z_0037_5016,Z_0037_5012)
              & has_arg1(Z_0037_5016,R_0037_0023__ALTERNATION) ) )
      & has_qual(R_0037_0019__THE_R_0037_0020__OPERATOR,R_0037_0018__ONLY)
      & has_arg0(R_0037_0017__INCLUDE,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_attrib(R_0037_0013__THE_R_0037_0015__EXPRESSIONS,R_0037_0014__REGULAR)
      & has_conj2(Z_0037_5006,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)
      & has_nim(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_attrib(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) ) ).