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_0007_0002__THAT_R_0007_0003__TIME,R_0007_0005__TEXT_R_0007_0006__EDITORS,R_0007_0011__LITERAL,R_0007_0010__A_R_0007_0012__STRING,R_0007_0008__SEARCH,R_0007_0017__ONE,R_0007_0015__SUBSTITUTE,R_0007_0014__AND,R_0007_0007__COULD,R_0007_0019__BUT] :
      ( r_0007_0002__that_r_0007_0003__time(R_0007_0002__THAT_R_0007_0003__TIME)
      & r_0007_0005__text_r_0007_0006__editors(R_0007_0005__TEXT_R_0007_0006__EDITORS)
      & r_0007_0011__literal(R_0007_0011__LITERAL)
      & r_0007_0017__one(R_0007_0017__ONE)
      & r_0007_0019__but(R_0007_0019__BUT)
      & has_conj2(R_0007_0019__BUT,R_0007_0020__NOT)
      & ~ ? [R_0007_0022__MORE,R_0007_0023__GENERAL,R_0007_0024__STRINGS,Z_000_7_A_HISTORY_OF_QED_56_R_0007_0021__SPECIFY] :
            ( r_0007_0022__more(R_0007_0022__MORE)
            & z_000_7_a_history_of_qed_56_r_0007_0021__specify(Z_000_7_A_HISTORY_OF_QED_56_R_0007_0021__SPECIFY)
            & has_r_0007_0001__Until_nim5(Z_000_7_A_HISTORY_OF_QED_56_R_0007_0021__SPECIFY,R_0007_0002__THAT_R_0007_0003__TIME)
            & has_arg1(Z_000_7_A_HISTORY_OF_QED_56_R_0007_0021__SPECIFY,R_0007_0024__STRINGS)
            & r_0007_0024__strings(R_0007_0024__STRINGS)
            & has_attrib63(R_0007_0024__STRINGS,R_0007_0023__GENERAL)
            & r_0007_0023__general(R_0007_0023__GENERAL)
            & has_qual64(R_0007_0023__GENERAL,R_0007_0022__MORE)
            & has_arg0(Z_000_7_A_HISTORY_OF_QED_56_R_0007_0021__SPECIFY,R_0007_0005__TEXT_R_0007_0006__EDITORS) )
      & has_conj1(R_0007_0019__BUT,R_0007_0007__COULD)
      & r_0007_0007__could(R_0007_0007__COULD)
      & has_keep_scope(R_0007_0007__COULD,R_0007_0014__AND)
      & r_0007_0014__and(R_0007_0014__AND)
      & has_conj2(R_0007_0014__AND,R_0007_0015__SUBSTITUTE)
      & r_0007_0015__substitute(R_0007_0015__SUBSTITUTE)
      & has_r_0007_0016__for_clr48(R_0007_0015__SUBSTITUTE,R_0007_0017__ONE)
      & has_arg0(R_0007_0015__SUBSTITUTE,R_0007_0005__TEXT_R_0007_0006__EDITORS)
      & has_conj1(R_0007_0014__AND,R_0007_0008__SEARCH)
      & r_0007_0008__search(R_0007_0008__SEARCH)
      & has_r_0007_0009__for_clr29(R_0007_0008__SEARCH,R_0007_0010__A_R_0007_0012__STRING)
      & r_0007_0010__a_r_0007_0012__string(R_0007_0010__A_R_0007_0012__STRING)
      & has_attrib32(R_0007_0010__A_R_0007_0012__STRING,R_0007_0011__LITERAL)
      & has_arg0(R_0007_0008__SEARCH,R_0007_0005__TEXT_R_0007_0006__EDITORS)
      & has_r_0007_0001__Until_nim5(R_0007_0007__COULD,R_0007_0002__THAT_R_0007_0003__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))