Context                Previous, Next                Top


7_a_history_of_qed
Until that time, text editors could search for a literal string, and substitute for one, but not specify more general strings.

%3 r_0007_0007__could could r_0007_0002__that_r_0007_0003__time that time r_0007_0007__could->r_0007_0002__that_r_0007_0003__time Until [nim] r_0007_0014__and and r_0007_0007__could->r_0007_0014__and [scope] r_0007_0008__search search r_0007_0014__and->r_0007_0008__search [conj1] r_0007_0015__substitute substitute r_0007_0014__and->r_0007_0015__substitute [conj2] r_0007_0005__text_r_0007_0006__editors text editors r_0007_0008__search->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0010__a_r_0007_0012__string a string r_0007_0008__search->r_0007_0010__a_r_0007_0012__string for [clr] r_0007_0011__literal literal r_0007_0010__a_r_0007_0012__string->r_0007_0011__literal [attrib] r_0007_0015__substitute->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0017__one one r_0007_0015__substitute->r_0007_0017__one for [clr] r_0007_0019__but but r_0007_0019__but->r_0007_0007__could [conj1] r_0007_0020__not not r_0007_0019__but->r_0007_0020__not [conj2] z_000_7_a_history_of_qed_56 r_0007_0020__not->z_000_7_a_history_of_qed_56 [keep_scope] z_000_7_a_history_of_qed_56->r_0007_0002__that_r_0007_0003__time Until [nim] r_0007_0021__specify specify z_000_7_a_history_of_qed_56->r_0007_0021__specify [scope] r_0007_0021__specify->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0024__strings strings r_0007_0021__specify->r_0007_0024__strings [arg1] r_0007_0023__general general r_0007_0024__strings->r_0007_0023__general [attrib] r_0007_0022__more more r_0007_0023__general->r_0007_0022__more [qual] 
arc(r_0007_0007__could, r_0007_0002__that_r_0007_0003__time, r_0007_0001__Until_nim5).
arc(r_0007_0007__could, r_0007_0014__and, scope).
arc(r_0007_0008__search, r_0007_0005__text_r_0007_0006__editors, arg0).
arc(r_0007_0008__search, r_0007_0010__a_r_0007_0012__string, r_0007_0009__for_clr29).
arc(r_0007_0010__a_r_0007_0012__string, r_0007_0011__literal, attrib32).
arc(r_0007_0014__and, r_0007_0008__search, conj1).
arc(r_0007_0014__and, r_0007_0015__substitute, conj2).
arc(r_0007_0015__substitute, r_0007_0005__text_r_0007_0006__editors, arg0).
arc(r_0007_0015__substitute, r_0007_0017__one, r_0007_0016__for_clr48).
arc(r_0007_0019__but, r_0007_0007__could, conj1).
arc(r_0007_0019__but, r_0007_0020__not, conj2).
arc(r_0007_0020__not, z_000_7_a_history_of_qed_56, keep_scope).
arc(r_0007_0021__specify, r_0007_0005__text_r_0007_0006__editors, arg0).
arc(r_0007_0021__specify, r_0007_0024__strings, arg1).
arc(r_0007_0023__general, r_0007_0022__more, qual64).
arc(r_0007_0024__strings, r_0007_0023__general, attrib63).
arc(z_000_7_a_history_of_qed_56, r_0007_0002__that_r_0007_0003__time, r_0007_0001__Until_nim5).
arc(z_000_7_a_history_of_qed_56, r_0007_0021__specify, scope).


%3 r_0007_0007__could could r_0007_0002__that_r_0007_0003__time that time r_0007_0007__could->r_0007_0002__that_r_0007_0003__time Until [nim] r_0007_0014__and and r_0007_0007__could->r_0007_0014__and [keep_scope] r_0007_0008__search search r_0007_0014__and->r_0007_0008__search [conj1] r_0007_0015__substitute substitute r_0007_0014__and->r_0007_0015__substitute [conj2] r_0007_0005__text_r_0007_0006__editors text editors r_0007_0008__search->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0010__a_r_0007_0012__string a string r_0007_0008__search->r_0007_0010__a_r_0007_0012__string for [clr] r_0007_0011__literal literal r_0007_0010__a_r_0007_0012__string->r_0007_0011__literal [attrib] r_0007_0015__substitute->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0017__one one r_0007_0015__substitute->r_0007_0017__one for [clr] r_0007_0019__but but r_0007_0019__but->r_0007_0007__could [conj1] r_0007_0020__not not r_0007_0019__but->r_0007_0020__not [conj2] z_000_7_a_history_of_qed_56_r_0007_0021__specify specify r_0007_0020__not->z_000_7_a_history_of_qed_56_r_0007_0021__specify [keep_scope] z_000_7_a_history_of_qed_56_r_0007_0021__specify->r_0007_0002__that_r_0007_0003__time Until [nim] z_000_7_a_history_of_qed_56_r_0007_0021__specify->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0024__strings strings z_000_7_a_history_of_qed_56_r_0007_0021__specify->r_0007_0024__strings [arg1] r_0007_0023__general general r_0007_0022__more more r_0007_0023__general->r_0007_0022__more [qual] r_0007_0024__strings->r_0007_0023__general [attrib] 
fof(formula,axiom,
    ? [R_7_19_BUT,R_7_2_THAT_TIME] :
      ( that_time(R_7_2_THAT_TIME)
      & but(R_7_19_BUT)
      & conj1(R_7_19_BUT,R_7_7_COULD)
      & ? [R_7_14_AND,R_7_8_SEARCH,R_7_10_A_STRING,R_7_11_LITERAL,R_7_15_SUBSTITUTE,R_7_5_TEXT_EDITORS,R_7_17_ONE] :
          ( literal(R_7_11_LITERAL)
          & text_editors(R_7_5_TEXT_EDITORS)
          & one(R_7_17_ONE)
          & and(R_7_14_AND)
          & conj1(R_7_14_AND,R_7_8_SEARCH)
          & search(R_7_8_SEARCH,R_7_5_TEXT_EDITORS)
          & for_clr29(R_7_8_SEARCH,R_7_10_A_STRING)
          & a_string(R_7_10_A_STRING)
          & attrib32(R_7_10_A_STRING,R_7_11_LITERAL)
          & conj2(R_7_14_AND,R_7_15_SUBSTITUTE)
          & substitute(R_7_15_SUBSTITUTE,R_7_5_TEXT_EDITORS)
          & for_clr48(R_7_15_SUBSTITUTE,R_7_17_ONE) )
      & conj2(R_7_19_BUT,R_7_20_NOT)
      & ~ ? [Z_7_A_HISTORY_OF_QED_56_SPECIFY,R_7_5_TEXT_EDITORS,R_7_24_STRINGS,R_7_23_GENERAL,R_7_22_MORE] :
            ( text_editors(R_7_5_TEXT_EDITORS)
            & more(R_7_22_MORE)
            & z_7_a_history_of_qed_56_specify(Z_7_A_HISTORY_OF_QED_56_SPECIFY,R_7_5_TEXT_EDITORS,R_7_24_STRINGS)
            & strings(R_7_24_STRINGS)
            & attrib63(R_7_24_STRINGS,R_7_23_GENERAL)
            & general(R_7_23_GENERAL)
            & qual64(R_7_23_GENERAL,R_7_22_MORE)
            & until_nim5(Z_7_A_HISTORY_OF_QED_56_SPECIFY,R_7_2_THAT_TIME) ) ) ).


n7_a_history_of_qed n7_a_history_of_qed_4 Until n7_a_history_of_qed_7 that n7_a_history_of_qed_9 time n7_a_history_of_qed_11 , n7_a_history_of_qed_14 text n7_a_history_of_qed_16 editors n7_a_history_of_qed_20 could n7_a_history_of_qed_25 search n7_a_history_of_qed_28 for n7_a_history_of_qed_31 a n7_a_history_of_qed_34 literal n7_a_history_of_qed_36 string n7_a_history_of_qed_38 , n7_a_history_of_qed_41 and n7_a_history_of_qed_44 substitute n7_a_history_of_qed_47 for n7_a_history_of_qed_50 one n7_a_history_of_qed_52 , n7_a_history_of_qed_55 but n7_a_history_of_qed_58 not n7_a_history_of_qed_61 specify n7_a_history_of_qed_66 more n7_a_history_of_qed_68 general n7_a_history_of_qed_70 strings n7_a_history_of_qed_72 . n7_a_history_of_qed_1 IP-MAT n7_a_history_of_qed_2 PP-NIM n7_a_history_of_qed_1->n7_a_history_of_qed_2 n7_a_history_of_qed_10 PUNC n7_a_history_of_qed_1->n7_a_history_of_qed_10 n7_a_history_of_qed_12 NP-SBJ n7_a_history_of_qed_1->n7_a_history_of_qed_12 n7_a_history_of_qed_17 ILYR n7_a_history_of_qed_1->n7_a_history_of_qed_17 n7_a_history_of_qed_71 PUNC n7_a_history_of_qed_1->n7_a_history_of_qed_71 n7_a_history_of_qed_3 P-ROLE n7_a_history_of_qed_2->n7_a_history_of_qed_3 n7_a_history_of_qed_5 NP n7_a_history_of_qed_2->n7_a_history_of_qed_5 n7_a_history_of_qed_3->n7_a_history_of_qed_4 n7_a_history_of_qed_6 D n7_a_history_of_qed_5->n7_a_history_of_qed_6 n7_a_history_of_qed_8 N n7_a_history_of_qed_5->n7_a_history_of_qed_8 n7_a_history_of_qed_6->n7_a_history_of_qed_7 n7_a_history_of_qed_8->n7_a_history_of_qed_9 n7_a_history_of_qed_10->n7_a_history_of_qed_11 n7_a_history_of_qed_13 N n7_a_history_of_qed_12->n7_a_history_of_qed_13 n7_a_history_of_qed_15 NS n7_a_history_of_qed_12->n7_a_history_of_qed_15 n7_a_history_of_qed_13->n7_a_history_of_qed_14 n7_a_history_of_qed_15->n7_a_history_of_qed_16 n7_a_history_of_qed_18 ILYR n7_a_history_of_qed_17->n7_a_history_of_qed_18 n7_a_history_of_qed_51 PUNC n7_a_history_of_qed_17->n7_a_history_of_qed_51 n7_a_history_of_qed_53 CONJP n7_a_history_of_qed_17->n7_a_history_of_qed_53 n7_a_history_of_qed_19 MD;_cat_Vi_ n7_a_history_of_qed_18->n7_a_history_of_qed_19 n7_a_history_of_qed_21 IP-INF-CAT n7_a_history_of_qed_18->n7_a_history_of_qed_21 n7_a_history_of_qed_19->n7_a_history_of_qed_20 n7_a_history_of_qed_22 ILYR n7_a_history_of_qed_21->n7_a_history_of_qed_22 n7_a_history_of_qed_23 ILYR n7_a_history_of_qed_22->n7_a_history_of_qed_23 n7_a_history_of_qed_37 PUNC n7_a_history_of_qed_22->n7_a_history_of_qed_37 n7_a_history_of_qed_39 CONJP n7_a_history_of_qed_22->n7_a_history_of_qed_39 n7_a_history_of_qed_24 VB;_Ipr_ n7_a_history_of_qed_23->n7_a_history_of_qed_24 n7_a_history_of_qed_26 PP-CLR n7_a_history_of_qed_23->n7_a_history_of_qed_26 n7_a_history_of_qed_24->n7_a_history_of_qed_25 n7_a_history_of_qed_27 P-ROLE n7_a_history_of_qed_26->n7_a_history_of_qed_27 n7_a_history_of_qed_29 NP n7_a_history_of_qed_26->n7_a_history_of_qed_29 n7_a_history_of_qed_27->n7_a_history_of_qed_28 n7_a_history_of_qed_30 D n7_a_history_of_qed_29->n7_a_history_of_qed_30 n7_a_history_of_qed_32 ADJP n7_a_history_of_qed_29->n7_a_history_of_qed_32 n7_a_history_of_qed_35 N n7_a_history_of_qed_29->n7_a_history_of_qed_35 n7_a_history_of_qed_30->n7_a_history_of_qed_31 n7_a_history_of_qed_33 ADJ n7_a_history_of_qed_32->n7_a_history_of_qed_33 n7_a_history_of_qed_33->n7_a_history_of_qed_34 n7_a_history_of_qed_35->n7_a_history_of_qed_36 n7_a_history_of_qed_37->n7_a_history_of_qed_38 n7_a_history_of_qed_40 CONJ n7_a_history_of_qed_39->n7_a_history_of_qed_40 n7_a_history_of_qed_42 ILYR n7_a_history_of_qed_39->n7_a_history_of_qed_42 n7_a_history_of_qed_40->n7_a_history_of_qed_41 n7_a_history_of_qed_43 VB;_Ipr_ n7_a_history_of_qed_42->n7_a_history_of_qed_43 n7_a_history_of_qed_45 PP-CLR n7_a_history_of_qed_42->n7_a_history_of_qed_45 n7_a_history_of_qed_43->n7_a_history_of_qed_44 n7_a_history_of_qed_46 P-ROLE n7_a_history_of_qed_45->n7_a_history_of_qed_46 n7_a_history_of_qed_48 NP n7_a_history_of_qed_45->n7_a_history_of_qed_48 n7_a_history_of_qed_46->n7_a_history_of_qed_47 n7_a_history_of_qed_49 NUM n7_a_history_of_qed_48->n7_a_history_of_qed_49 n7_a_history_of_qed_49->n7_a_history_of_qed_50 n7_a_history_of_qed_51->n7_a_history_of_qed_52 n7_a_history_of_qed_54 CONJ n7_a_history_of_qed_53->n7_a_history_of_qed_54 n7_a_history_of_qed_56 ILYR n7_a_history_of_qed_53->n7_a_history_of_qed_56 n7_a_history_of_qed_54->n7_a_history_of_qed_55 n7_a_history_of_qed_57 NEG n7_a_history_of_qed_56->n7_a_history_of_qed_57 n7_a_history_of_qed_59 IP-INF-CAT n7_a_history_of_qed_56->n7_a_history_of_qed_59 n7_a_history_of_qed_57->n7_a_history_of_qed_58 n7_a_history_of_qed_60 VB;_Tn_ n7_a_history_of_qed_59->n7_a_history_of_qed_60 n7_a_history_of_qed_62 NP-OB1 n7_a_history_of_qed_59->n7_a_history_of_qed_62 n7_a_history_of_qed_60->n7_a_history_of_qed_61 n7_a_history_of_qed_63 ADJP n7_a_history_of_qed_62->n7_a_history_of_qed_63 n7_a_history_of_qed_69 NS n7_a_history_of_qed_62->n7_a_history_of_qed_69 n7_a_history_of_qed_64 ADVP n7_a_history_of_qed_63->n7_a_history_of_qed_64 n7_a_history_of_qed_67 ADJ n7_a_history_of_qed_63->n7_a_history_of_qed_67 n7_a_history_of_qed_65 ADVR n7_a_history_of_qed_64->n7_a_history_of_qed_65 n7_a_history_of_qed_65->n7_a_history_of_qed_66 n7_a_history_of_qed_67->n7_a_history_of_qed_68 n7_a_history_of_qed_69->n7_a_history_of_qed_70 n7_a_history_of_qed_71->n7_a_history_of_qed_72 
( (IP-MAT (PP-NIM (P-ROLE Until;{until})
                  (NP (D that;{that})
                      (N time;{time})))
          (PUNC ,)
          (NP-SBJ (N text;{text})
                  (NS editors;{editor}))
          (ILYR (ILYR (MD;_cat_Vi_ could;{can})
                      (IP-INF-CAT (ILYR (ILYR (VB;_Ipr_ search;{search[for]})
                                              (PP-CLR (P-ROLE for;{for})
                                                      (NP (D a;{a})
                                                          (ADJP (ADJ literal;{literal}))
                                                          (N string;{string}))))
                                        (PUNC ,)
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VB;_Ipr_ substitute;{substitute[for]})
                                                     (PP-CLR (P-ROLE for;{for})
                                                             (NP (NUM one;{one}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NEG not;{not})
                             (IP-INF-CAT (VB;_Tn_ specify;{specify})
                                         (NP-OB1 (ADJP (ADVP (ADVR more;{more}))
                                                       (ADJ general;{general}))
                                                 (NS strings;{string}))))))
          (PUNC .))
  (ID 7_a_history_of_qed))