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_0014__and and r_0007_0007__could->r_0007_0014__and [keep_scope] 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_0015__substitute substitute r_0007_0014__and->r_0007_0015__substitute [conj2] r_0007_0008__search search r_0007_0014__and->r_0007_0008__search [conj1] z_000_7_a_history_of_qed_56_r_0007_0021__specify specify z_000_7_a_history_of_qed_56_r_0007_0021__specify->r_0007_0002__that_r_0007_0003__time Until [nim] r_0007_0024__strings strings z_000_7_a_history_of_qed_56_r_0007_0021__specify->r_0007_0024__strings [arg1] r_0007_0005__text_r_0007_0006__editors text editors z_000_7_a_history_of_qed_56_r_0007_0021__specify->r_0007_0005__text_r_0007_0006__editors [arg0] 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] r_0007_0020__not not r_0007_0020__not->z_000_7_a_history_of_qed_56_r_0007_0021__specify [keep_scope] r_0007_0019__but but r_0007_0019__but->r_0007_0007__could [conj1] r_0007_0019__but->r_0007_0020__not [conj2] 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_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] 
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__1_1_1_1 Until n7_a_history_of_qed__1_1_2_1_1 that n7_a_history_of_qed__1_1_2_2_1 time n7_a_history_of_qed__1_2_1 , n7_a_history_of_qed__1_3_1_1 text n7_a_history_of_qed__1_3_2_1 editors n7_a_history_of_qed__1_4_1_1_1 could n7_a_history_of_qed__1_4_1_2_1_1_1_1 search n7_a_history_of_qed__1_4_1_2_1_1_2_1_1 for n7_a_history_of_qed__1_4_1_2_1_1_2_2_1_1 a n7_a_history_of_qed__1_4_1_2_1_1_2_2_2_1_1 literal n7_a_history_of_qed__1_4_1_2_1_1_2_2_3_1 string n7_a_history_of_qed__1_4_1_2_1_2_1 , n7_a_history_of_qed__1_4_1_2_1_3_1_1 and n7_a_history_of_qed__1_4_1_2_1_3_2_1_1 substitute n7_a_history_of_qed__1_4_1_2_1_3_2_2_1_1 for n7_a_history_of_qed__1_4_1_2_1_3_2_2_2_1_1 one n7_a_history_of_qed__1_4_2_1 , n7_a_history_of_qed__1_4_3_1_1 but n7_a_history_of_qed__1_4_3_2_1_1 not n7_a_history_of_qed__1_4_3_2_2_1_1 specify n7_a_history_of_qed__1_4_3_2_2_2_1_1_1_1 more n7_a_history_of_qed__1_4_3_2_2_2_1_2_1 general n7_a_history_of_qed__1_4_3_2_2_2_2_1 strings n7_a_history_of_qed__1_5_1 . n7_a_history_of_qed__1 IP-MAT n7_a_history_of_qed__1_1 PP-NIM n7_a_history_of_qed__1->n7_a_history_of_qed__1_1 n7_a_history_of_qed__1_2 PUNC n7_a_history_of_qed__1->n7_a_history_of_qed__1_2 n7_a_history_of_qed__1_3 NP-SBJ n7_a_history_of_qed__1->n7_a_history_of_qed__1_3 n7_a_history_of_qed__1_4 ILYR n7_a_history_of_qed__1->n7_a_history_of_qed__1_4 n7_a_history_of_qed__1_5 PUNC n7_a_history_of_qed__1->n7_a_history_of_qed__1_5 n7_a_history_of_qed__1_1_1 P-ROLE n7_a_history_of_qed__1_1->n7_a_history_of_qed__1_1_1 n7_a_history_of_qed__1_1_2 NP n7_a_history_of_qed__1_1->n7_a_history_of_qed__1_1_2 n7_a_history_of_qed__1_1_1->n7_a_history_of_qed__1_1_1_1 n7_a_history_of_qed__1_1_2_1 D n7_a_history_of_qed__1_1_2->n7_a_history_of_qed__1_1_2_1 n7_a_history_of_qed__1_1_2_2 N n7_a_history_of_qed__1_1_2->n7_a_history_of_qed__1_1_2_2 n7_a_history_of_qed__1_1_2_1->n7_a_history_of_qed__1_1_2_1_1 n7_a_history_of_qed__1_1_2_2->n7_a_history_of_qed__1_1_2_2_1 n7_a_history_of_qed__1_2->n7_a_history_of_qed__1_2_1 n7_a_history_of_qed__1_3_1 N n7_a_history_of_qed__1_3->n7_a_history_of_qed__1_3_1 n7_a_history_of_qed__1_3_2 NS n7_a_history_of_qed__1_3->n7_a_history_of_qed__1_3_2 n7_a_history_of_qed__1_3_1->n7_a_history_of_qed__1_3_1_1 n7_a_history_of_qed__1_3_2->n7_a_history_of_qed__1_3_2_1 n7_a_history_of_qed__1_4_1 ILYR n7_a_history_of_qed__1_4->n7_a_history_of_qed__1_4_1 n7_a_history_of_qed__1_4_2 PUNC n7_a_history_of_qed__1_4->n7_a_history_of_qed__1_4_2 n7_a_history_of_qed__1_4_3 CONJP n7_a_history_of_qed__1_4->n7_a_history_of_qed__1_4_3 n7_a_history_of_qed__1_4_1_1 MD;_cat_Vi_ n7_a_history_of_qed__1_4_1->n7_a_history_of_qed__1_4_1_1 n7_a_history_of_qed__1_4_1_2 IP-INF-CAT n7_a_history_of_qed__1_4_1->n7_a_history_of_qed__1_4_1_2 n7_a_history_of_qed__1_4_1_1->n7_a_history_of_qed__1_4_1_1_1 n7_a_history_of_qed__1_4_1_2_1 ILYR n7_a_history_of_qed__1_4_1_2->n7_a_history_of_qed__1_4_1_2_1 n7_a_history_of_qed__1_4_1_2_1_1 ILYR n7_a_history_of_qed__1_4_1_2_1->n7_a_history_of_qed__1_4_1_2_1_1 n7_a_history_of_qed__1_4_1_2_1_2 PUNC n7_a_history_of_qed__1_4_1_2_1->n7_a_history_of_qed__1_4_1_2_1_2 n7_a_history_of_qed__1_4_1_2_1_3 CONJP n7_a_history_of_qed__1_4_1_2_1->n7_a_history_of_qed__1_4_1_2_1_3 n7_a_history_of_qed__1_4_1_2_1_1_1 VB;_Ipr_ n7_a_history_of_qed__1_4_1_2_1_1->n7_a_history_of_qed__1_4_1_2_1_1_1 n7_a_history_of_qed__1_4_1_2_1_1_2 PP-CLR n7_a_history_of_qed__1_4_1_2_1_1->n7_a_history_of_qed__1_4_1_2_1_1_2 n7_a_history_of_qed__1_4_1_2_1_1_1->n7_a_history_of_qed__1_4_1_2_1_1_1_1 n7_a_history_of_qed__1_4_1_2_1_1_2_1 P-ROLE n7_a_history_of_qed__1_4_1_2_1_1_2->n7_a_history_of_qed__1_4_1_2_1_1_2_1 n7_a_history_of_qed__1_4_1_2_1_1_2_2 NP n7_a_history_of_qed__1_4_1_2_1_1_2->n7_a_history_of_qed__1_4_1_2_1_1_2_2 n7_a_history_of_qed__1_4_1_2_1_1_2_1->n7_a_history_of_qed__1_4_1_2_1_1_2_1_1 n7_a_history_of_qed__1_4_1_2_1_1_2_2_1 D n7_a_history_of_qed__1_4_1_2_1_1_2_2->n7_a_history_of_qed__1_4_1_2_1_1_2_2_1 n7_a_history_of_qed__1_4_1_2_1_1_2_2_2 ADJP n7_a_history_of_qed__1_4_1_2_1_1_2_2->n7_a_history_of_qed__1_4_1_2_1_1_2_2_2 n7_a_history_of_qed__1_4_1_2_1_1_2_2_3 N n7_a_history_of_qed__1_4_1_2_1_1_2_2->n7_a_history_of_qed__1_4_1_2_1_1_2_2_3 n7_a_history_of_qed__1_4_1_2_1_1_2_2_1->n7_a_history_of_qed__1_4_1_2_1_1_2_2_1_1 n7_a_history_of_qed__1_4_1_2_1_1_2_2_2_1 ADJ n7_a_history_of_qed__1_4_1_2_1_1_2_2_2->n7_a_history_of_qed__1_4_1_2_1_1_2_2_2_1 n7_a_history_of_qed__1_4_1_2_1_1_2_2_2_1->n7_a_history_of_qed__1_4_1_2_1_1_2_2_2_1_1 n7_a_history_of_qed__1_4_1_2_1_1_2_2_3->n7_a_history_of_qed__1_4_1_2_1_1_2_2_3_1 n7_a_history_of_qed__1_4_1_2_1_2->n7_a_history_of_qed__1_4_1_2_1_2_1 n7_a_history_of_qed__1_4_1_2_1_3_1 CONJ n7_a_history_of_qed__1_4_1_2_1_3->n7_a_history_of_qed__1_4_1_2_1_3_1 n7_a_history_of_qed__1_4_1_2_1_3_2 ILYR n7_a_history_of_qed__1_4_1_2_1_3->n7_a_history_of_qed__1_4_1_2_1_3_2 n7_a_history_of_qed__1_4_1_2_1_3_1->n7_a_history_of_qed__1_4_1_2_1_3_1_1 n7_a_history_of_qed__1_4_1_2_1_3_2_1 VB;_Ipr_ n7_a_history_of_qed__1_4_1_2_1_3_2->n7_a_history_of_qed__1_4_1_2_1_3_2_1 n7_a_history_of_qed__1_4_1_2_1_3_2_2 PP-CLR n7_a_history_of_qed__1_4_1_2_1_3_2->n7_a_history_of_qed__1_4_1_2_1_3_2_2 n7_a_history_of_qed__1_4_1_2_1_3_2_1->n7_a_history_of_qed__1_4_1_2_1_3_2_1_1 n7_a_history_of_qed__1_4_1_2_1_3_2_2_1 P-ROLE n7_a_history_of_qed__1_4_1_2_1_3_2_2->n7_a_history_of_qed__1_4_1_2_1_3_2_2_1 n7_a_history_of_qed__1_4_1_2_1_3_2_2_2 NP n7_a_history_of_qed__1_4_1_2_1_3_2_2->n7_a_history_of_qed__1_4_1_2_1_3_2_2_2 n7_a_history_of_qed__1_4_1_2_1_3_2_2_1->n7_a_history_of_qed__1_4_1_2_1_3_2_2_1_1 n7_a_history_of_qed__1_4_1_2_1_3_2_2_2_1 NUM n7_a_history_of_qed__1_4_1_2_1_3_2_2_2->n7_a_history_of_qed__1_4_1_2_1_3_2_2_2_1 n7_a_history_of_qed__1_4_1_2_1_3_2_2_2_1->n7_a_history_of_qed__1_4_1_2_1_3_2_2_2_1_1 n7_a_history_of_qed__1_4_2->n7_a_history_of_qed__1_4_2_1 n7_a_history_of_qed__1_4_3_1 CONJ n7_a_history_of_qed__1_4_3->n7_a_history_of_qed__1_4_3_1 n7_a_history_of_qed__1_4_3_2 ILYR n7_a_history_of_qed__1_4_3->n7_a_history_of_qed__1_4_3_2 n7_a_history_of_qed__1_4_3_1->n7_a_history_of_qed__1_4_3_1_1 n7_a_history_of_qed__1_4_3_2_1 NEG n7_a_history_of_qed__1_4_3_2->n7_a_history_of_qed__1_4_3_2_1 n7_a_history_of_qed__1_4_3_2_2 IP-INF-CAT n7_a_history_of_qed__1_4_3_2->n7_a_history_of_qed__1_4_3_2_2 n7_a_history_of_qed__1_4_3_2_1->n7_a_history_of_qed__1_4_3_2_1_1 n7_a_history_of_qed__1_4_3_2_2_1 VB;_Tn_ n7_a_history_of_qed__1_4_3_2_2->n7_a_history_of_qed__1_4_3_2_2_1 n7_a_history_of_qed__1_4_3_2_2_2 NP-OB1 n7_a_history_of_qed__1_4_3_2_2->n7_a_history_of_qed__1_4_3_2_2_2 n7_a_history_of_qed__1_4_3_2_2_1->n7_a_history_of_qed__1_4_3_2_2_1_1 n7_a_history_of_qed__1_4_3_2_2_2_1 ADJP n7_a_history_of_qed__1_4_3_2_2_2->n7_a_history_of_qed__1_4_3_2_2_2_1 n7_a_history_of_qed__1_4_3_2_2_2_2 NS n7_a_history_of_qed__1_4_3_2_2_2->n7_a_history_of_qed__1_4_3_2_2_2_2 n7_a_history_of_qed__1_4_3_2_2_2_1_1 ADVP n7_a_history_of_qed__1_4_3_2_2_2_1->n7_a_history_of_qed__1_4_3_2_2_2_1_1 n7_a_history_of_qed__1_4_3_2_2_2_1_2 ADJ n7_a_history_of_qed__1_4_3_2_2_2_1->n7_a_history_of_qed__1_4_3_2_2_2_1_2 n7_a_history_of_qed__1_4_3_2_2_2_1_1_1 ADVR n7_a_history_of_qed__1_4_3_2_2_2_1_1->n7_a_history_of_qed__1_4_3_2_2_2_1_1_1 n7_a_history_of_qed__1_4_3_2_2_2_1_1_1->n7_a_history_of_qed__1_4_3_2_2_2_1_1_1_1 n7_a_history_of_qed__1_4_3_2_2_2_1_2->n7_a_history_of_qed__1_4_3_2_2_2_1_2_1 n7_a_history_of_qed__1_4_3_2_2_2_2->n7_a_history_of_qed__1_4_3_2_2_2_2_1 n7_a_history_of_qed__1_5->n7_a_history_of_qed__1_5_1 
( (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))