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_0007_0003__time that_time 0007_0007__could->0007_0002__that_0007_0003__time until[tmp] 0007_0014__and_0007_0019__but_0007_0020__not and_but_not 0007_0007__could->0007_0014__and_0007_0019__but_0007_0020__not [scope] 0007_0008__search search 0007_0014__and_0007_0019__but_0007_0020__not->0007_0008__search [conj1] 0007_0015__substitute substitute 0007_0014__and_0007_0019__but_0007_0020__not->0007_0015__substitute [conj2] 0007_0021__specify specify 0007_0014__and_0007_0019__but_0007_0020__not->0007_0021__specify [conj3] 0007_0005__text_0007_0006__editors text_editors 0007_0008__search->0007_0005__text_0007_0006__editors [arg0] 0007_0010__a_0007_0012__string a_string 0007_0008__search->0007_0010__a_0007_0012__string for[clr] 0007_0011__literal literal 0007_0010__a_0007_0012__string->0007_0011__literal [attrib] 0007_0015__substitute->0007_0005__text_0007_0006__editors [arg0] 0007_0017__one one 0007_0015__substitute->0007_0017__one for[clr] 0007_0021__specify->0007_0005__text_0007_0006__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__tmp).
arc(r_0007_0007__could,r_0007_0014__and_r_0007_0019__but_r_0007_0020__not,keep_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__clr).
arc(r_0007_0010__a_r_0007_0012__string,r_0007_0011__literal,attrib).
arc(r_0007_0014__and_r_0007_0019__but_r_0007_0020__not,r_0007_0008__search,conj1).
arc(r_0007_0014__and_r_0007_0019__but_r_0007_0020__not,r_0007_0015__substitute,conj2).
arc(r_0007_0014__and_r_0007_0019__but_r_0007_0020__not,r_0007_0021__specify,conj3).
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__clr).
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).

IP-MAT PP-TMP P-ROLE Until NP D that N time PUNC , NP-SBJ N text NS editors MD;~cat_Vi could IP-INF-CAT ILYR ILYR VB search PP-CLR P-ROLE for NP D a ADJP ADJ literal N string PUNC , CONJP CONJ and ILYR VB substitute PP-CLR P-ROLE for NP NUM one PUNC , CONJP CONJ but NEG not ILYR VB specify NP-OB1 ADJP ADVP ADVR more ADJ general NS strings PUNC . 
( (IP-MAT (PP-TMP (P-ROLE Until;{until})
                  (NP (D that;{that})
                      (N time;{time})))
          (PUNC ,)
          (NP-SBJ (N text;{text})
                  (NS editors;{editor}))
          (MD;~cat_Vi could;{can})
          (IP-INF-CAT (ILYR (ILYR (VB search;{search})
                                  (PP-CLR (P-ROLE for;{for})
                                          (NP (D a;{a})
                                              (ADJP (ADJ literal;{literal}))
                                              (N string;{string}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB substitute;{substitute})
                                         (PP-CLR (P-ROLE for;{for})
                                                 (NP (NUM one;{one})))))
                            (PUNC ,)
                            (CONJP (CONJ but;{but})
                                   (NEG not;{not})
                                   (ILYR (VB specify;{specify})
                                         (NP-OB1 (ADJP (ADVP (ADVR more;{more}))
                                                       (ADJ general;{general}))
                                                 (NS strings;{string}))))))
          (PUNC .))
  (ID 7_a_history_of_qed))