Context                Previous, Next                Top


6_a_history_of_qed
Written in IBM 7090 assembly language, it differed from the Berkeley version most notably in introducing regular expressions for specifying strings to seek within the document being edited, and to specify a substring for which a substitution should be made.

%3 r_0006_0001__Written Written r_0006_0003__IBM_r_0006_0004__7090_r_0006_0005__assembly_r_0006_0006__language IBM 7090 assembly language r_0006_0001__Written->r_0006_0003__IBM_r_0006_0004__7090_r_0006_0005__assembly_r_0006_0006__language in [nim] r_0006_0008__it it r_0006_0001__Written->r_0006_0008__it [arg1] z_000_6_a_history_of_qed_4 r_0006_0001__Written->z_000_6_a_history_of_qed_4 [arg0] r_0006_0009__differed differed r_0006_0009__differed->r_0006_0008__it [arg0] r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version the Berkeley version r_0006_0009__differed->r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version from [clr] r_0006_0015__notably notably r_0006_0009__differed->r_0006_0015__notably [nim] r_0006_0017__introducing introducing r_0006_0009__differed->r_0006_0017__introducing in [nim] r_0006_0014__most most r_0006_0015__notably->r_0006_0014__most [qual] r_0006_0019__expressions expressions r_0006_0017__introducing->r_0006_0019__expressions [arg1] z_000_6_a_history_of_qed_46 r_0006_0017__introducing->z_000_6_a_history_of_qed_46 [arg0] r_0006_0018__regular regular r_0006_0019__expressions->r_0006_0018__regular [attrib] r_0006_0021__specifying specifying r_0006_0019__expressions->r_0006_0021__specifying for r_0006_0022__strings strings r_0006_0021__specifying->r_0006_0022__strings [arg1] z_000_6_a_history_of_qed_58 r_0006_0021__specifying->z_000_6_a_history_of_qed_58 [arg0] r_0006_0023__to_r_0006_0024__seek to seek r_0006_0023__to_r_0006_0024__seek->r_0006_0019__expressions [arg0] r_0006_0026__the_r_0006_0027__document the document r_0006_0023__to_r_0006_0024__seek->r_0006_0026__the_r_0006_0027__document within [clr] r_0006_0028__being being r_0006_0029__edited edited r_0006_0028__being->r_0006_0029__edited [scope] r_0006_0029__edited->r_0006_0026__the_r_0006_0027__document [arg1] z_000_6_a_history_of_qed_85 r_0006_0029__edited->z_000_6_a_history_of_qed_85 [arg0] r_0006_0031__and and r_0006_0031__and->r_0006_0023__to_r_0006_0024__seek [conj1] r_0006_0032__to_r_0006_0033__specify to specify r_0006_0031__and->r_0006_0032__to_r_0006_0033__specify [conj2] r_0006_0032__to_r_0006_0033__specify->r_0006_0019__expressions [arg0] r_0006_0034__a_r_0006_0035__substring a substring r_0006_0032__to_r_0006_0033__specify->r_0006_0034__a_r_0006_0035__substring [arg1] r_0006_0040__should should r_0006_0041__be be r_0006_0040__should->r_0006_0041__be [scope] r_0006_0042__made made r_0006_0041__be->r_0006_0042__made [scope] r_0006_0042__made->r_0006_0034__a_r_0006_0035__substring for [clr] r_0006_0038__a_r_0006_0039__substitution a substitution r_0006_0042__made->r_0006_0038__a_r_0006_0039__substitution [arg1] z_000_6_a_history_of_qed_126 r_0006_0042__made->z_000_6_a_history_of_qed_126 [arg0] z_000_6_a_history_of_qed_2 z_000_6_a_history_of_qed_2->r_0006_0001__Written [restriction] z_000_6_a_history_of_qed_2->r_0006_0009__differed [scope] 
arc(r_0006_0001__Written, r_0006_0003__IBM_r_0006_0004__7090_r_0006_0005__assembly_r_0006_0006__language, r_0006_0002__in_nim11).
arc(r_0006_0001__Written, r_0006_0008__it, arg1).
arc(r_0006_0001__Written, z_000_6_a_history_of_qed_4, arg0).
arc(r_0006_0009__differed, r_0006_0008__it, arg0).
arc(r_0006_0009__differed, r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version, r_0006_0010__from_clr30).
arc(r_0006_0009__differed, r_0006_0015__notably, nim37).
arc(r_0006_0009__differed, r_0006_0017__introducing, r_0006_0016__in_nim46).
arc(r_0006_0015__notably, r_0006_0014__most, qual38).
arc(r_0006_0017__introducing, r_0006_0019__expressions, arg1).
arc(r_0006_0017__introducing, z_000_6_a_history_of_qed_46, arg0).
arc(r_0006_0019__expressions, r_0006_0018__regular, attrib50).
arc(r_0006_0019__expressions, r_0006_0021__specifying, r_0006_0020__for).
arc(r_0006_0021__specifying, r_0006_0022__strings, arg1).
arc(r_0006_0021__specifying, z_000_6_a_history_of_qed_58, arg0).
arc(r_0006_0023__to_r_0006_0024__seek, r_0006_0019__expressions, arg0).
arc(r_0006_0023__to_r_0006_0024__seek, r_0006_0026__the_r_0006_0027__document, r_0006_0025__within_clr76).
arc(r_0006_0028__being, r_0006_0029__edited, scope).
arc(r_0006_0029__edited, r_0006_0026__the_r_0006_0027__document, arg1).
arc(r_0006_0029__edited, z_000_6_a_history_of_qed_85, arg0).
arc(r_0006_0031__and, r_0006_0023__to_r_0006_0024__seek, conj1).
arc(r_0006_0031__and, r_0006_0032__to_r_0006_0033__specify, conj2).
arc(r_0006_0032__to_r_0006_0033__specify, r_0006_0019__expressions, arg0).
arc(r_0006_0032__to_r_0006_0033__specify, r_0006_0034__a_r_0006_0035__substring, arg1).
arc(r_0006_0040__should, r_0006_0041__be, scope).
arc(r_0006_0041__be, r_0006_0042__made, scope).
arc(r_0006_0042__made, r_0006_0034__a_r_0006_0035__substring, r_0006_0036__for_clr110).
arc(r_0006_0042__made, r_0006_0038__a_r_0006_0039__substitution, arg1).
arc(r_0006_0042__made, z_000_6_a_history_of_qed_126, arg0).
arc(z_000_6_a_history_of_qed_2, r_0006_0001__Written, restriction).
arc(z_000_6_a_history_of_qed_2, r_0006_0009__differed, scope).


%3 z_000_6_a_history_of_qed_2 r_0006_0009__differed differed z_000_6_a_history_of_qed_2->r_0006_0009__differed [conj2] r_0006_0001__Written Written z_000_6_a_history_of_qed_2->r_0006_0001__Written [conj1] r_0006_0017__introducing introducing r_0006_0009__differed->r_0006_0017__introducing in [nim] r_0006_0015__notably notably r_0006_0009__differed->r_0006_0015__notably [nim] r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version the Berkeley version r_0006_0009__differed->r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version from [clr] r_0006_0008__it it r_0006_0009__differed->r_0006_0008__it [arg0] r_0006_0001__Written->r_0006_0008__it [arg1] z_000_6_a_history_of_qed_4 r_0006_0001__Written->z_000_6_a_history_of_qed_4 [arg0] r_0006_0003__IBM_r_0006_0004__7090_r_0006_0005__assembly_r_0006_0006__language IBM 7090 assembly language r_0006_0001__Written->r_0006_0003__IBM_r_0006_0004__7090_r_0006_0005__assembly_r_0006_0006__language in [nim] r_0006_0040__should_r_0006_0041__be_r_0006_0042__made should be made z_000_6_a_history_of_qed_126 r_0006_0040__should_r_0006_0041__be_r_0006_0042__made->z_000_6_a_history_of_qed_126 [arg0] r_0006_0038__a_r_0006_0039__substitution a substitution r_0006_0040__should_r_0006_0041__be_r_0006_0042__made->r_0006_0038__a_r_0006_0039__substitution [arg1] r_0006_0034__a_r_0006_0035__substring a substring r_0006_0040__should_r_0006_0041__be_r_0006_0042__made->r_0006_0034__a_r_0006_0035__substring for [clr] r_0006_0032__to_r_0006_0033__specify to specify r_0006_0032__to_r_0006_0033__specify->r_0006_0034__a_r_0006_0035__substring [arg1] r_0006_0019__expressions expressions r_0006_0032__to_r_0006_0033__specify->r_0006_0019__expressions [arg0] r_0006_0021__specifying specifying r_0006_0019__expressions->r_0006_0021__specifying for r_0006_0018__regular regular r_0006_0019__expressions->r_0006_0018__regular [attrib] r_0006_0031__and and r_0006_0031__and->r_0006_0032__to_r_0006_0033__specify [conj2] r_0006_0023__to_r_0006_0024__seek to seek r_0006_0031__and->r_0006_0023__to_r_0006_0024__seek [conj1] r_0006_0023__to_r_0006_0024__seek->r_0006_0019__expressions [arg0] r_0006_0026__the_r_0006_0027__document the document r_0006_0023__to_r_0006_0024__seek->r_0006_0026__the_r_0006_0027__document within [clr] r_0006_0028__being_r_0006_0029__edited being edited z_000_6_a_history_of_qed_85 r_0006_0028__being_r_0006_0029__edited->z_000_6_a_history_of_qed_85 [arg0] r_0006_0028__being_r_0006_0029__edited->r_0006_0026__the_r_0006_0027__document [arg1] z_000_6_a_history_of_qed_58 r_0006_0021__specifying->z_000_6_a_history_of_qed_58 [arg0] r_0006_0022__strings strings r_0006_0021__specifying->r_0006_0022__strings [arg1] r_0006_0017__introducing->r_0006_0019__expressions [arg1] z_000_6_a_history_of_qed_46 r_0006_0017__introducing->z_000_6_a_history_of_qed_46 [arg0] r_0006_0014__most most r_0006_0015__notably->r_0006_0014__most [qual] 
fof(formula,axiom,
    ? [R_0006_0026__THE_R_0006_0027__DOCUMENT,Z_000_6_A_HISTORY_OF_QED_85,R_0006_0028__BEING_R_0006_0029__EDITED,R_0006_0018__REGULAR,R_0006_0022__STRINGS,Z_000_6_A_HISTORY_OF_QED_58,R_0006_0021__SPECIFYING,R_0006_0019__EXPRESSIONS,R_0006_0023__TO_R_0006_0024__SEEK,R_0006_0034__A_R_0006_0035__SUBSTRING,R_0006_0032__TO_R_0006_0033__SPECIFY,R_0006_0031__AND,R_0006_0038__A_R_0006_0039__SUBSTITUTION,Z_000_6_A_HISTORY_OF_QED_126,R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0042__MADE,R_0006_0003__IBM_R_0006_0004__7090_R_0006_0005__ASSEMBLY_R_0006_0006__LANGUAGE,R_0006_0008__IT,Z_000_6_A_HISTORY_OF_QED_4,R_0006_0001__WRITTEN,R_0006_0011__THE_R_0006_0012__BERKELEY_R_0006_0013__VERSION,R_0006_0014__MOST,R_0006_0015__NOTABLY,Z_000_6_A_HISTORY_OF_QED_46,R_0006_0017__INTRODUCING,R_0006_0009__DIFFERED,Z_000_6_A_HISTORY_OF_QED_2] :
      ( r_0006_0003__IBM_r_0006_0004__7090_r_0006_0005__assembly_r_0006_0006__language(R_0006_0003__IBM_R_0006_0004__7090_R_0006_0005__ASSEMBLY_R_0006_0006__LANGUAGE)
      & r_0006_0008__it(R_0006_0008__IT)
      & r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version(R_0006_0011__THE_R_0006_0012__BERKELEY_R_0006_0013__VERSION)
      & r_0006_0014__most(R_0006_0014__MOST)
      & r_0006_0018__regular(R_0006_0018__REGULAR)
      & r_0006_0022__strings(R_0006_0022__STRINGS)
      & r_0006_0026__the_r_0006_0027__document(R_0006_0026__THE_R_0006_0027__DOCUMENT)
      & r_0006_0034__a_r_0006_0035__substring(R_0006_0034__A_R_0006_0035__SUBSTRING)
      & r_0006_0038__a_r_0006_0039__substitution(R_0006_0038__A_R_0006_0039__SUBSTITUTION)
      & z_000_6_a_history_of_qed_126(Z_000_6_A_HISTORY_OF_QED_126)
      & z_000_6_a_history_of_qed_4(Z_000_6_A_HISTORY_OF_QED_4)
      & z_000_6_a_history_of_qed_46(Z_000_6_A_HISTORY_OF_QED_46)
      & z_000_6_a_history_of_qed_58(Z_000_6_A_HISTORY_OF_QED_58)
      & z_000_6_a_history_of_qed_85(Z_000_6_A_HISTORY_OF_QED_85)
      & z_000_6_a_history_of_qed_2(Z_000_6_A_HISTORY_OF_QED_2)
      & has_conj2(Z_000_6_A_HISTORY_OF_QED_2,R_0006_0009__DIFFERED)
      & r_0006_0009__differed(R_0006_0009__DIFFERED)
      & has_r_0006_0016__in_nim46(R_0006_0009__DIFFERED,R_0006_0017__INTRODUCING)
      & r_0006_0017__introducing(R_0006_0017__INTRODUCING)
      & has_arg0(R_0006_0017__INTRODUCING,Z_000_6_A_HISTORY_OF_QED_46)
      & has_arg1(R_0006_0017__INTRODUCING,R_0006_0019__EXPRESSIONS)
      & r_0006_0019__expressions(R_0006_0019__EXPRESSIONS)
      & has_r_0006_0020__for(R_0006_0019__EXPRESSIONS,R_0006_0021__SPECIFYING)
      & r_0006_0021__specifying(R_0006_0021__SPECIFYING)
      & has_arg0(R_0006_0021__SPECIFYING,Z_000_6_A_HISTORY_OF_QED_58)
      & has_arg1(R_0006_0021__SPECIFYING,R_0006_0022__STRINGS)
      & has_attrib50(R_0006_0019__EXPRESSIONS,R_0006_0018__REGULAR)
      & has_nim37(R_0006_0009__DIFFERED,R_0006_0015__NOTABLY)
      & ~ has_qual38(R_0006_0015__NOTABLY,R_0006_0014__MOST)
      & has_r_0006_0010__from_clr30(R_0006_0009__DIFFERED,R_0006_0011__THE_R_0006_0012__BERKELEY_R_0006_0013__VERSION)
      & has_arg0(R_0006_0009__DIFFERED,R_0006_0008__IT)
      & has_conj1(Z_000_6_A_HISTORY_OF_QED_2,R_0006_0001__WRITTEN)
      & r_0006_0001__Written(R_0006_0001__WRITTEN)
      & has_arg0(R_0006_0001__WRITTEN,Z_000_6_A_HISTORY_OF_QED_4)
      & has_arg1(R_0006_0001__WRITTEN,R_0006_0008__IT)
      & has_r_0006_0002__in_nim11(R_0006_0001__WRITTEN,R_0006_0003__IBM_R_0006_0004__7090_R_0006_0005__ASSEMBLY_R_0006_0006__LANGUAGE)
      & r_0006_0040__should_r_0006_0041__be_r_0006_0042__made(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0042__MADE)
      & has_arg0(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0042__MADE,Z_000_6_A_HISTORY_OF_QED_126)
      & has_arg1(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0042__MADE,R_0006_0038__A_R_0006_0039__SUBSTITUTION)
      & has_r_0006_0036__for_clr110(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0042__MADE,R_0006_0034__A_R_0006_0035__SUBSTRING)
      & r_0006_0031__and(R_0006_0031__AND)
      & has_conj2(R_0006_0031__AND,R_0006_0032__TO_R_0006_0033__SPECIFY)
      & r_0006_0032__to_r_0006_0033__specify(R_0006_0032__TO_R_0006_0033__SPECIFY)
      & has_arg1(R_0006_0032__TO_R_0006_0033__SPECIFY,R_0006_0034__A_R_0006_0035__SUBSTRING)
      & has_arg0(R_0006_0032__TO_R_0006_0033__SPECIFY,R_0006_0019__EXPRESSIONS)
      & has_conj1(R_0006_0031__AND,R_0006_0023__TO_R_0006_0024__SEEK)
      & r_0006_0023__to_r_0006_0024__seek(R_0006_0023__TO_R_0006_0024__SEEK)
      & has_r_0006_0025__within_clr76(R_0006_0023__TO_R_0006_0024__SEEK,R_0006_0026__THE_R_0006_0027__DOCUMENT)
      & has_arg0(R_0006_0023__TO_R_0006_0024__SEEK,R_0006_0019__EXPRESSIONS)
      & r_0006_0028__being_r_0006_0029__edited(R_0006_0028__BEING_R_0006_0029__EDITED)
      & has_arg0(R_0006_0028__BEING_R_0006_0029__EDITED,Z_000_6_A_HISTORY_OF_QED_85)
      & has_arg1(R_0006_0028__BEING_R_0006_0029__EDITED,R_0006_0026__THE_R_0006_0027__DOCUMENT) ) ).


n6_a_history_of_qed n6_a_history_of_qed__1_1_1_1_1 * n6_a_history_of_qed__1_1_1_2_1 Written n6_a_history_of_qed__1_1_1_3_1_1 in n6_a_history_of_qed__1_1_1_3_2_1_1 IBM n6_a_history_of_qed__1_1_1_3_2_2_1 7090 n6_a_history_of_qed__1_1_1_3_2_3_1 assembly n6_a_history_of_qed__1_1_1_3_2_4_1 language n6_a_history_of_qed__1_2_1 , n6_a_history_of_qed__1_3_1_1 it n6_a_history_of_qed__1_4_1 differed n6_a_history_of_qed__1_5_1_1 from n6_a_history_of_qed__1_5_2_1_1 the n6_a_history_of_qed__1_5_2_2_1 Berkeley n6_a_history_of_qed__1_5_2_3_1 version n6_a_history_of_qed__1_6_1_1_1 most n6_a_history_of_qed__1_6_2_1 notably n6_a_history_of_qed__1_7_1_1 in n6_a_history_of_qed__1_7_2_1_1 introducing n6_a_history_of_qed__1_7_2_2_1_1_1 regular n6_a_history_of_qed__1_7_2_2_2_1 expressions n6_a_history_of_qed__1_7_2_2_3_1_1 for n6_a_history_of_qed__1_7_2_2_3_2_1_1 specifying n6_a_history_of_qed__1_7_2_2_3_2_2_1_1 strings n6_a_history_of_qed__1_7_2_2_4_1_1_1_1 *T* n6_a_history_of_qed__1_7_2_2_4_1_1_2_1 to n6_a_history_of_qed__1_7_2_2_4_1_1_3_1 seek n6_a_history_of_qed__1_7_2_2_4_1_1_4_1_1 within n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_1_1 the n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_2_1 document n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_1_1 being n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_1_1 * n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_2_1 edited n6_a_history_of_qed__1_7_2_2_4_1_2_1 , n6_a_history_of_qed__1_7_2_2_4_1_3_1_1 and n6_a_history_of_qed__1_7_2_2_4_1_3_2_1_1 *T* n6_a_history_of_qed__1_7_2_2_4_1_3_2_2_1 to n6_a_history_of_qed__1_7_2_2_4_1_3_2_3_1 specify n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_1_1 a n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_2_1 substring n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_1_1 for n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2_1_1 which n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_1_1 a n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_2_1 substitution n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_3_1 should n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_1_1 be n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_1_1 *ICH*-173 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_2_1 * n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_3_1 made n6_a_history_of_qed__1_8_1 . n6_a_history_of_qed__1 IP-MAT n6_a_history_of_qed__1_1 PP-SCON n6_a_history_of_qed__1->n6_a_history_of_qed__1_1 n6_a_history_of_qed__1_2 PUNC n6_a_history_of_qed__1->n6_a_history_of_qed__1_2 n6_a_history_of_qed__1_3 NP-SBJ n6_a_history_of_qed__1->n6_a_history_of_qed__1_3 n6_a_history_of_qed__1_4 VBD;_Ipr_ n6_a_history_of_qed__1->n6_a_history_of_qed__1_4 n6_a_history_of_qed__1_5 PP-CLR n6_a_history_of_qed__1->n6_a_history_of_qed__1_5 n6_a_history_of_qed__1_6 ADVP-NIM n6_a_history_of_qed__1->n6_a_history_of_qed__1_6 n6_a_history_of_qed__1_7 PP-NIM n6_a_history_of_qed__1->n6_a_history_of_qed__1_7 n6_a_history_of_qed__1_8 PUNC n6_a_history_of_qed__1->n6_a_history_of_qed__1_8 n6_a_history_of_qed__1_1_1 IP-PPL2 n6_a_history_of_qed__1_1->n6_a_history_of_qed__1_1_1 n6_a_history_of_qed__1_1_1_1 NP-LGS n6_a_history_of_qed__1_1_1->n6_a_history_of_qed__1_1_1_1 n6_a_history_of_qed__1_1_1_2 VVN;_Tn_ n6_a_history_of_qed__1_1_1->n6_a_history_of_qed__1_1_1_2 n6_a_history_of_qed__1_1_1_3 PP-NIM n6_a_history_of_qed__1_1_1->n6_a_history_of_qed__1_1_1_3 n6_a_history_of_qed__1_1_1_1->n6_a_history_of_qed__1_1_1_1_1 n6_a_history_of_qed__1_1_1_2->n6_a_history_of_qed__1_1_1_2_1 n6_a_history_of_qed__1_1_1_3_1 P-ROLE n6_a_history_of_qed__1_1_1_3->n6_a_history_of_qed__1_1_1_3_1 n6_a_history_of_qed__1_1_1_3_2 NP n6_a_history_of_qed__1_1_1_3->n6_a_history_of_qed__1_1_1_3_2 n6_a_history_of_qed__1_1_1_3_1->n6_a_history_of_qed__1_1_1_3_1_1 n6_a_history_of_qed__1_1_1_3_2_1 NPR n6_a_history_of_qed__1_1_1_3_2->n6_a_history_of_qed__1_1_1_3_2_1 n6_a_history_of_qed__1_1_1_3_2_2 NPR n6_a_history_of_qed__1_1_1_3_2->n6_a_history_of_qed__1_1_1_3_2_2 n6_a_history_of_qed__1_1_1_3_2_3 N n6_a_history_of_qed__1_1_1_3_2->n6_a_history_of_qed__1_1_1_3_2_3 n6_a_history_of_qed__1_1_1_3_2_4 N n6_a_history_of_qed__1_1_1_3_2->n6_a_history_of_qed__1_1_1_3_2_4 n6_a_history_of_qed__1_1_1_3_2_1->n6_a_history_of_qed__1_1_1_3_2_1_1 n6_a_history_of_qed__1_1_1_3_2_2->n6_a_history_of_qed__1_1_1_3_2_2_1 n6_a_history_of_qed__1_1_1_3_2_3->n6_a_history_of_qed__1_1_1_3_2_3_1 n6_a_history_of_qed__1_1_1_3_2_4->n6_a_history_of_qed__1_1_1_3_2_4_1 n6_a_history_of_qed__1_2->n6_a_history_of_qed__1_2_1 n6_a_history_of_qed__1_3_1 PRO n6_a_history_of_qed__1_3->n6_a_history_of_qed__1_3_1 n6_a_history_of_qed__1_3_1->n6_a_history_of_qed__1_3_1_1 n6_a_history_of_qed__1_4->n6_a_history_of_qed__1_4_1 n6_a_history_of_qed__1_5_1 P-ROLE n6_a_history_of_qed__1_5->n6_a_history_of_qed__1_5_1 n6_a_history_of_qed__1_5_2 NP n6_a_history_of_qed__1_5->n6_a_history_of_qed__1_5_2 n6_a_history_of_qed__1_5_1->n6_a_history_of_qed__1_5_1_1 n6_a_history_of_qed__1_5_2_1 D n6_a_history_of_qed__1_5_2->n6_a_history_of_qed__1_5_2_1 n6_a_history_of_qed__1_5_2_2 NPR n6_a_history_of_qed__1_5_2->n6_a_history_of_qed__1_5_2_2 n6_a_history_of_qed__1_5_2_3 N n6_a_history_of_qed__1_5_2->n6_a_history_of_qed__1_5_2_3 n6_a_history_of_qed__1_5_2_1->n6_a_history_of_qed__1_5_2_1_1 n6_a_history_of_qed__1_5_2_2->n6_a_history_of_qed__1_5_2_2_1 n6_a_history_of_qed__1_5_2_3->n6_a_history_of_qed__1_5_2_3_1 n6_a_history_of_qed__1_6_1 ADVP n6_a_history_of_qed__1_6->n6_a_history_of_qed__1_6_1 n6_a_history_of_qed__1_6_2 ADV n6_a_history_of_qed__1_6->n6_a_history_of_qed__1_6_2 n6_a_history_of_qed__1_6_1_1 ADVS n6_a_history_of_qed__1_6_1->n6_a_history_of_qed__1_6_1_1 n6_a_history_of_qed__1_6_1_1->n6_a_history_of_qed__1_6_1_1_1 n6_a_history_of_qed__1_6_2->n6_a_history_of_qed__1_6_2_1 n6_a_history_of_qed__1_7_1 P-ROLE n6_a_history_of_qed__1_7->n6_a_history_of_qed__1_7_1 n6_a_history_of_qed__1_7_2 IP-PPL2 n6_a_history_of_qed__1_7->n6_a_history_of_qed__1_7_2 n6_a_history_of_qed__1_7_1->n6_a_history_of_qed__1_7_1_1 n6_a_history_of_qed__1_7_2_1 VAG;_Tn_ n6_a_history_of_qed__1_7_2->n6_a_history_of_qed__1_7_2_1 n6_a_history_of_qed__1_7_2_2 NP-OB1 n6_a_history_of_qed__1_7_2->n6_a_history_of_qed__1_7_2_2 n6_a_history_of_qed__1_7_2_1->n6_a_history_of_qed__1_7_2_1_1 n6_a_history_of_qed__1_7_2_2_1 ADJP n6_a_history_of_qed__1_7_2_2->n6_a_history_of_qed__1_7_2_2_1 n6_a_history_of_qed__1_7_2_2_2 NS n6_a_history_of_qed__1_7_2_2->n6_a_history_of_qed__1_7_2_2_2 n6_a_history_of_qed__1_7_2_2_3 PP n6_a_history_of_qed__1_7_2_2->n6_a_history_of_qed__1_7_2_2_3 n6_a_history_of_qed__1_7_2_2_4 IP-INF-REL n6_a_history_of_qed__1_7_2_2->n6_a_history_of_qed__1_7_2_2_4 n6_a_history_of_qed__1_7_2_2_1_1 ADJ n6_a_history_of_qed__1_7_2_2_1->n6_a_history_of_qed__1_7_2_2_1_1 n6_a_history_of_qed__1_7_2_2_1_1->n6_a_history_of_qed__1_7_2_2_1_1_1 n6_a_history_of_qed__1_7_2_2_2->n6_a_history_of_qed__1_7_2_2_2_1 n6_a_history_of_qed__1_7_2_2_3_1 P-ROLE n6_a_history_of_qed__1_7_2_2_3->n6_a_history_of_qed__1_7_2_2_3_1 n6_a_history_of_qed__1_7_2_2_3_2 IP-PPL n6_a_history_of_qed__1_7_2_2_3->n6_a_history_of_qed__1_7_2_2_3_2 n6_a_history_of_qed__1_7_2_2_3_1->n6_a_history_of_qed__1_7_2_2_3_1_1 n6_a_history_of_qed__1_7_2_2_3_2_1 VAG;_Tn_ n6_a_history_of_qed__1_7_2_2_3_2->n6_a_history_of_qed__1_7_2_2_3_2_1 n6_a_history_of_qed__1_7_2_2_3_2_2 NP-OB1 n6_a_history_of_qed__1_7_2_2_3_2->n6_a_history_of_qed__1_7_2_2_3_2_2 n6_a_history_of_qed__1_7_2_2_3_2_1->n6_a_history_of_qed__1_7_2_2_3_2_1_1 n6_a_history_of_qed__1_7_2_2_3_2_2_1 NS n6_a_history_of_qed__1_7_2_2_3_2_2->n6_a_history_of_qed__1_7_2_2_3_2_2_1 n6_a_history_of_qed__1_7_2_2_3_2_2_1->n6_a_history_of_qed__1_7_2_2_3_2_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1 ILYR n6_a_history_of_qed__1_7_2_2_4->n6_a_history_of_qed__1_7_2_2_4_1 n6_a_history_of_qed__1_7_2_2_4_1_1 ILYR n6_a_history_of_qed__1_7_2_2_4_1->n6_a_history_of_qed__1_7_2_2_4_1_1 n6_a_history_of_qed__1_7_2_2_4_1_2 PUNC n6_a_history_of_qed__1_7_2_2_4_1->n6_a_history_of_qed__1_7_2_2_4_1_2 n6_a_history_of_qed__1_7_2_2_4_1_3 CONJP n6_a_history_of_qed__1_7_2_2_4_1->n6_a_history_of_qed__1_7_2_2_4_1_3 n6_a_history_of_qed__1_7_2_2_4_1_1_1 NP-SBJ n6_a_history_of_qed__1_7_2_2_4_1_1->n6_a_history_of_qed__1_7_2_2_4_1_1_1 n6_a_history_of_qed__1_7_2_2_4_1_1_2 TO n6_a_history_of_qed__1_7_2_2_4_1_1->n6_a_history_of_qed__1_7_2_2_4_1_1_2 n6_a_history_of_qed__1_7_2_2_4_1_1_3 VB;_Ipr_ n6_a_history_of_qed__1_7_2_2_4_1_1->n6_a_history_of_qed__1_7_2_2_4_1_1_3 n6_a_history_of_qed__1_7_2_2_4_1_1_4 PP-CLR n6_a_history_of_qed__1_7_2_2_4_1_1->n6_a_history_of_qed__1_7_2_2_4_1_1_4 n6_a_history_of_qed__1_7_2_2_4_1_1_1->n6_a_history_of_qed__1_7_2_2_4_1_1_1_1 n6_a_history_of_qed__1_7_2_2_4_1_1_2->n6_a_history_of_qed__1_7_2_2_4_1_1_2_1 n6_a_history_of_qed__1_7_2_2_4_1_1_3->n6_a_history_of_qed__1_7_2_2_4_1_1_3_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_1 P-ROLE n6_a_history_of_qed__1_7_2_2_4_1_1_4->n6_a_history_of_qed__1_7_2_2_4_1_1_4_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2 NP n6_a_history_of_qed__1_7_2_2_4_1_1_4->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2 n6_a_history_of_qed__1_7_2_2_4_1_1_4_1->n6_a_history_of_qed__1_7_2_2_4_1_1_4_1_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_1 D n6_a_history_of_qed__1_7_2_2_4_1_1_4_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_2 N n6_a_history_of_qed__1_7_2_2_4_1_1_4_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_2 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3 IP-PPL n6_a_history_of_qed__1_7_2_2_4_1_1_4_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_1->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_2_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_1 BAG;_cat_VePASS_ n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2 IP-PPL-CAT n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_1->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_1_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_1 NP-LGS n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_2 VVN;_Tn_ n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_2 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_1->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_2->n6_a_history_of_qed__1_7_2_2_4_1_1_4_2_3_2_2_1 n6_a_history_of_qed__1_7_2_2_4_1_2->n6_a_history_of_qed__1_7_2_2_4_1_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_1 CONJ n6_a_history_of_qed__1_7_2_2_4_1_3->n6_a_history_of_qed__1_7_2_2_4_1_3_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2 ILYR n6_a_history_of_qed__1_7_2_2_4_1_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2 n6_a_history_of_qed__1_7_2_2_4_1_3_1->n6_a_history_of_qed__1_7_2_2_4_1_3_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_1 NP-SBJ n6_a_history_of_qed__1_7_2_2_4_1_3_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_2 TO n6_a_history_of_qed__1_7_2_2_4_1_3_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_3 VB;_Tn_ n6_a_history_of_qed__1_7_2_2_4_1_3_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_3 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4 NP-OB1 n6_a_history_of_qed__1_7_2_2_4_1_3_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4 n6_a_history_of_qed__1_7_2_2_4_1_3_2_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_3_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_1 D n6_a_history_of_qed__1_7_2_2_4_1_3_2_4->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_2 N n6_a_history_of_qed__1_7_2_2_4_1_3_2_4->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3 IP-REL n6_a_history_of_qed__1_7_2_2_4_1_3_2_4->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1 PP-173 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2 NP-SBJ n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_3 MD;_cat_Vi_ n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_3 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4 IP-INF-CAT n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_1 P-ROLE n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2 NP n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2_1 RPRO n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_1_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_1 D n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_2 N n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_2_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_3_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_1 BE;_cat_VePASS_ n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2 IP-PPL-CAT n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_1 PP-CLR n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_2 NP-LGS n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_2 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_3 VVN;_Tn.pr_ n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_3 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_1->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_1_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_2->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_2_1 n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_3->n6_a_history_of_qed__1_7_2_2_4_1_3_2_4_3_4_2_3_1 n6_a_history_of_qed__1_8->n6_a_history_of_qed__1_8_1 
( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (VVN;_Tn_ Written;{write})
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (NPR IBM;{IBM})
                                        (NPR 7090)
                                        (N assembly;{assembly})
                                        (N language;{language})))))
          (PUNC ,)
          (NP-SBJ;{CTSS_QED} (PRO it;{it}))
          (VBD;_Ipr_ differed;{differ[from]})
          (PP-CLR (P-ROLE from;{from})
                  (NP;{BERKELEY_QED} (D the;{the})
                                     (NPR Berkeley;{Berkeley})
                                     (N version;{version})))
          (ADVP-NIM (ADVP (ADVS most;{most}))
                    (ADV notably;{notably}))
          (PP-NIM (P-ROLE in;{in})
                  (IP-PPL2 (VAG;_Tn_ introducing;{introduce})
                           (NP-OB1 (ADJP (ADJ regular;{regular}))
                                   (NS expressions;{expression})
                                   (PP (P-ROLE for;{for})
                                       (IP-PPL (VAG;_Tn_ specifying;{specify})
                                               (NP-OB1 (NS strings;{string}))))
                                   (IP-INF-REL (ILYR (ILYR (NP-SBJ *T*)
                                                           (TO to;{to})
                                                           (VB;_Ipr_ seek;{seek[within]})
                                                           (PP-CLR (P-ROLE within;{within})
                                                                   (NP (D the;{the})
                                                                       (N document;{document})
                                                                       (IP-PPL (BAG;_cat_VePASS_ being;{be})
                                                                               (IP-PPL-CAT (NP-LGS *)
                                                                                           (VVN;_Tn_ edited;{edit}))))))
                                                     (PUNC ,)
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (NP-SBJ *T*)
                                                                  (TO to;{to})
                                                                  (VB;_Tn_ specify;{specify})
                                                                  (NP-OB1 (D a;{a})
                                                                          (N substring;{substring})
                                                                          (IP-REL (PP-173 (P-ROLE for;{for})
                                                                                          (NP (RPRO which;{which})))
                                                                                  (NP-SBJ (D a;{a})
                                                                                          (N substitution;{substitution}))
                                                                                  (MD;_cat_Vi_ should;{shall})
                                                                                  (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                                              (IP-PPL-CAT (PP-CLR *ICH*-173)
                                                                                                          (NP-LGS *)
                                                                                                          (VVN;_Tn.pr_ made;{make}))))))))))))
          (PUNC .))
  (ID 6_a_history_of_qed))