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 0006_0001__Written Written 0006_0005__assembly_6__language assembly_language 0006_0001__Written->0006_0005__assembly_6__language in[nim] 0006_0008__it it 0006_0001__Written->0006_0008__it [arg1] 0006_5003___star_ * 0006_0001__Written->0006_5003___star_ [arg0] 0006_0003__IBM_4__7090 IBM_7090 0006_0005__assembly_6__language->0006_0003__IBM_4__7090 [modifier] 0006_0009__differed_10__from differed_from 0006_0009__differed_10__from->0006_0008__it [arg0] 0006_0011__the_12__Berkeley_13__version the_Berkeley_version 0006_0009__differed_10__from->0006_0011__the_12__Berkeley_13__version [arg1] 0006_0015__notably notably 0006_0009__differed_10__from->0006_0015__notably [nim] 0006_0017__introducing introducing 0006_0009__differed_10__from->0006_0017__introducing in[nim] 0006_0014__most most 0006_0015__notably->0006_0014__most [qual] 0006_0017__introducing->0006_0008__it [arg0] 0006_0019__expressions expressions 0006_0017__introducing->0006_0019__expressions [arg1] 0006_0018__regular regular 0006_0019__expressions->0006_0018__regular [attrib] 0006_0021__specifying specifying 0006_0019__expressions->0006_0021__specifying for 0006_0022__strings strings 0006_0021__specifying->0006_0022__strings [arg1] 0006_5011 0006_0021__specifying->0006_5011 [arg0] 0006_0024__seek_25__within seek_within 0006_0024__seek_25__within->0006_0019__expressions [inv][arg1] 0006_0026__the_27__document the_document 0006_0024__seek_25__within->0006_0026__the_27__document [arg2] 0006_0028__being being 0006_0029__edited edited 0006_0028__being->0006_0029__edited [scope] 0006_0029__edited->0006_0026__the_27__document [arg1] 0006_5016___star_ * 0006_0029__edited->0006_5016___star_ [arg0] 0006_0031__and and 0006_0031__and->0006_0024__seek_25__within [conj1] 0006_0033__specify specify 0006_0031__and->0006_0033__specify [conj2] 0006_0033__specify->0006_0019__expressions [inv][arg0] 0006_0034__a_35__substring a_substring 0006_0033__specify->0006_0034__a_35__substring [arg1] 0006_0036__for_42__made for_made 0006_0036__for_42__made->0006_0034__a_35__substring [arg2] 0006_0038__a_39__substitution a_substitution 0006_0036__for_42__made->0006_0038__a_39__substitution [arg1] 0006_5024___star_ * 0006_0036__for_42__made->0006_5024___star_ [arg0] 0006_0040__should should 0006_0041__be be 0006_0040__should->0006_0041__be [scope] 0006_0041__be->0006_0036__for_42__made [scope] 0006_1001____star__ _*_ 0006_1001____star__->0006_0001__Written [restriction] 0006_1001____star__->0006_0009__differed_10__from [scope] 
arc(r_0006_0001__Written,r_0006_0005__assembly_r_0006_0006__language,r_0006_0002__in__nim).
arc(r_0006_0001__Written,r_0006_0008__it,arg1).
arc(r_0006_0001__Written,z_0006_5003___star_,arg0).
arc(r_0006_0005__assembly_r_0006_0006__language,r_0006_0003__IBM_r_0006_0004__7090,modifier).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0008__it,arg0).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version,arg1).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0015__notably,nim).
arc(r_0006_0009__differed_r_0006_0010__from,r_0006_0017__introducing,r_0006_0016__in__nim).
arc(r_0006_0015__notably,r_0006_0014__most,qual).
arc(r_0006_0017__introducing,r_0006_0008__it,arg0).
arc(r_0006_0017__introducing,r_0006_0019__expressions,arg1).
arc(r_0006_0019__expressions,r_0006_0018__regular,attrib).
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_0006_5011,arg0).
arc(r_0006_0024__seek_r_0006_0025__within,r_0006_0019__expressions,inv_arg1).
arc(r_0006_0024__seek_r_0006_0025__within,r_0006_0026__the_r_0006_0027__document,arg2).
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_0006_5016___star_,arg0).
arc(r_0006_0031__and,r_0006_0024__seek_r_0006_0025__within,conj1).
arc(r_0006_0031__and,r_0006_0033__specify,conj2).
arc(r_0006_0033__specify,r_0006_0019__expressions,inv_arg0).
arc(r_0006_0033__specify,r_0006_0034__a_r_0006_0035__substring,arg1).
arc(r_0006_0036__for_r_0006_0042__made,r_0006_0034__a_r_0006_0035__substring,arg2).
arc(r_0006_0036__for_r_0006_0042__made,r_0006_0038__a_r_0006_0039__substitution,arg1).
arc(r_0006_0036__for_r_0006_0042__made,z_0006_5024___star_,arg0).
arc(r_0006_0040__should,r_0006_0041__be,scope).
arc(r_0006_0041__be,r_0006_0036__for_r_0006_0042__made,scope).
arc(r_0006_1001____star__,r_0006_0001__Written,restriction).
arc(r_0006_1001____star__,r_0006_0009__differed_r_0006_0010__from,scope).

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_1 IBM n6_a_history_of_qed__1_1_1_3_2_1_2_1 7090 n6_a_history_of_qed__1_1_1_3_2_2_1 assembly n6_a_history_of_qed__1_1_1_3_2_3_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 NLYR 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 N 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_1_1 NPR 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_1_2 NPR n6_a_history_of_qed__1_1_1_3_2_1->n6_a_history_of_qed__1_1_1_3_2_1_2 n6_a_history_of_qed__1_1_1_3_2_1_1->n6_a_history_of_qed__1_1_1_3_2_1_1_1 n6_a_history_of_qed__1_1_1_3_2_1_2->n6_a_history_of_qed__1_1_1_3_2_1_2_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_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-OB1 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;~Tn.pr 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_Ve_passive_ 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_Ve_passive_ 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 (NLYR (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-OB1 *T*)
                                                           (TO to;{to})
                                                           (VB;~Tn.pr seek;{seek[within]})
                                                           (PP-CLR (P-ROLE within;{within})
                                                                   (NP (D the;{the})
                                                                       (N document;{document})
                                                                       (IP-PPL (BAG;~cat_Ve_passive_ 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_Ve_passive_ be;{be})
                                                                                              (IP-PPL-CAT (PP-CLR *ICH*-173)
                                                                                                          (NP-LGS *)
                                                                                                          (VVN;~Tn.pr made;{make}))))))))))))
          (PUNC .))
  (ID 6_a_history_of_qed))