Context                Previous, Next                Top


44_a_history_of_qed
The advance here was essentially to adapt the command - set of ed to a screen - editor format; instead of doing things on (possibly virtual) paper on a typewriter, vi keeps a current view of a piece of a document on the screen, while commands are typed on the bottom line.

n44_a_history_of_qed n44_a_history_of_qed__1_1_1_1_1_1 The n44_a_history_of_qed__1_1_1_1_2_1 advance n44_a_history_of_qed__1_1_1_1_3_1_1 here n44_a_history_of_qed__1_1_1_2_1 was n44_a_history_of_qed__1_1_1_3_1_1_1 essentially n44_a_history_of_qed__1_1_1_3_2_1 to n44_a_history_of_qed__1_1_1_3_3_1 adapt n44_a_history_of_qed__1_1_1_3_4_1_1 the n44_a_history_of_qed__1_1_1_3_4_2_1 command n44_a_history_of_qed__1_1_1_3_4_3_1 - n44_a_history_of_qed__1_1_1_3_4_4_1 set n44_a_history_of_qed__1_1_1_3_4_5_1_1 of n44_a_history_of_qed__1_1_1_3_4_5_2_1_1 ed n44_a_history_of_qed__1_1_1_3_5_1_1 to n44_a_history_of_qed__1_1_1_3_5_2_1_1 a n44_a_history_of_qed__1_1_1_3_5_2_2_1_1 screen n44_a_history_of_qed__1_1_1_3_5_2_2_2_1 - n44_a_history_of_qed__1_1_1_3_5_2_2_3_1 editor n44_a_history_of_qed__1_1_1_3_5_2_3_1 format n44_a_history_of_qed__1_1_2_1 ; n44_a_history_of_qed__1_1_3_1_1_1_1 instead_of n44_a_history_of_qed__1_1_3_1_1_2_1_1 doing n44_a_history_of_qed__1_1_3_1_1_2_2_1_1 things n44_a_history_of_qed__1_1_3_1_1_2_3_1_1 on n44_a_history_of_qed__1_1_3_1_1_2_3_2_1_1 -LRB- n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1_1_1 possibly n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_2_1 virtual n44_a_history_of_qed__1_1_3_1_1_2_3_2_3_1 -RRB- n44_a_history_of_qed__1_1_3_1_1_2_3_2_4_1 paper n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_1_1 on n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_1_1 a n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_2_1 typewriter n44_a_history_of_qed__1_1_3_1_2_1 , n44_a_history_of_qed__1_1_3_1_3_1_1 vi n44_a_history_of_qed__1_1_3_1_4_1 keeps n44_a_history_of_qed__1_1_3_1_5_1_1 a n44_a_history_of_qed__1_1_3_1_5_2_1_1 current n44_a_history_of_qed__1_1_3_1_5_3_1 view n44_a_history_of_qed__1_1_3_1_5_4_1_1 of n44_a_history_of_qed__1_1_3_1_5_4_2_1_1 a n44_a_history_of_qed__1_1_3_1_5_4_2_2_1 piece n44_a_history_of_qed__1_1_3_1_5_4_2_3_1_1 of n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_1_1 a n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_2_1 document n44_a_history_of_qed__1_1_3_1_6_1_1 on n44_a_history_of_qed__1_1_3_1_6_2_1_1 the n44_a_history_of_qed__1_1_3_1_6_2_2_1 screen n44_a_history_of_qed__1_1_3_1_7_1 , n44_a_history_of_qed__1_1_3_1_8_1_1 while n44_a_history_of_qed__1_1_3_1_8_2_1_1_1 commands n44_a_history_of_qed__1_1_3_1_8_2_2_1 are n44_a_history_of_qed__1_1_3_1_8_2_3_1_1 * n44_a_history_of_qed__1_1_3_1_8_2_3_2_1 typed n44_a_history_of_qed__1_1_3_1_8_2_3_3_1_1 on n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_1_1 the n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2_1_1 bottom n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_3_1 line n44_a_history_of_qed__1_2_1 . n44_a_history_of_qed__1 IP-MAT n44_a_history_of_qed__1_1 ILYR n44_a_history_of_qed__1->n44_a_history_of_qed__1_1 n44_a_history_of_qed__1_2 PUNC n44_a_history_of_qed__1->n44_a_history_of_qed__1_2 n44_a_history_of_qed__1_1_1 ILYR n44_a_history_of_qed__1_1->n44_a_history_of_qed__1_1_1 n44_a_history_of_qed__1_1_2 PUNC n44_a_history_of_qed__1_1->n44_a_history_of_qed__1_1_2 n44_a_history_of_qed__1_1_3 CONJP n44_a_history_of_qed__1_1->n44_a_history_of_qed__1_1_3 n44_a_history_of_qed__1_1_1_1 NP-SBJ n44_a_history_of_qed__1_1_1->n44_a_history_of_qed__1_1_1_1 n44_a_history_of_qed__1_1_1_2 BED;__ n44_a_history_of_qed__1_1_1->n44_a_history_of_qed__1_1_1_2 n44_a_history_of_qed__1_1_1_3 IP-INF-PRD n44_a_history_of_qed__1_1_1->n44_a_history_of_qed__1_1_1_3 n44_a_history_of_qed__1_1_1_1_1 D n44_a_history_of_qed__1_1_1_1->n44_a_history_of_qed__1_1_1_1_1 n44_a_history_of_qed__1_1_1_1_2 N n44_a_history_of_qed__1_1_1_1->n44_a_history_of_qed__1_1_1_1_2 n44_a_history_of_qed__1_1_1_1_3 ADVP n44_a_history_of_qed__1_1_1_1->n44_a_history_of_qed__1_1_1_1_3 n44_a_history_of_qed__1_1_1_1_1->n44_a_history_of_qed__1_1_1_1_1_1 n44_a_history_of_qed__1_1_1_1_2->n44_a_history_of_qed__1_1_1_1_2_1 n44_a_history_of_qed__1_1_1_1_3_1 ADV n44_a_history_of_qed__1_1_1_1_3->n44_a_history_of_qed__1_1_1_1_3_1 n44_a_history_of_qed__1_1_1_1_3_1->n44_a_history_of_qed__1_1_1_1_3_1_1 n44_a_history_of_qed__1_1_1_2->n44_a_history_of_qed__1_1_1_2_1 n44_a_history_of_qed__1_1_1_3_1 ADVP-NIM n44_a_history_of_qed__1_1_1_3->n44_a_history_of_qed__1_1_1_3_1 n44_a_history_of_qed__1_1_1_3_2 TO n44_a_history_of_qed__1_1_1_3->n44_a_history_of_qed__1_1_1_3_2 n44_a_history_of_qed__1_1_1_3_3 VB;_Tn.pr_ n44_a_history_of_qed__1_1_1_3->n44_a_history_of_qed__1_1_1_3_3 n44_a_history_of_qed__1_1_1_3_4 NP-OB1 n44_a_history_of_qed__1_1_1_3->n44_a_history_of_qed__1_1_1_3_4 n44_a_history_of_qed__1_1_1_3_5 PP-NIM n44_a_history_of_qed__1_1_1_3->n44_a_history_of_qed__1_1_1_3_5 n44_a_history_of_qed__1_1_1_3_1_1 ADV n44_a_history_of_qed__1_1_1_3_1->n44_a_history_of_qed__1_1_1_3_1_1 n44_a_history_of_qed__1_1_1_3_1_1->n44_a_history_of_qed__1_1_1_3_1_1_1 n44_a_history_of_qed__1_1_1_3_2->n44_a_history_of_qed__1_1_1_3_2_1 n44_a_history_of_qed__1_1_1_3_3->n44_a_history_of_qed__1_1_1_3_3_1 n44_a_history_of_qed__1_1_1_3_4_1 D n44_a_history_of_qed__1_1_1_3_4->n44_a_history_of_qed__1_1_1_3_4_1 n44_a_history_of_qed__1_1_1_3_4_2 N n44_a_history_of_qed__1_1_1_3_4->n44_a_history_of_qed__1_1_1_3_4_2 n44_a_history_of_qed__1_1_1_3_4_3 PUNC n44_a_history_of_qed__1_1_1_3_4->n44_a_history_of_qed__1_1_1_3_4_3 n44_a_history_of_qed__1_1_1_3_4_4 N n44_a_history_of_qed__1_1_1_3_4->n44_a_history_of_qed__1_1_1_3_4_4 n44_a_history_of_qed__1_1_1_3_4_5 PP n44_a_history_of_qed__1_1_1_3_4->n44_a_history_of_qed__1_1_1_3_4_5 n44_a_history_of_qed__1_1_1_3_4_1->n44_a_history_of_qed__1_1_1_3_4_1_1 n44_a_history_of_qed__1_1_1_3_4_2->n44_a_history_of_qed__1_1_1_3_4_2_1 n44_a_history_of_qed__1_1_1_3_4_3->n44_a_history_of_qed__1_1_1_3_4_3_1 n44_a_history_of_qed__1_1_1_3_4_4->n44_a_history_of_qed__1_1_1_3_4_4_1 n44_a_history_of_qed__1_1_1_3_4_5_1 P-ROLE n44_a_history_of_qed__1_1_1_3_4_5->n44_a_history_of_qed__1_1_1_3_4_5_1 n44_a_history_of_qed__1_1_1_3_4_5_2 NP n44_a_history_of_qed__1_1_1_3_4_5->n44_a_history_of_qed__1_1_1_3_4_5_2 n44_a_history_of_qed__1_1_1_3_4_5_1->n44_a_history_of_qed__1_1_1_3_4_5_1_1 n44_a_history_of_qed__1_1_1_3_4_5_2_1 NPR n44_a_history_of_qed__1_1_1_3_4_5_2->n44_a_history_of_qed__1_1_1_3_4_5_2_1 n44_a_history_of_qed__1_1_1_3_4_5_2_1->n44_a_history_of_qed__1_1_1_3_4_5_2_1_1 n44_a_history_of_qed__1_1_1_3_5_1 P-ROLE n44_a_history_of_qed__1_1_1_3_5->n44_a_history_of_qed__1_1_1_3_5_1 n44_a_history_of_qed__1_1_1_3_5_2 NP n44_a_history_of_qed__1_1_1_3_5->n44_a_history_of_qed__1_1_1_3_5_2 n44_a_history_of_qed__1_1_1_3_5_1->n44_a_history_of_qed__1_1_1_3_5_1_1 n44_a_history_of_qed__1_1_1_3_5_2_1 D n44_a_history_of_qed__1_1_1_3_5_2->n44_a_history_of_qed__1_1_1_3_5_2_1 n44_a_history_of_qed__1_1_1_3_5_2_2 NLYR n44_a_history_of_qed__1_1_1_3_5_2->n44_a_history_of_qed__1_1_1_3_5_2_2 n44_a_history_of_qed__1_1_1_3_5_2_3 N n44_a_history_of_qed__1_1_1_3_5_2->n44_a_history_of_qed__1_1_1_3_5_2_3 n44_a_history_of_qed__1_1_1_3_5_2_1->n44_a_history_of_qed__1_1_1_3_5_2_1_1 n44_a_history_of_qed__1_1_1_3_5_2_2_1 N n44_a_history_of_qed__1_1_1_3_5_2_2->n44_a_history_of_qed__1_1_1_3_5_2_2_1 n44_a_history_of_qed__1_1_1_3_5_2_2_2 PUNC n44_a_history_of_qed__1_1_1_3_5_2_2->n44_a_history_of_qed__1_1_1_3_5_2_2_2 n44_a_history_of_qed__1_1_1_3_5_2_2_3 N n44_a_history_of_qed__1_1_1_3_5_2_2->n44_a_history_of_qed__1_1_1_3_5_2_2_3 n44_a_history_of_qed__1_1_1_3_5_2_2_1->n44_a_history_of_qed__1_1_1_3_5_2_2_1_1 n44_a_history_of_qed__1_1_1_3_5_2_2_2->n44_a_history_of_qed__1_1_1_3_5_2_2_2_1 n44_a_history_of_qed__1_1_1_3_5_2_2_3->n44_a_history_of_qed__1_1_1_3_5_2_2_3_1 n44_a_history_of_qed__1_1_1_3_5_2_3->n44_a_history_of_qed__1_1_1_3_5_2_3_1 n44_a_history_of_qed__1_1_2->n44_a_history_of_qed__1_1_2_1 n44_a_history_of_qed__1_1_3_1 ILYR n44_a_history_of_qed__1_1_3->n44_a_history_of_qed__1_1_3_1 n44_a_history_of_qed__1_1_3_1_1 PP-SCON n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_1 n44_a_history_of_qed__1_1_3_1_2 PUNC n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_2 n44_a_history_of_qed__1_1_3_1_3 NP-SBJ n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_3 n44_a_history_of_qed__1_1_3_1_4 VBP;__ n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_4 n44_a_history_of_qed__1_1_3_1_5 NP-OB1 n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_5 n44_a_history_of_qed__1_1_3_1_6 PP-NIM n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_6 n44_a_history_of_qed__1_1_3_1_7 PUNC n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_7 n44_a_history_of_qed__1_1_3_1_8 PP-SCON n44_a_history_of_qed__1_1_3_1->n44_a_history_of_qed__1_1_3_1_8 n44_a_history_of_qed__1_1_3_1_1_1 P-CONN n44_a_history_of_qed__1_1_3_1_1->n44_a_history_of_qed__1_1_3_1_1_1 n44_a_history_of_qed__1_1_3_1_1_2 IP-PPL2 n44_a_history_of_qed__1_1_3_1_1->n44_a_history_of_qed__1_1_3_1_1_2 n44_a_history_of_qed__1_1_3_1_1_1->n44_a_history_of_qed__1_1_3_1_1_1_1 n44_a_history_of_qed__1_1_3_1_1_2_1 DAG;_Tn_ n44_a_history_of_qed__1_1_3_1_1_2->n44_a_history_of_qed__1_1_3_1_1_2_1 n44_a_history_of_qed__1_1_3_1_1_2_2 NP-OB1 n44_a_history_of_qed__1_1_3_1_1_2->n44_a_history_of_qed__1_1_3_1_1_2_2 n44_a_history_of_qed__1_1_3_1_1_2_3 PP-NIM n44_a_history_of_qed__1_1_3_1_1_2->n44_a_history_of_qed__1_1_3_1_1_2_3 n44_a_history_of_qed__1_1_3_1_1_2_1->n44_a_history_of_qed__1_1_3_1_1_2_1_1 n44_a_history_of_qed__1_1_3_1_1_2_2_1 NS n44_a_history_of_qed__1_1_3_1_1_2_2->n44_a_history_of_qed__1_1_3_1_1_2_2_1 n44_a_history_of_qed__1_1_3_1_1_2_2_1->n44_a_history_of_qed__1_1_3_1_1_2_2_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_1 P-ROLE n44_a_history_of_qed__1_1_3_1_1_2_3->n44_a_history_of_qed__1_1_3_1_1_2_3_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2 NP n44_a_history_of_qed__1_1_3_1_1_2_3->n44_a_history_of_qed__1_1_3_1_1_2_3_2 n44_a_history_of_qed__1_1_3_1_1_2_3_1->n44_a_history_of_qed__1_1_3_1_1_2_3_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_1 PULB n44_a_history_of_qed__1_1_3_1_1_2_3_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_2 ADJP n44_a_history_of_qed__1_1_3_1_1_2_3_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_2 n44_a_history_of_qed__1_1_3_1_1_2_3_2_3 PURB n44_a_history_of_qed__1_1_3_1_1_2_3_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_3 n44_a_history_of_qed__1_1_3_1_1_2_3_2_4 N n44_a_history_of_qed__1_1_3_1_1_2_3_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_4 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5 PP n44_a_history_of_qed__1_1_3_1_1_2_3_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5 n44_a_history_of_qed__1_1_3_1_1_2_3_2_1->n44_a_history_of_qed__1_1_3_1_1_2_3_2_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1 ADVP n44_a_history_of_qed__1_1_3_1_1_2_3_2_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_2 ADJ n44_a_history_of_qed__1_1_3_1_1_2_3_2_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_2 n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1_1 ADV n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1->n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1_1->n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_1_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_2_2_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_3->n44_a_history_of_qed__1_1_3_1_1_2_3_2_3_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_4->n44_a_history_of_qed__1_1_3_1_1_2_3_2_4_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_1 P-ROLE n44_a_history_of_qed__1_1_3_1_1_2_3_2_5->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2 NP n44_a_history_of_qed__1_1_3_1_1_2_3_2_5->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_1->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_1 D n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_2 N n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_2 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_1->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_1_1 n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_2->n44_a_history_of_qed__1_1_3_1_1_2_3_2_5_2_2_1 n44_a_history_of_qed__1_1_3_1_2->n44_a_history_of_qed__1_1_3_1_2_1 n44_a_history_of_qed__1_1_3_1_3_1 NPR n44_a_history_of_qed__1_1_3_1_3->n44_a_history_of_qed__1_1_3_1_3_1 n44_a_history_of_qed__1_1_3_1_3_1->n44_a_history_of_qed__1_1_3_1_3_1_1 n44_a_history_of_qed__1_1_3_1_4->n44_a_history_of_qed__1_1_3_1_4_1 n44_a_history_of_qed__1_1_3_1_5_1 D n44_a_history_of_qed__1_1_3_1_5->n44_a_history_of_qed__1_1_3_1_5_1 n44_a_history_of_qed__1_1_3_1_5_2 ADJP n44_a_history_of_qed__1_1_3_1_5->n44_a_history_of_qed__1_1_3_1_5_2 n44_a_history_of_qed__1_1_3_1_5_3 N n44_a_history_of_qed__1_1_3_1_5->n44_a_history_of_qed__1_1_3_1_5_3 n44_a_history_of_qed__1_1_3_1_5_4 PP n44_a_history_of_qed__1_1_3_1_5->n44_a_history_of_qed__1_1_3_1_5_4 n44_a_history_of_qed__1_1_3_1_5_1->n44_a_history_of_qed__1_1_3_1_5_1_1 n44_a_history_of_qed__1_1_3_1_5_2_1 ADJ n44_a_history_of_qed__1_1_3_1_5_2->n44_a_history_of_qed__1_1_3_1_5_2_1 n44_a_history_of_qed__1_1_3_1_5_2_1->n44_a_history_of_qed__1_1_3_1_5_2_1_1 n44_a_history_of_qed__1_1_3_1_5_3->n44_a_history_of_qed__1_1_3_1_5_3_1 n44_a_history_of_qed__1_1_3_1_5_4_1 P-ROLE n44_a_history_of_qed__1_1_3_1_5_4->n44_a_history_of_qed__1_1_3_1_5_4_1 n44_a_history_of_qed__1_1_3_1_5_4_2 NP n44_a_history_of_qed__1_1_3_1_5_4->n44_a_history_of_qed__1_1_3_1_5_4_2 n44_a_history_of_qed__1_1_3_1_5_4_1->n44_a_history_of_qed__1_1_3_1_5_4_1_1 n44_a_history_of_qed__1_1_3_1_5_4_2_1 D n44_a_history_of_qed__1_1_3_1_5_4_2->n44_a_history_of_qed__1_1_3_1_5_4_2_1 n44_a_history_of_qed__1_1_3_1_5_4_2_2 N n44_a_history_of_qed__1_1_3_1_5_4_2->n44_a_history_of_qed__1_1_3_1_5_4_2_2 n44_a_history_of_qed__1_1_3_1_5_4_2_3 PP n44_a_history_of_qed__1_1_3_1_5_4_2->n44_a_history_of_qed__1_1_3_1_5_4_2_3 n44_a_history_of_qed__1_1_3_1_5_4_2_1->n44_a_history_of_qed__1_1_3_1_5_4_2_1_1 n44_a_history_of_qed__1_1_3_1_5_4_2_2->n44_a_history_of_qed__1_1_3_1_5_4_2_2_1 n44_a_history_of_qed__1_1_3_1_5_4_2_3_1 P-ROLE n44_a_history_of_qed__1_1_3_1_5_4_2_3->n44_a_history_of_qed__1_1_3_1_5_4_2_3_1 n44_a_history_of_qed__1_1_3_1_5_4_2_3_2 NP n44_a_history_of_qed__1_1_3_1_5_4_2_3->n44_a_history_of_qed__1_1_3_1_5_4_2_3_2 n44_a_history_of_qed__1_1_3_1_5_4_2_3_1->n44_a_history_of_qed__1_1_3_1_5_4_2_3_1_1 n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_1 D n44_a_history_of_qed__1_1_3_1_5_4_2_3_2->n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_1 n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_2 N n44_a_history_of_qed__1_1_3_1_5_4_2_3_2->n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_2 n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_1->n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_1_1 n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_2->n44_a_history_of_qed__1_1_3_1_5_4_2_3_2_2_1 n44_a_history_of_qed__1_1_3_1_6_1 P-ROLE n44_a_history_of_qed__1_1_3_1_6->n44_a_history_of_qed__1_1_3_1_6_1 n44_a_history_of_qed__1_1_3_1_6_2 NP n44_a_history_of_qed__1_1_3_1_6->n44_a_history_of_qed__1_1_3_1_6_2 n44_a_history_of_qed__1_1_3_1_6_1->n44_a_history_of_qed__1_1_3_1_6_1_1 n44_a_history_of_qed__1_1_3_1_6_2_1 D n44_a_history_of_qed__1_1_3_1_6_2->n44_a_history_of_qed__1_1_3_1_6_2_1 n44_a_history_of_qed__1_1_3_1_6_2_2 N n44_a_history_of_qed__1_1_3_1_6_2->n44_a_history_of_qed__1_1_3_1_6_2_2 n44_a_history_of_qed__1_1_3_1_6_2_1->n44_a_history_of_qed__1_1_3_1_6_2_1_1 n44_a_history_of_qed__1_1_3_1_6_2_2->n44_a_history_of_qed__1_1_3_1_6_2_2_1 n44_a_history_of_qed__1_1_3_1_7->n44_a_history_of_qed__1_1_3_1_7_1 n44_a_history_of_qed__1_1_3_1_8_1 P-CONN n44_a_history_of_qed__1_1_3_1_8->n44_a_history_of_qed__1_1_3_1_8_1 n44_a_history_of_qed__1_1_3_1_8_2 IP-ADV n44_a_history_of_qed__1_1_3_1_8->n44_a_history_of_qed__1_1_3_1_8_2 n44_a_history_of_qed__1_1_3_1_8_1->n44_a_history_of_qed__1_1_3_1_8_1_1 n44_a_history_of_qed__1_1_3_1_8_2_1 NP-SBJ n44_a_history_of_qed__1_1_3_1_8_2->n44_a_history_of_qed__1_1_3_1_8_2_1 n44_a_history_of_qed__1_1_3_1_8_2_2 BEP;_cat_VePASS_ n44_a_history_of_qed__1_1_3_1_8_2->n44_a_history_of_qed__1_1_3_1_8_2_2 n44_a_history_of_qed__1_1_3_1_8_2_3 IP-PPL-CAT n44_a_history_of_qed__1_1_3_1_8_2->n44_a_history_of_qed__1_1_3_1_8_2_3 n44_a_history_of_qed__1_1_3_1_8_2_1_1 NS n44_a_history_of_qed__1_1_3_1_8_2_1->n44_a_history_of_qed__1_1_3_1_8_2_1_1 n44_a_history_of_qed__1_1_3_1_8_2_1_1->n44_a_history_of_qed__1_1_3_1_8_2_1_1_1 n44_a_history_of_qed__1_1_3_1_8_2_2->n44_a_history_of_qed__1_1_3_1_8_2_2_1 n44_a_history_of_qed__1_1_3_1_8_2_3_1 NP-LGS n44_a_history_of_qed__1_1_3_1_8_2_3->n44_a_history_of_qed__1_1_3_1_8_2_3_1 n44_a_history_of_qed__1_1_3_1_8_2_3_2 VVN;__ n44_a_history_of_qed__1_1_3_1_8_2_3->n44_a_history_of_qed__1_1_3_1_8_2_3_2 n44_a_history_of_qed__1_1_3_1_8_2_3_3 PP-NIM n44_a_history_of_qed__1_1_3_1_8_2_3->n44_a_history_of_qed__1_1_3_1_8_2_3_3 n44_a_history_of_qed__1_1_3_1_8_2_3_1->n44_a_history_of_qed__1_1_3_1_8_2_3_1_1 n44_a_history_of_qed__1_1_3_1_8_2_3_2->n44_a_history_of_qed__1_1_3_1_8_2_3_2_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_1 P-ROLE n44_a_history_of_qed__1_1_3_1_8_2_3_3->n44_a_history_of_qed__1_1_3_1_8_2_3_3_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2 NP n44_a_history_of_qed__1_1_3_1_8_2_3_3->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2 n44_a_history_of_qed__1_1_3_1_8_2_3_3_1->n44_a_history_of_qed__1_1_3_1_8_2_3_3_1_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_1 D n44_a_history_of_qed__1_1_3_1_8_2_3_3_2->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2 ADJP n44_a_history_of_qed__1_1_3_1_8_2_3_3_2->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_3 N n44_a_history_of_qed__1_1_3_1_8_2_3_3_2->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_3 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_1->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_1_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2_1 ADJ n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2_1->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_2_1_1 n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_3->n44_a_history_of_qed__1_1_3_1_8_2_3_3_2_3_1 n44_a_history_of_qed__1_2->n44_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N advance;{advance})
                              (ADVP (ADV here;{here})))
                      (BED;__ was;{be})
                      (IP-INF-PRD (ADVP-NIM (ADV essentially;{essentially}))
                                  (TO to;{to})
                                  (VB;_Tn.pr_ adapt;{adapt})
                                  (NP-OB1 (D the;{the})
                                          (N command;{command})
                                          (PUNC <hyphen>)
                                          (N set;{set})
                                          (PP (P-ROLE of;{of})
                                              (NP;{STANDARD_ED} (NPR ed;{ed}))))
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (D a;{a})
                                              (NLYR (N screen;{screen})
                                                    (PUNC <hyphen>)
                                                    (N editor;{editor}))
                                              (N format;{format})))))
                (PUNC ;)
                (CONJP (ILYR (PP-SCON (P-CONN instead_of;{instead_of})
                                      (IP-PPL2 (DAG;_Tn_ doing;{do})
                                               (NP-OB1 (NS things;{thing}))
                                               (PP-NIM (P-ROLE on;{on})
                                                       (NP (PULB -LRB-)
                                                           (ADJP (ADVP (ADV possibly;{possibly}))
                                                                 (ADJ virtual;{virtual}))
                                                           (PURB -RRB-)
                                                           (N paper;{paper})
                                                           (PP (P-ROLE on;{on})
                                                               (NP (D a;{a})
                                                                   (N typewriter;{typewriter})))))))
                             (PUNC ,)
                             (NP-SBJ;{VI} (NPR vi;{vi}))
                             (VBP;__ keeps;{keep})
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADJ current;{current}))
                                     (N view;{view})
                                     (PP (P-ROLE of;{of})
                                         (NP (D a;{a})
                                             (N piece;{piece})
                                             (PP (P-ROLE of;{of})
                                                 (NP (D a;{a})
                                                     (N document;{document}))))))
                             (PP-NIM (P-ROLE on;{on})
                                     (NP (D the;{the})
                                         (N screen;{screen})))
                             (PUNC ,)
                             (PP-SCON (P-CONN while;{while})
                                      (IP-ADV (NP-SBJ (NS commands;{command}))
                                              (BEP;_cat_VePASS_ are;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;__ typed;{type})
                                                          (PP-NIM (P-ROLE on;{on})
                                                                  (NP (D the;{the})
                                                                      (ADJP (ADJ bottom;{bottom}))
                                                                      (N line;{line})))))))))
          (PUNC .))
  (ID 44_a_history_of_qed))


%3 z_0044_5001 r_0044_0021__instead_of instead_of z_0044_5001->r_0044_0021__instead_of [conj2] r_0044_0004__was was z_0044_5001->r_0044_0004__was [conj1] r_0044_0049__while while r_0044_0021__instead_of->r_0044_0049__while [scope] r_0044_0022__doing doing r_0044_0021__instead_of->r_0044_0022__doing [restriction] r_0044_0007__adapt adapt r_0044_0004__was->r_0044_0007__adapt [prd] r_0044_0001__The_r_0044_0002__advance The advance r_0044_0004__was->r_0044_0001__The_r_0044_0002__advance [arg0] r_0044_0054__the_r_0044_0056__line the line r_0044_0055__bottom bottom r_0044_0054__the_r_0044_0056__line->r_0044_0055__bottom [attrib] r_0044_0052__typed typed r_0044_0052__typed->r_0044_0054__the_r_0044_0056__line on [nim] z_0044_5028___star_ * r_0044_0052__typed->z_0044_5028___star_ [arg0] r_0044_0050__commands commands r_0044_0052__typed->r_0044_0050__commands [arg1] r_0044_0051__are are r_0044_0051__are->r_0044_0052__typed [scope] r_0044_0049__while->r_0044_0051__are [restriction] r_0044_0035__keeps keeps r_0044_0049__while->r_0044_0035__keeps [scope] r_0044_0036__a_r_0044_0038__view a view r_0044_0035__keeps->r_0044_0036__a_r_0044_0038__view [arg1] r_0044_0046__the_r_0044_0047__screen the screen r_0044_0035__keeps->r_0044_0046__the_r_0044_0047__screen on [nim] r_0044_0034__vi vi r_0044_0035__keeps->r_0044_0034__vi [arg0] r_0044_0040__a_r_0044_0041__piece a piece r_0044_0043__a_r_0044_0044__document a document r_0044_0040__a_r_0044_0041__piece->r_0044_0043__a_r_0044_0044__document of r_0044_0036__a_r_0044_0038__view->r_0044_0040__a_r_0044_0041__piece of r_0044_0037__current current r_0044_0036__a_r_0044_0038__view->r_0044_0037__current [attrib] r_0044_0029__paper paper r_0044_0031__a_r_0044_0032__typewriter a typewriter r_0044_0029__paper->r_0044_0031__a_r_0044_0032__typewriter on r_0044_0027__virtual virtual r_0044_0029__paper->r_0044_0027__virtual [attrib] r_0044_0026__possibly possibly r_0044_0027__virtual->r_0044_0026__possibly [qual] r_0044_0022__doing->r_0044_0034__vi [arg0] r_0044_0022__doing->r_0044_0029__paper on [nim] r_0044_0023__things things r_0044_0022__doing->r_0044_0023__things [arg1] r_0044_0008__the_r_0044_0009__command_r_0044_0011__set the command set r_0044_0013__ed ed r_0044_0008__the_r_0044_0009__command_r_0044_0011__set->r_0044_0013__ed of r_0044_0007__adapt->r_0044_0008__the_r_0044_0009__command_r_0044_0011__set [arg1] z_0044_5006 r_0044_0007__adapt->z_0044_5006 [arg0] r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format a screen editor format r_0044_0007__adapt->r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format to [nim] r_0044_0005__essentially essentially r_0044_0007__adapt->r_0044_0005__essentially [nim] r_0044_0003__here here r_0044_0001__The_r_0044_0002__advance->r_0044_0003__here [qual] 
arc(r_0044_0001__The_r_0044_0002__advance,r_0044_0003__here,qual).
arc(r_0044_0004__was,r_0044_0001__The_r_0044_0002__advance,arg0).
arc(r_0044_0004__was,r_0044_0007__adapt,prd).
arc(r_0044_0007__adapt,r_0044_0005__essentially,nim).
arc(r_0044_0007__adapt,r_0044_0008__the_r_0044_0009__command_r_0044_0011__set,arg1).
arc(r_0044_0007__adapt,r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format,r_0044_0014__to__nim).
arc(r_0044_0007__adapt,z_0044_5006,arg0).
arc(r_0044_0008__the_r_0044_0009__command_r_0044_0011__set,r_0044_0013__ed,r_0044_0012__of).
arc(r_0044_0021__instead_of,r_0044_0022__doing,restriction).
arc(r_0044_0021__instead_of,r_0044_0049__while,scope).
arc(r_0044_0022__doing,r_0044_0023__things,arg1).
arc(r_0044_0022__doing,r_0044_0029__paper,r_0044_0024__on__nim).
arc(r_0044_0022__doing,r_0044_0034__vi,arg0).
arc(r_0044_0027__virtual,r_0044_0026__possibly,qual).
arc(r_0044_0029__paper,r_0044_0027__virtual,attrib).
arc(r_0044_0029__paper,r_0044_0031__a_r_0044_0032__typewriter,r_0044_0030__on).
arc(r_0044_0035__keeps,r_0044_0034__vi,arg0).
arc(r_0044_0035__keeps,r_0044_0036__a_r_0044_0038__view,arg1).
arc(r_0044_0035__keeps,r_0044_0046__the_r_0044_0047__screen,r_0044_0045__on__nim).
arc(r_0044_0036__a_r_0044_0038__view,r_0044_0037__current,attrib).
arc(r_0044_0036__a_r_0044_0038__view,r_0044_0040__a_r_0044_0041__piece,r_0044_0039__of).
arc(r_0044_0040__a_r_0044_0041__piece,r_0044_0043__a_r_0044_0044__document,r_0044_0042__of).
arc(r_0044_0049__while,r_0044_0035__keeps,scope).
arc(r_0044_0049__while,r_0044_0051__are,restriction).
arc(r_0044_0051__are,r_0044_0052__typed,scope).
arc(r_0044_0052__typed,r_0044_0050__commands,arg1).
arc(r_0044_0052__typed,r_0044_0054__the_r_0044_0056__line,r_0044_0053__on__nim).
arc(r_0044_0052__typed,z_0044_5028___star_,arg0).
arc(r_0044_0054__the_r_0044_0056__line,r_0044_0055__bottom,attrib).
arc(z_0044_5001,r_0044_0004__was,conj1).
arc(z_0044_5001,r_0044_0021__instead_of,conj2).


%3 r_0044_0001__The_r_0044_0002__advance The advance r_0044_0003__here here r_0044_0001__The_r_0044_0002__advance->r_0044_0003__here [qual] r_0044_0004__was was r_0044_0004__was->r_0044_0001__The_r_0044_0002__advance [arg0] r_0044_0007__adapt adapt r_0044_0004__was->r_0044_0007__adapt [prd] r_0044_0005__essentially essentially r_0044_0007__adapt->r_0044_0005__essentially [nim] r_0044_0008__the_r_0044_0009__command_r_0044_0011__set the command set r_0044_0007__adapt->r_0044_0008__the_r_0044_0009__command_r_0044_0011__set [arg1] r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format a screen editor format r_0044_0007__adapt->r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format to [nim] z_0044_5006 r_0044_0007__adapt->z_0044_5006 [arg0] r_0044_0013__ed ed r_0044_0008__the_r_0044_0009__command_r_0044_0011__set->r_0044_0013__ed of r_0044_0021__instead_of instead_of r_0044_0022__doing doing r_0044_0021__instead_of->r_0044_0022__doing [conj1] r_0044_0049__while while r_0044_0021__instead_of->r_0044_0049__while [conj2] r_0044_0023__things things r_0044_0022__doing->r_0044_0023__things [arg1] r_0044_0029__paper paper r_0044_0022__doing->r_0044_0029__paper on [nim] r_0044_0034__vi vi r_0044_0022__doing->r_0044_0034__vi [arg0] r_0044_0035__keeps keeps r_0044_0049__while->r_0044_0035__keeps [conj2] r_0044_0051__are_r_0044_0052__typed are typed r_0044_0049__while->r_0044_0051__are_r_0044_0052__typed [conj1] r_0044_0027__virtual virtual r_0044_0029__paper->r_0044_0027__virtual [attrib] r_0044_0031__a_r_0044_0032__typewriter a typewriter r_0044_0029__paper->r_0044_0031__a_r_0044_0032__typewriter on r_0044_0026__possibly possibly r_0044_0027__virtual->r_0044_0026__possibly [qual] r_0044_0035__keeps->r_0044_0034__vi [arg0] r_0044_0036__a_r_0044_0038__view a view r_0044_0035__keeps->r_0044_0036__a_r_0044_0038__view [arg1] r_0044_0046__the_r_0044_0047__screen the screen r_0044_0035__keeps->r_0044_0046__the_r_0044_0047__screen on [nim] r_0044_0037__current current r_0044_0036__a_r_0044_0038__view->r_0044_0037__current [attrib] r_0044_0040__a_r_0044_0041__piece a piece r_0044_0036__a_r_0044_0038__view->r_0044_0040__a_r_0044_0041__piece of r_0044_0043__a_r_0044_0044__document a document r_0044_0040__a_r_0044_0041__piece->r_0044_0043__a_r_0044_0044__document of r_0044_0050__commands commands r_0044_0051__are_r_0044_0052__typed->r_0044_0050__commands [arg1] r_0044_0054__the_r_0044_0056__line the line r_0044_0051__are_r_0044_0052__typed->r_0044_0054__the_r_0044_0056__line on [nim] z_0044_5028___star_ * r_0044_0051__are_r_0044_0052__typed->z_0044_5028___star_ [arg0] r_0044_0055__bottom bottom r_0044_0054__the_r_0044_0056__line->r_0044_0055__bottom [attrib] z_0044_5001 z_0044_5001->r_0044_0004__was [conj1] z_0044_5001->r_0044_0021__instead_of [conj2] 
fof(formula,axiom,
    ? [R_0044_0003__HERE,R_0044_0001__THE_R_0044_0002__ADVANCE,R_0044_0005__ESSENTIALLY,R_0044_0013__ED,R_0044_0008__THE_R_0044_0009__COMMAND_R_0044_0011__SET,R_0044_0015__A_R_0044_0016__SCREEN_R_0044_0018__EDITOR_R_0044_0019__FORMAT,Z_0044_5006,R_0044_0007__ADAPT,R_0044_0004__WAS,R_0044_0023__THINGS,R_0044_0026__POSSIBLY,R_0044_0027__VIRTUAL,R_0044_0031__A_R_0044_0032__TYPEWRITER,R_0044_0029__PAPER,R_0044_0034__VI,R_0044_0022__DOING,R_0044_0037__CURRENT,R_0044_0043__A_R_0044_0044__DOCUMENT,R_0044_0040__A_R_0044_0041__PIECE,R_0044_0036__A_R_0044_0038__VIEW,R_0044_0046__THE_R_0044_0047__SCREEN,R_0044_0035__KEEPS,R_0044_0050__COMMANDS,R_0044_0055__BOTTOM,R_0044_0054__THE_R_0044_0056__LINE,Z_0044_5028___STAR_,R_0044_0051__ARE_R_0044_0052__TYPED,R_0044_0049__WHILE,R_0044_0021__INSTEAD_OF,Z_0044_5001] :
      ( r_0044_0003__here(R_0044_0003__HERE)
      & r_0044_0005__essentially(R_0044_0005__ESSENTIALLY)
      & r_0044_0013__ed(R_0044_0013__ED)
      & r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format(R_0044_0015__A_R_0044_0016__SCREEN_R_0044_0018__EDITOR_R_0044_0019__FORMAT)
      & r_0044_0023__things(R_0044_0023__THINGS)
      & r_0044_0026__possibly(R_0044_0026__POSSIBLY)
      & r_0044_0031__a_r_0044_0032__typewriter(R_0044_0031__A_R_0044_0032__TYPEWRITER)
      & r_0044_0034__vi(R_0044_0034__VI)
      & r_0044_0037__current(R_0044_0037__CURRENT)
      & r_0044_0043__a_r_0044_0044__document(R_0044_0043__A_R_0044_0044__DOCUMENT)
      & r_0044_0046__the_r_0044_0047__screen(R_0044_0046__THE_R_0044_0047__SCREEN)
      & r_0044_0050__commands(R_0044_0050__COMMANDS)
      & r_0044_0055__bottom(R_0044_0055__BOTTOM)
      & z_0044_5006(Z_0044_5006)
      & z_0044_5028___star_(Z_0044_5028___STAR_)
      & z_0044_5001(Z_0044_5001)
      & has_conj2(Z_0044_5001,R_0044_0021__INSTEAD_OF)
      & r_0044_0021__instead_of(R_0044_0021__INSTEAD_OF)
      & has_conj2(R_0044_0021__INSTEAD_OF,R_0044_0049__WHILE)
      & r_0044_0049__while(R_0044_0049__WHILE)
      & has_conj1(R_0044_0049__WHILE,R_0044_0051__ARE_R_0044_0052__TYPED)
      & r_0044_0051__are_r_0044_0052__typed(R_0044_0051__ARE_R_0044_0052__TYPED)
      & has_arg0(R_0044_0051__ARE_R_0044_0052__TYPED,Z_0044_5028___STAR_)
      & has_r_0044_0053__on__nim(R_0044_0051__ARE_R_0044_0052__TYPED,R_0044_0054__THE_R_0044_0056__LINE)
      & r_0044_0054__the_r_0044_0056__line(R_0044_0054__THE_R_0044_0056__LINE)
      & has_attrib(R_0044_0054__THE_R_0044_0056__LINE,R_0044_0055__BOTTOM)
      & has_arg1(R_0044_0051__ARE_R_0044_0052__TYPED,R_0044_0050__COMMANDS)
      & has_conj2(R_0044_0049__WHILE,R_0044_0035__KEEPS)
      & r_0044_0035__keeps(R_0044_0035__KEEPS)
      & has_r_0044_0045__on__nim(R_0044_0035__KEEPS,R_0044_0046__THE_R_0044_0047__SCREEN)
      & has_arg1(R_0044_0035__KEEPS,R_0044_0036__A_R_0044_0038__VIEW)
      & r_0044_0036__a_r_0044_0038__view(R_0044_0036__A_R_0044_0038__VIEW)
      & has_r_0044_0039__of(R_0044_0036__A_R_0044_0038__VIEW,R_0044_0040__A_R_0044_0041__PIECE)
      & r_0044_0040__a_r_0044_0041__piece(R_0044_0040__A_R_0044_0041__PIECE)
      & has_r_0044_0042__of(R_0044_0040__A_R_0044_0041__PIECE,R_0044_0043__A_R_0044_0044__DOCUMENT)
      & has_attrib(R_0044_0036__A_R_0044_0038__VIEW,R_0044_0037__CURRENT)
      & has_arg0(R_0044_0035__KEEPS,R_0044_0034__VI)
      & has_conj1(R_0044_0021__INSTEAD_OF,R_0044_0022__DOING)
      & r_0044_0022__doing(R_0044_0022__DOING)
      & has_arg0(R_0044_0022__DOING,R_0044_0034__VI)
      & has_r_0044_0024__on__nim(R_0044_0022__DOING,R_0044_0029__PAPER)
      & r_0044_0029__paper(R_0044_0029__PAPER)
      & has_r_0044_0030__on(R_0044_0029__PAPER,R_0044_0031__A_R_0044_0032__TYPEWRITER)
      & has_attrib(R_0044_0029__PAPER,R_0044_0027__VIRTUAL)
      & r_0044_0027__virtual(R_0044_0027__VIRTUAL)
      & has_qual(R_0044_0027__VIRTUAL,R_0044_0026__POSSIBLY)
      & has_arg1(R_0044_0022__DOING,R_0044_0023__THINGS)
      & has_conj1(Z_0044_5001,R_0044_0004__WAS)
      & r_0044_0004__was(R_0044_0004__WAS)
      & has_prd(R_0044_0004__WAS,R_0044_0007__ADAPT)
      & r_0044_0007__adapt(R_0044_0007__ADAPT)
      & has_arg0(R_0044_0007__ADAPT,Z_0044_5006)
      & has_r_0044_0014__to__nim(R_0044_0007__ADAPT,R_0044_0015__A_R_0044_0016__SCREEN_R_0044_0018__EDITOR_R_0044_0019__FORMAT)
      & has_arg1(R_0044_0007__ADAPT,R_0044_0008__THE_R_0044_0009__COMMAND_R_0044_0011__SET)
      & r_0044_0008__the_r_0044_0009__command_r_0044_0011__set(R_0044_0008__THE_R_0044_0009__COMMAND_R_0044_0011__SET)
      & has_r_0044_0012__of(R_0044_0008__THE_R_0044_0009__COMMAND_R_0044_0011__SET,R_0044_0013__ED)
      & has_nim(R_0044_0007__ADAPT,R_0044_0005__ESSENTIALLY)
      & has_arg0(R_0044_0004__WAS,R_0044_0001__THE_R_0044_0002__ADVANCE)
      & r_0044_0001__The_r_0044_0002__advance(R_0044_0001__THE_R_0044_0002__ADVANCE)
      & has_qual(R_0044_0001__THE_R_0044_0002__ADVANCE,R_0044_0003__HERE) ) ).