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 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_r_0006_0029__edited being edited r_0006_0028__being_r_0006_0029__edited->r_0006_0026__the_r_0006_0027__document [arg1] 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_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_r_0006_0041__be_r_0006_0042__made should be made r_0006_0040__should_r_0006_0041__be_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_0040__should_r_0006_0041__be_r_0006_0042__made->r_0006_0038__a_r_0006_0039__substitution [arg1] 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] z_000_6_a_history_of_qed_2 z_000_6_a_history_of_qed_2->r_0006_0001__Written [conj1] z_000_6_a_history_of_qed_2->r_0006_0009__differed [conj2] 
fof(formula,axiom,
    ? [R_6_28_BEING_EDITED,Z_6_A_HISTORY_OF_QED_85,R_6_31_AND,R_6_23_TO_SEEK,R_6_26_THE_DOCUMENT,R_6_32_TO_SPECIFY,R_6_40_SHOULD_BE_MADE,Z_6_A_HISTORY_OF_QED_126,R_6_38_A_SUBSTITUTION,R_6_34_A_SUBSTRING,Z_6_A_HISTORY_OF_QED_2,R_6_1_WRITTEN,Z_6_A_HISTORY_OF_QED_4,R_6_3_IBM_7090_ASSEMBLY_LANGUAGE,R_6_9_DIFFERED,R_6_8_IT,R_6_15_NOTABLY,R_6_14_MOST,R_6_11_THE_BERKELEY_VERSION,R_6_17_INTRODUCING,Z_6_A_HISTORY_OF_QED_46,R_6_19_EXPRESSIONS,R_6_18_REGULAR,R_6_21_SPECIFYING,Z_6_A_HISTORY_OF_QED_58,R_6_22_STRINGS] :
      ( the_document(R_6_26_THE_DOCUMENT)
      & a_substitution(R_6_38_A_SUBSTITUTION)
      & a_substring(R_6_34_A_SUBSTRING)
      & iBM_7090_assembly_language(R_6_3_IBM_7090_ASSEMBLY_LANGUAGE)
      & it(R_6_8_IT)
      & most(R_6_14_MOST)
      & the_Berkeley_version(R_6_11_THE_BERKELEY_VERSION)
      & regular(R_6_18_REGULAR)
      & strings(R_6_22_STRINGS)
      & being_edited(R_6_28_BEING_EDITED,Z_6_A_HISTORY_OF_QED_85,R_6_26_THE_DOCUMENT)
      & and(R_6_31_AND)
      & conj1(R_6_31_AND,R_6_23_TO_SEEK)
      & to_seek(R_6_23_TO_SEEK,R_6_19_EXPRESSIONS)
      & expressions(R_6_19_EXPRESSIONS)
      & attrib50(R_6_19_EXPRESSIONS,R_6_18_REGULAR)
      & for(R_6_19_EXPRESSIONS,R_6_21_SPECIFYING)
      & specifying(R_6_21_SPECIFYING,Z_6_A_HISTORY_OF_QED_58,R_6_22_STRINGS)
      & within_clr76(R_6_23_TO_SEEK,R_6_26_THE_DOCUMENT)
      & conj2(R_6_31_AND,R_6_32_TO_SPECIFY)
      & to_specify(R_6_32_TO_SPECIFY,R_6_19_EXPRESSIONS,R_6_34_A_SUBSTRING)
      & should_be_made(R_6_40_SHOULD_BE_MADE,Z_6_A_HISTORY_OF_QED_126,R_6_38_A_SUBSTITUTION)
      & for_clr110(R_6_40_SHOULD_BE_MADE,R_6_34_A_SUBSTRING)
      & z_6_a_history_of_qed_2(Z_6_A_HISTORY_OF_QED_2)
      & conj1(Z_6_A_HISTORY_OF_QED_2,R_6_1_WRITTEN)
      & written(R_6_1_WRITTEN,Z_6_A_HISTORY_OF_QED_4,R_6_8_IT)
      & in_nim11(R_6_1_WRITTEN,R_6_3_IBM_7090_ASSEMBLY_LANGUAGE)
      & conj2(Z_6_A_HISTORY_OF_QED_2,R_6_9_DIFFERED)
      & differed(R_6_9_DIFFERED,R_6_8_IT)
      & nim37(R_6_9_DIFFERED,R_6_15_NOTABLY)
      & notably(R_6_15_NOTABLY)
      & qual38(R_6_15_NOTABLY,R_6_14_MOST)
      & from_clr30(R_6_9_DIFFERED,R_6_11_THE_BERKELEY_VERSION)
      & in_nim46(R_6_9_DIFFERED,R_6_17_INTRODUCING)
      & introducing(R_6_17_INTRODUCING,Z_6_A_HISTORY_OF_QED_46,R_6_19_EXPRESSIONS) ) ).


n6_a_history_of_qed n6_a_history_of_qed_7 Written n6_a_history_of_qed_10 in n6_a_history_of_qed_13 IBM n6_a_history_of_qed_15 7090 n6_a_history_of_qed_17 assembly n6_a_history_of_qed_19 language n6_a_history_of_qed_21 , n6_a_history_of_qed_24 it n6_a_history_of_qed_26 differed n6_a_history_of_qed_29 from n6_a_history_of_qed_32 the n6_a_history_of_qed_34 Berkeley n6_a_history_of_qed_36 version n6_a_history_of_qed_40 most n6_a_history_of_qed_42 notably n6_a_history_of_qed_45 in n6_a_history_of_qed_48 introducing n6_a_history_of_qed_52 regular n6_a_history_of_qed_54 expressions n6_a_history_of_qed_57 for n6_a_history_of_qed_60 specifying n6_a_history_of_qed_63 strings n6_a_history_of_qed_68 *T* n6_a_history_of_qed_70 to n6_a_history_of_qed_72 seek n6_a_history_of_qed_75 within n6_a_history_of_qed_78 the n6_a_history_of_qed_80 document n6_a_history_of_qed_83 being n6_a_history_of_qed_86 * n6_a_history_of_qed_88 edited n6_a_history_of_qed_90 , n6_a_history_of_qed_93 and n6_a_history_of_qed_96 *T* n6_a_history_of_qed_98 to n6_a_history_of_qed_100 specify n6_a_history_of_qed_103 a n6_a_history_of_qed_105 substring n6_a_history_of_qed_109 for n6_a_history_of_qed_112 which n6_a_history_of_qed_115 a n6_a_history_of_qed_117 substitution n6_a_history_of_qed_119 should n6_a_history_of_qed_122 be n6_a_history_of_qed_127 * n6_a_history_of_qed_129 made n6_a_history_of_qed_131 . n6_a_history_of_qed_1 IP-MAT n6_a_history_of_qed_2 PP-SCON n6_a_history_of_qed_1->n6_a_history_of_qed_2 n6_a_history_of_qed_20 PUNC n6_a_history_of_qed_1->n6_a_history_of_qed_20 n6_a_history_of_qed_22 NP-SBJ n6_a_history_of_qed_1->n6_a_history_of_qed_22 n6_a_history_of_qed_25 VBD;_Ipr_ n6_a_history_of_qed_1->n6_a_history_of_qed_25 n6_a_history_of_qed_27 PP-CLR n6_a_history_of_qed_1->n6_a_history_of_qed_27 n6_a_history_of_qed_37 ADVP-NIM n6_a_history_of_qed_1->n6_a_history_of_qed_37 n6_a_history_of_qed_43 PP-NIM n6_a_history_of_qed_1->n6_a_history_of_qed_43 n6_a_history_of_qed_130 PUNC n6_a_history_of_qed_1->n6_a_history_of_qed_130 n6_a_history_of_qed_3 IP-PPL2 n6_a_history_of_qed_2->n6_a_history_of_qed_3 n6_a_history_of_qed_4 NP-LGS n6_a_history_of_qed_3->n6_a_history_of_qed_4 n6_a_history_of_qed_6 VVN;_Tn_ n6_a_history_of_qed_3->n6_a_history_of_qed_6 n6_a_history_of_qed_8 PP-NIM n6_a_history_of_qed_3->n6_a_history_of_qed_8 n6_a_history_of_qed_5 * n6_a_history_of_qed_4->n6_a_history_of_qed_5 n6_a_history_of_qed_6->n6_a_history_of_qed_7 n6_a_history_of_qed_9 P-ROLE n6_a_history_of_qed_8->n6_a_history_of_qed_9 n6_a_history_of_qed_11 NP n6_a_history_of_qed_8->n6_a_history_of_qed_11 n6_a_history_of_qed_9->n6_a_history_of_qed_10 n6_a_history_of_qed_12 NPR n6_a_history_of_qed_11->n6_a_history_of_qed_12 n6_a_history_of_qed_14 NPR n6_a_history_of_qed_11->n6_a_history_of_qed_14 n6_a_history_of_qed_16 N n6_a_history_of_qed_11->n6_a_history_of_qed_16 n6_a_history_of_qed_18 N n6_a_history_of_qed_11->n6_a_history_of_qed_18 n6_a_history_of_qed_12->n6_a_history_of_qed_13 n6_a_history_of_qed_14->n6_a_history_of_qed_15 n6_a_history_of_qed_16->n6_a_history_of_qed_17 n6_a_history_of_qed_18->n6_a_history_of_qed_19 n6_a_history_of_qed_20->n6_a_history_of_qed_21 n6_a_history_of_qed_23 PRO n6_a_history_of_qed_22->n6_a_history_of_qed_23 n6_a_history_of_qed_23->n6_a_history_of_qed_24 n6_a_history_of_qed_25->n6_a_history_of_qed_26 n6_a_history_of_qed_28 P-ROLE n6_a_history_of_qed_27->n6_a_history_of_qed_28 n6_a_history_of_qed_30 NP n6_a_history_of_qed_27->n6_a_history_of_qed_30 n6_a_history_of_qed_28->n6_a_history_of_qed_29 n6_a_history_of_qed_31 D n6_a_history_of_qed_30->n6_a_history_of_qed_31 n6_a_history_of_qed_33 NPR n6_a_history_of_qed_30->n6_a_history_of_qed_33 n6_a_history_of_qed_35 N n6_a_history_of_qed_30->n6_a_history_of_qed_35 n6_a_history_of_qed_31->n6_a_history_of_qed_32 n6_a_history_of_qed_33->n6_a_history_of_qed_34 n6_a_history_of_qed_35->n6_a_history_of_qed_36 n6_a_history_of_qed_38 ADVP n6_a_history_of_qed_37->n6_a_history_of_qed_38 n6_a_history_of_qed_41 ADV n6_a_history_of_qed_37->n6_a_history_of_qed_41 n6_a_history_of_qed_39 ADVS n6_a_history_of_qed_38->n6_a_history_of_qed_39 n6_a_history_of_qed_39->n6_a_history_of_qed_40 n6_a_history_of_qed_41->n6_a_history_of_qed_42 n6_a_history_of_qed_44 P-ROLE n6_a_history_of_qed_43->n6_a_history_of_qed_44 n6_a_history_of_qed_46 IP-PPL2 n6_a_history_of_qed_43->n6_a_history_of_qed_46 n6_a_history_of_qed_44->n6_a_history_of_qed_45 n6_a_history_of_qed_47 VAG;_Tn_ n6_a_history_of_qed_46->n6_a_history_of_qed_47 n6_a_history_of_qed_49 NP-OB1 n6_a_history_of_qed_46->n6_a_history_of_qed_49 n6_a_history_of_qed_47->n6_a_history_of_qed_48 n6_a_history_of_qed_50 ADJP n6_a_history_of_qed_49->n6_a_history_of_qed_50 n6_a_history_of_qed_53 NS n6_a_history_of_qed_49->n6_a_history_of_qed_53 n6_a_history_of_qed_55 PP n6_a_history_of_qed_49->n6_a_history_of_qed_55 n6_a_history_of_qed_64 IP-INF-REL n6_a_history_of_qed_49->n6_a_history_of_qed_64 n6_a_history_of_qed_51 ADJ n6_a_history_of_qed_50->n6_a_history_of_qed_51 n6_a_history_of_qed_51->n6_a_history_of_qed_52 n6_a_history_of_qed_53->n6_a_history_of_qed_54 n6_a_history_of_qed_56 P-ROLE n6_a_history_of_qed_55->n6_a_history_of_qed_56 n6_a_history_of_qed_58 IP-PPL n6_a_history_of_qed_55->n6_a_history_of_qed_58 n6_a_history_of_qed_56->n6_a_history_of_qed_57 n6_a_history_of_qed_59 VAG;_Tn_ n6_a_history_of_qed_58->n6_a_history_of_qed_59 n6_a_history_of_qed_61 NP-OB1 n6_a_history_of_qed_58->n6_a_history_of_qed_61 n6_a_history_of_qed_59->n6_a_history_of_qed_60 n6_a_history_of_qed_62 NS n6_a_history_of_qed_61->n6_a_history_of_qed_62 n6_a_history_of_qed_62->n6_a_history_of_qed_63 n6_a_history_of_qed_65 ILYR n6_a_history_of_qed_64->n6_a_history_of_qed_65 n6_a_history_of_qed_66 ILYR n6_a_history_of_qed_65->n6_a_history_of_qed_66 n6_a_history_of_qed_89 PUNC n6_a_history_of_qed_65->n6_a_history_of_qed_89 n6_a_history_of_qed_91 CONJP n6_a_history_of_qed_65->n6_a_history_of_qed_91 n6_a_history_of_qed_67 NP-SBJ n6_a_history_of_qed_66->n6_a_history_of_qed_67 n6_a_history_of_qed_69 TO n6_a_history_of_qed_66->n6_a_history_of_qed_69 n6_a_history_of_qed_71 VB;_Ipr_ n6_a_history_of_qed_66->n6_a_history_of_qed_71 n6_a_history_of_qed_73 PP-CLR n6_a_history_of_qed_66->n6_a_history_of_qed_73 n6_a_history_of_qed_67->n6_a_history_of_qed_68 n6_a_history_of_qed_69->n6_a_history_of_qed_70 n6_a_history_of_qed_71->n6_a_history_of_qed_72 n6_a_history_of_qed_74 P-ROLE n6_a_history_of_qed_73->n6_a_history_of_qed_74 n6_a_history_of_qed_76 NP n6_a_history_of_qed_73->n6_a_history_of_qed_76 n6_a_history_of_qed_74->n6_a_history_of_qed_75 n6_a_history_of_qed_77 D n6_a_history_of_qed_76->n6_a_history_of_qed_77 n6_a_history_of_qed_79 N n6_a_history_of_qed_76->n6_a_history_of_qed_79 n6_a_history_of_qed_81 IP-PPL n6_a_history_of_qed_76->n6_a_history_of_qed_81 n6_a_history_of_qed_77->n6_a_history_of_qed_78 n6_a_history_of_qed_79->n6_a_history_of_qed_80 n6_a_history_of_qed_82 BAG;_cat_VePASS_ n6_a_history_of_qed_81->n6_a_history_of_qed_82 n6_a_history_of_qed_84 IP-PPL-CAT n6_a_history_of_qed_81->n6_a_history_of_qed_84 n6_a_history_of_qed_82->n6_a_history_of_qed_83 n6_a_history_of_qed_85 NP-LGS n6_a_history_of_qed_84->n6_a_history_of_qed_85 n6_a_history_of_qed_87 VVN;_Tn_ n6_a_history_of_qed_84->n6_a_history_of_qed_87 n6_a_history_of_qed_85->n6_a_history_of_qed_86 n6_a_history_of_qed_87->n6_a_history_of_qed_88 n6_a_history_of_qed_89->n6_a_history_of_qed_90 n6_a_history_of_qed_92 CONJ n6_a_history_of_qed_91->n6_a_history_of_qed_92 n6_a_history_of_qed_94 ILYR n6_a_history_of_qed_91->n6_a_history_of_qed_94 n6_a_history_of_qed_92->n6_a_history_of_qed_93 n6_a_history_of_qed_95 NP-SBJ n6_a_history_of_qed_94->n6_a_history_of_qed_95 n6_a_history_of_qed_97 TO n6_a_history_of_qed_94->n6_a_history_of_qed_97 n6_a_history_of_qed_99 VB;_Tn_ n6_a_history_of_qed_94->n6_a_history_of_qed_99 n6_a_history_of_qed_101 NP-OB1 n6_a_history_of_qed_94->n6_a_history_of_qed_101 n6_a_history_of_qed_95->n6_a_history_of_qed_96 n6_a_history_of_qed_97->n6_a_history_of_qed_98 n6_a_history_of_qed_99->n6_a_history_of_qed_100 n6_a_history_of_qed_102 D n6_a_history_of_qed_101->n6_a_history_of_qed_102 n6_a_history_of_qed_104 N n6_a_history_of_qed_101->n6_a_history_of_qed_104 n6_a_history_of_qed_106 IP-REL n6_a_history_of_qed_101->n6_a_history_of_qed_106 n6_a_history_of_qed_102->n6_a_history_of_qed_103 n6_a_history_of_qed_104->n6_a_history_of_qed_105 n6_a_history_of_qed_107 PP-173 n6_a_history_of_qed_106->n6_a_history_of_qed_107 n6_a_history_of_qed_113 NP-SBJ n6_a_history_of_qed_106->n6_a_history_of_qed_113 n6_a_history_of_qed_118 MD;_cat_Vi_ n6_a_history_of_qed_106->n6_a_history_of_qed_118 n6_a_history_of_qed_120 IP-INF-CAT n6_a_history_of_qed_106->n6_a_history_of_qed_120 n6_a_history_of_qed_108 P-ROLE n6_a_history_of_qed_107->n6_a_history_of_qed_108 n6_a_history_of_qed_110 NP n6_a_history_of_qed_107->n6_a_history_of_qed_110 n6_a_history_of_qed_108->n6_a_history_of_qed_109 n6_a_history_of_qed_111 RPRO n6_a_history_of_qed_110->n6_a_history_of_qed_111 n6_a_history_of_qed_111->n6_a_history_of_qed_112 n6_a_history_of_qed_114 D n6_a_history_of_qed_113->n6_a_history_of_qed_114 n6_a_history_of_qed_116 N n6_a_history_of_qed_113->n6_a_history_of_qed_116 n6_a_history_of_qed_114->n6_a_history_of_qed_115 n6_a_history_of_qed_116->n6_a_history_of_qed_117 n6_a_history_of_qed_118->n6_a_history_of_qed_119 n6_a_history_of_qed_121 BE;_cat_VePASS_ n6_a_history_of_qed_120->n6_a_history_of_qed_121 n6_a_history_of_qed_123 IP-PPL-CAT n6_a_history_of_qed_120->n6_a_history_of_qed_123 n6_a_history_of_qed_121->n6_a_history_of_qed_122 n6_a_history_of_qed_124 PP-CLR n6_a_history_of_qed_123->n6_a_history_of_qed_124 n6_a_history_of_qed_126 NP-LGS n6_a_history_of_qed_123->n6_a_history_of_qed_126 n6_a_history_of_qed_128 VVN;_Tn.pr_ n6_a_history_of_qed_123->n6_a_history_of_qed_128 n6_a_history_of_qed_125 *ICH*-173 n6_a_history_of_qed_124->n6_a_history_of_qed_125 n6_a_history_of_qed_126->n6_a_history_of_qed_127 n6_a_history_of_qed_128->n6_a_history_of_qed_129 n6_a_history_of_qed_130->n6_a_history_of_qed_131 
( (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))