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.

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


%3 z_0006_5001 r_0006_0009__differed_r_0006_0010__from differed from z_0006_5001->r_0006_0009__differed_r_0006_0010__from [scope] r_0006_0001__Written Written z_0006_5001->r_0006_0001__Written [restriction] r_0006_0017__introducing introducing r_0006_0009__differed_r_0006_0010__from->r_0006_0017__introducing in [nim] r_0006_0008__it it r_0006_0009__differed_r_0006_0010__from->r_0006_0008__it [arg0] r_0006_0015__notably notably r_0006_0009__differed_r_0006_0010__from->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_0010__from->r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version [arg1] r_0006_0001__Written->r_0006_0008__it [arg1] r_0006_0005__assembly_r_0006_0006__language assembly language r_0006_0001__Written->r_0006_0005__assembly_r_0006_0006__language in [nim] z_0006_5004___star_ * r_0006_0001__Written->z_0006_5004___star_ [arg0] r_0006_0041__be be r_0006_0036__for_r_0006_0042__made for made r_0006_0041__be->r_0006_0036__for_r_0006_0042__made [scope] z_0006_5025___star_ * r_0006_0036__for_r_0006_0042__made->z_0006_5025___star_ [arg0] r_0006_0038__a_r_0006_0039__substitution a substitution r_0006_0036__for_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_0036__for_r_0006_0042__made->r_0006_0034__a_r_0006_0035__substring [arg2] r_0006_0040__should should r_0006_0040__should->r_0006_0041__be [scope] r_0006_0033__specify specify r_0006_0033__specify->r_0006_0034__a_r_0006_0035__substring [arg1] r_0006_0019__expressions expressions r_0006_0033__specify->r_0006_0019__expressions [inv_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_0033__specify [conj2] r_0006_0024__seek_r_0006_0025__within seek within r_0006_0031__and->r_0006_0024__seek_r_0006_0025__within [conj1] r_0006_0024__seek_r_0006_0025__within->r_0006_0019__expressions [inv_arg1] r_0006_0026__the_r_0006_0027__document the document r_0006_0024__seek_r_0006_0025__within->r_0006_0026__the_r_0006_0027__document [arg2] r_0006_0029__edited edited z_0006_5017___star_ * r_0006_0029__edited->z_0006_5017___star_ [arg0] r_0006_0029__edited->r_0006_0026__the_r_0006_0027__document [arg1] r_0006_0028__being being r_0006_0028__being->r_0006_0029__edited [scope] z_0006_5012 r_0006_0021__specifying->z_0006_5012 [arg0] r_0006_0022__strings strings r_0006_0021__specifying->r_0006_0022__strings [arg1] r_0006_0017__introducing->r_0006_0019__expressions [arg1] r_0006_0017__introducing->r_0006_0008__it [arg0] r_0006_0014__most most r_0006_0015__notably->r_0006_0014__most [qual] r_0006_0003__IBM_r_0006_0004__7090 IBM 7090 r_0006_0005__assembly_r_0006_0006__language->r_0006_0003__IBM_r_0006_0004__7090 [nim] 
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_5004___star_,arg0).
arc(r_0006_0005__assembly_r_0006_0006__language,r_0006_0003__IBM_r_0006_0004__7090,nim).
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_5012,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_5017___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_5025___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(z_0006_5001,r_0006_0001__Written,restriction).
arc(z_0006_5001,r_0006_0009__differed_r_0006_0010__from,scope).


%3 r_0006_0001__Written Written r_0006_0005__assembly_r_0006_0006__language assembly language r_0006_0001__Written->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_0006_5004___star_ * r_0006_0001__Written->z_0006_5004___star_ [arg0] r_0006_0003__IBM_r_0006_0004__7090 IBM 7090 r_0006_0005__assembly_r_0006_0006__language->r_0006_0003__IBM_r_0006_0004__7090 [nim] r_0006_0009__differed_r_0006_0010__from differed from r_0006_0009__differed_r_0006_0010__from->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_0010__from->r_0006_0011__the_r_0006_0012__Berkeley_r_0006_0013__version [arg1] r_0006_0015__notably notably r_0006_0009__differed_r_0006_0010__from->r_0006_0015__notably [nim] r_0006_0017__introducing introducing r_0006_0009__differed_r_0006_0010__from->r_0006_0017__introducing in [nim] r_0006_0014__most most r_0006_0015__notably->r_0006_0014__most [qual] r_0006_0017__introducing->r_0006_0008__it [arg0] r_0006_0019__expressions expressions r_0006_0017__introducing->r_0006_0019__expressions [arg1] 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_0024__seek_r_0006_0025__within seek within r_0006_0019__expressions->r_0006_0024__seek_r_0006_0025__within [inv_arg1] r_0006_0033__specify specify r_0006_0019__expressions->r_0006_0033__specify [inv_arg0] r_0006_0022__strings strings r_0006_0021__specifying->r_0006_0022__strings [arg1] z_0006_5012 r_0006_0021__specifying->z_0006_5012 [arg0] r_0006_0026__the_r_0006_0027__document the document r_0006_0024__seek_r_0006_0025__within->r_0006_0026__the_r_0006_0027__document [arg2] 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_0006_5017___star_ * r_0006_0028__being_r_0006_0029__edited->z_0006_5017___star_ [arg0] r_0006_0031__and and r_0006_0031__and->r_0006_0024__seek_r_0006_0025__within [conj1] r_0006_0031__and->r_0006_0033__specify [conj2] r_0006_0034__a_r_0006_0035__substring a substring r_0006_0033__specify->r_0006_0034__a_r_0006_0035__substring [arg1] r_0006_0040__should_r_0006_0041__be_r_0006_0036__for_r_0006_0042__made should be for made r_0006_0040__should_r_0006_0041__be_r_0006_0036__for_r_0006_0042__made->r_0006_0034__a_r_0006_0035__substring [arg2] r_0006_0038__a_r_0006_0039__substitution a substitution r_0006_0040__should_r_0006_0041__be_r_0006_0036__for_r_0006_0042__made->r_0006_0038__a_r_0006_0039__substitution [arg1] z_0006_5025___star_ * r_0006_0040__should_r_0006_0041__be_r_0006_0036__for_r_0006_0042__made->z_0006_5025___star_ [arg0] z_0006_5001 z_0006_5001->r_0006_0001__Written [conj1] z_0006_5001->r_0006_0009__differed_r_0006_0010__from [conj2] 
fof(formula,axiom,
    ? [R_0006_0026__THE_R_0006_0027__DOCUMENT,Z_0006_5017___STAR_,R_0006_0028__BEING_R_0006_0029__EDITED,R_0006_0024__SEEK_R_0006_0025__WITHIN,R_0006_0034__A_R_0006_0035__SUBSTRING,R_0006_0033__SPECIFY,R_0006_0031__AND,R_0006_0038__A_R_0006_0039__SUBSTITUTION,Z_0006_5025___STAR_,R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0036__FOR_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_0006_5004___STAR_,R_0006_0001__WRITTEN,R_0006_0011__THE_R_0006_0012__BERKELEY_R_0006_0013__VERSION,R_0006_0014__MOST,R_0006_0015__NOTABLY,R_0006_0018__REGULAR,R_0006_0022__STRINGS,Z_0006_5012,R_0006_0021__SPECIFYING,R_0006_0019__EXPRESSIONS,R_0006_0017__INTRODUCING,R_0006_0009__DIFFERED_R_0006_0010__FROM,Z_0006_5001] :
      ( r_0006_0003__IBM_r_0006_0004__7090(R_0006_0003__IBM_R_0006_0004__7090)
      & 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_0006_5004___star_(Z_0006_5004___STAR_)
      & z_0006_5012(Z_0006_5012)
      & z_0006_5017___star_(Z_0006_5017___STAR_)
      & z_0006_5025___star_(Z_0006_5025___STAR_)
      & z_0006_5001(Z_0006_5001)
      & has_conj2(Z_0006_5001,R_0006_0009__DIFFERED_R_0006_0010__FROM)
      & r_0006_0009__differed_r_0006_0010__from(R_0006_0009__DIFFERED_R_0006_0010__FROM)
      & has_r_0006_0016__in__nim(R_0006_0009__DIFFERED_R_0006_0010__FROM,R_0006_0017__INTRODUCING)
      & r_0006_0017__introducing(R_0006_0017__INTRODUCING)
      & has_arg1(R_0006_0017__INTRODUCING,R_0006_0019__EXPRESSIONS)
      & r_0006_0019__expressions(R_0006_0019__EXPRESSIONS)
      & has_inv_arg0(R_0006_0019__EXPRESSIONS,R_0006_0033__SPECIFY)
      & r_0006_0033__specify(R_0006_0033__SPECIFY)
      & has_arg1(R_0006_0033__SPECIFY,R_0006_0034__A_R_0006_0035__SUBSTRING)
      & has_inv_arg1(R_0006_0019__EXPRESSIONS,R_0006_0024__SEEK_R_0006_0025__WITHIN)
      & r_0006_0024__seek_r_0006_0025__within(R_0006_0024__SEEK_R_0006_0025__WITHIN)
      & has_arg2(R_0006_0024__SEEK_R_0006_0025__WITHIN,R_0006_0026__THE_R_0006_0027__DOCUMENT)
      & 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_0006_5012)
      & has_arg1(R_0006_0021__SPECIFYING,R_0006_0022__STRINGS)
      & has_attrib(R_0006_0019__EXPRESSIONS,R_0006_0018__REGULAR)
      & has_arg0(R_0006_0017__INTRODUCING,R_0006_0008__IT)
      & has_nim(R_0006_0009__DIFFERED_R_0006_0010__FROM,R_0006_0015__NOTABLY)
      & ~ has_qual(R_0006_0015__NOTABLY,R_0006_0014__MOST)
      & has_arg1(R_0006_0009__DIFFERED_R_0006_0010__FROM,R_0006_0011__THE_R_0006_0012__BERKELEY_R_0006_0013__VERSION)
      & has_arg0(R_0006_0009__DIFFERED_R_0006_0010__FROM,R_0006_0008__IT)
      & has_conj1(Z_0006_5001,R_0006_0001__WRITTEN)
      & r_0006_0001__Written(R_0006_0001__WRITTEN)
      & has_arg0(R_0006_0001__WRITTEN,Z_0006_5004___STAR_)
      & has_arg1(R_0006_0001__WRITTEN,R_0006_0008__IT)
      & has_r_0006_0002__in__nim(R_0006_0001__WRITTEN,R_0006_0005__ASSEMBLY_R_0006_0006__LANGUAGE)
      & r_0006_0005__assembly_r_0006_0006__language(R_0006_0005__ASSEMBLY_R_0006_0006__LANGUAGE)
      & has_nim(R_0006_0005__ASSEMBLY_R_0006_0006__LANGUAGE,R_0006_0003__IBM_R_0006_0004__7090)
      & r_0006_0040__should_r_0006_0041__be_r_0006_0036__for_r_0006_0042__made(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0036__FOR_R_0006_0042__MADE)
      & has_arg0(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0036__FOR_R_0006_0042__MADE,Z_0006_5025___STAR_)
      & has_arg1(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0036__FOR_R_0006_0042__MADE,R_0006_0038__A_R_0006_0039__SUBSTITUTION)
      & has_arg2(R_0006_0040__SHOULD_R_0006_0041__BE_R_0006_0036__FOR_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_0033__SPECIFY)
      & has_conj1(R_0006_0031__AND,R_0006_0024__SEEK_R_0006_0025__WITHIN)
      & 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_0006_5017___STAR_)
      & has_arg1(R_0006_0028__BEING_R_0006_0029__EDITED,R_0006_0026__THE_R_0006_0027__DOCUMENT) ) ).