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 0007_0007__could could 0007_0002__that_3__time that_time 0007_0007__could->0007_0002__that_3__time Until[nim] 0007_0014__and and 0007_0007__could->0007_0014__and [scope] 0007_0008__search_9__for search_for 0007_0014__and->0007_0008__search_9__for [conj1] 0007_0015__substitute_16__for substitute_for 0007_0014__and->0007_0015__substitute_16__for [conj2] 0007_0005__text_6__editors text_editors 0007_0008__search_9__for->0007_0005__text_6__editors [arg0] 0007_0010__a_12__string a_string 0007_0008__search_9__for->0007_0010__a_12__string [arg1] 0007_0011__literal literal 0007_0010__a_12__string->0007_0011__literal [attrib] 0007_0015__substitute_16__for->0007_0005__text_6__editors [arg0] 0007_0017__one one 0007_0015__substitute_16__for->0007_0017__one [arg1] 0007_0019__but but 0007_0019__but->0007_0007__could [conj1] 0007_0020__not not 0007_0019__but->0007_0020__not [conj2] 0007_5017 0007_0020__not->0007_5017 [scope] 0007_5017->0007_0002__that_3__time Until[nim] 0007_0021__specify specify 0007_5017->0007_0021__specify [scope] 0007_0021__specify->0007_0005__text_6__editors [arg0] 0007_0024__strings strings 0007_0021__specify->0007_0024__strings [arg1] 0007_0023__general general 0007_0024__strings->0007_0023__general [attrib] 0007_0022__more more 0007_0023__general->0007_0022__more [qual] 
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).

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