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.

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


%3 z_0007_5017 r_0007_0021__specify specify z_0007_5017->r_0007_0021__specify [scope] r_0007_0002__that_r_0007_0003__time that time z_0007_5017->r_0007_0002__that_r_0007_0003__time Until [nim] r_0007_0024__strings strings r_0007_0021__specify->r_0007_0024__strings [arg1] r_0007_0005__text_r_0007_0006__editors text editors 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_0007_5017 [keep_scope] r_0007_0019__but but r_0007_0019__but->r_0007_0020__not [conj2] r_0007_0007__could could r_0007_0019__but->r_0007_0007__could [conj1] 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_0015__substitute_r_0007_0016__for substitute for r_0007_0015__substitute_r_0007_0016__for->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0017__one one r_0007_0015__substitute_r_0007_0016__for->r_0007_0017__one [arg1] r_0007_0014__and->r_0007_0015__substitute_r_0007_0016__for [conj2] r_0007_0008__search_r_0007_0009__for search for r_0007_0014__and->r_0007_0008__search_r_0007_0009__for [conj1] r_0007_0008__search_r_0007_0009__for->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_0009__for->r_0007_0010__a_r_0007_0012__string [arg1] r_0007_0011__literal literal r_0007_0010__a_r_0007_0012__string->r_0007_0011__literal [attrib] 
arc(r_0007_0007__could,r_0007_0002__that_r_0007_0003__time,r_0007_0001__Until__nim).
arc(r_0007_0007__could,r_0007_0014__and,scope).
arc(r_0007_0008__search_r_0007_0009__for,r_0007_0005__text_r_0007_0006__editors,arg0).
arc(r_0007_0008__search_r_0007_0009__for,r_0007_0010__a_r_0007_0012__string,arg1).
arc(r_0007_0010__a_r_0007_0012__string,r_0007_0011__literal,attrib).
arc(r_0007_0014__and,r_0007_0008__search_r_0007_0009__for,conj1).
arc(r_0007_0014__and,r_0007_0015__substitute_r_0007_0016__for,conj2).
arc(r_0007_0015__substitute_r_0007_0016__for,r_0007_0005__text_r_0007_0006__editors,arg0).
arc(r_0007_0015__substitute_r_0007_0016__for,r_0007_0017__one,arg1).
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_0007_5017,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,qual).
arc(r_0007_0024__strings,r_0007_0023__general,attrib).
arc(z_0007_5017,r_0007_0002__that_r_0007_0003__time,r_0007_0001__Until__nim).
arc(z_0007_5017,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_r_0007_0009__for search for r_0007_0005__text_r_0007_0006__editors text editors r_0007_0008__search_r_0007_0009__for->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_0009__for->r_0007_0010__a_r_0007_0012__string [arg1] r_0007_0011__literal literal r_0007_0010__a_r_0007_0012__string->r_0007_0011__literal [attrib] r_0007_0014__and->r_0007_0008__search_r_0007_0009__for [conj1] r_0007_0015__substitute_r_0007_0016__for substitute for r_0007_0014__and->r_0007_0015__substitute_r_0007_0016__for [conj2] r_0007_0015__substitute_r_0007_0016__for->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0017__one one r_0007_0015__substitute_r_0007_0016__for->r_0007_0017__one [arg1] 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_0007_5017_r_0007_0021__specify specify r_0007_0020__not->z_0007_5017_r_0007_0021__specify [keep_scope] z_0007_5017_r_0007_0021__specify->r_0007_0002__that_r_0007_0003__time Until [nim] z_0007_5017_r_0007_0021__specify->r_0007_0005__text_r_0007_0006__editors [arg0] r_0007_0024__strings strings z_0007_5017_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] 
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_0009__FOR,R_0007_0017__ONE,R_0007_0015__SUBSTITUTE_R_0007_0016__FOR,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_0007_5017_R_0007_0021__SPECIFY] :
            ( r_0007_0022__more(R_0007_0022__MORE)
            & z_0007_5017_r_0007_0021__specify(Z_0007_5017_R_0007_0021__SPECIFY)
            & has_r_0007_0001__Until__nim(Z_0007_5017_R_0007_0021__SPECIFY,R_0007_0002__THAT_R_0007_0003__TIME)
            & has_arg1(Z_0007_5017_R_0007_0021__SPECIFY,R_0007_0024__STRINGS)
            & r_0007_0024__strings(R_0007_0024__STRINGS)
            & has_attrib(R_0007_0024__STRINGS,R_0007_0023__GENERAL)
            & r_0007_0023__general(R_0007_0023__GENERAL)
            & has_qual(R_0007_0023__GENERAL,R_0007_0022__MORE)
            & has_arg0(Z_0007_5017_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_0016__FOR)
      & r_0007_0015__substitute_r_0007_0016__for(R_0007_0015__SUBSTITUTE_R_0007_0016__FOR)
      & has_arg1(R_0007_0015__SUBSTITUTE_R_0007_0016__FOR,R_0007_0017__ONE)
      & has_arg0(R_0007_0015__SUBSTITUTE_R_0007_0016__FOR,R_0007_0005__TEXT_R_0007_0006__EDITORS)
      & has_conj1(R_0007_0014__AND,R_0007_0008__SEARCH_R_0007_0009__FOR)
      & r_0007_0008__search_r_0007_0009__for(R_0007_0008__SEARCH_R_0007_0009__FOR)
      & has_arg1(R_0007_0008__SEARCH_R_0007_0009__FOR,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_attrib(R_0007_0010__A_R_0007_0012__STRING,R_0007_0011__LITERAL)
      & has_arg0(R_0007_0008__SEARCH_R_0007_0009__FOR,R_0007_0005__TEXT_R_0007_0006__EDITORS)
      & has_r_0007_0001__Until__nim(R_0007_0007__COULD,R_0007_0002__THAT_R_0007_0003__TIME) ) ).