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.

%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_0006__to_r_0044_0007__adapt to adapt r_0044_0004__was->r_0044_0006__to_r_0044_0007__adapt [prd] r_0044_0005__essentially essentially r_0044_0006__to_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_0006__to_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_0006__to_r_0044_0007__adapt->r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format to [nim] x_000_44_a_history_of_qed_14 __ r_0044_0006__to_r_0044_0007__adapt->x_000_44_a_history_of_qed_14 [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 [restriction] r_0044_0049__while while r_0044_0021__instead_of->r_0044_0049__while [scope] 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 [scope] r_0044_0051__are are r_0044_0049__while->r_0044_0051__are [restriction] 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_0052__typed typed r_0044_0051__are->r_0044_0052__typed [scope] r_0044_0050__commands commands r_0044_0052__typed->r_0044_0050__commands [arg1] r_0044_0054__the_r_0044_0056__line the line r_0044_0052__typed->r_0044_0054__the_r_0044_0056__line on [nim] z_000_44_a_history_of_qed_139 r_0044_0052__typed->z_000_44_a_history_of_qed_139 [arg0] r_0044_0055__bottom bottom r_0044_0054__the_r_0044_0056__line->r_0044_0055__bottom [attrib] z_000_44_a_history_of_qed_2 z_000_44_a_history_of_qed_2->r_0044_0004__was [conj1] z_000_44_a_history_of_qed_2->r_0044_0021__instead_of [conj2] 
arc(r_0044_0001__The_r_0044_0002__advance, r_0044_0003__here, qual9).
arc(r_0044_0004__was, r_0044_0001__The_r_0044_0002__advance, arg0).
arc(r_0044_0004__was, r_0044_0006__to_r_0044_0007__adapt, prd).
arc(r_0044_0006__to_r_0044_0007__adapt, r_0044_0005__essentially, nim15).
arc(r_0044_0006__to_r_0044_0007__adapt, r_0044_0008__the_r_0044_0009__command_r_0044_0011__set, arg1).
arc(r_0044_0006__to_r_0044_0007__adapt, r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format, r_0044_0014__to_nim40).
arc(r_0044_0006__to_r_0044_0007__adapt, x_000_44_a_history_of_qed_14, 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_nim67).
arc(r_0044_0022__doing, r_0044_0034__vi, arg0).
arc(r_0044_0027__virtual, r_0044_0026__possibly, qual71).
arc(r_0044_0029__paper, r_0044_0027__virtual, attrib70).
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_nim122).
arc(r_0044_0036__a_r_0044_0038__view, r_0044_0037__current, attrib98).
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_nim146).
arc(r_0044_0052__typed, z_000_44_a_history_of_qed_139, arg0).
arc(r_0044_0054__the_r_0044_0056__line, r_0044_0055__bottom, attrib149).
arc(z_000_44_a_history_of_qed_2, r_0044_0004__was, conj1).
arc(z_000_44_a_history_of_qed_2, 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_0006__to_r_0044_0007__adapt to adapt r_0044_0004__was->r_0044_0006__to_r_0044_0007__adapt [prd] r_0044_0005__essentially essentially r_0044_0006__to_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_0006__to_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_0006__to_r_0044_0007__adapt->r_0044_0015__a_r_0044_0016__screen_r_0044_0018__editor_r_0044_0019__format to [nim] x_000_44_a_history_of_qed_14 __ r_0044_0006__to_r_0044_0007__adapt->x_000_44_a_history_of_qed_14 [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_000_44_a_history_of_qed_139 r_0044_0051__are_r_0044_0052__typed->z_000_44_a_history_of_qed_139 [arg0] r_0044_0055__bottom bottom r_0044_0054__the_r_0044_0056__line->r_0044_0055__bottom [attrib] z_000_44_a_history_of_qed_2 z_000_44_a_history_of_qed_2->r_0044_0004__was [conj1] z_000_44_a_history_of_qed_2->r_0044_0021__instead_of [conj2] 
fof(formula,axiom,
    ? [Z_44_A_HISTORY_OF_QED_2,R_44_4_WAS,R_44_1_THE_ADVANCE,R_44_3_HERE,R_44_6_TO_ADAPT,X_44_A_HISTORY_OF_QED_14,R_44_8_THE_COMMAND_SET,R_44_13_ED,R_44_5_ESSENTIALLY,R_44_15_A_SCREEN_EDITOR_FORMAT,R_44_21_INSTEAD_OF,R_44_22_DOING,R_44_23_THINGS,R_44_29_PAPER,R_44_27_VIRTUAL,R_44_26_POSSIBLY,R_44_31_A_TYPEWRITER,R_44_49_WHILE,R_44_51_ARE_TYPED,Z_44_A_HISTORY_OF_QED_139,R_44_50_COMMANDS,R_44_54_THE_LINE,R_44_55_BOTTOM,R_44_35_KEEPS,R_44_34_VI,R_44_36_A_VIEW,R_44_37_CURRENT,R_44_40_A_PIECE,R_44_43_A_DOCUMENT,R_44_46_THE_SCREEN] :
      ( here(R_44_3_HERE)
      & ed(R_44_13_ED)
      & essentially(R_44_5_ESSENTIALLY)
      & a_screen_editor_format(R_44_15_A_SCREEN_EDITOR_FORMAT)
      & things(R_44_23_THINGS)
      & possibly(R_44_26_POSSIBLY)
      & a_typewriter(R_44_31_A_TYPEWRITER)
      & commands(R_44_50_COMMANDS)
      & bottom(R_44_55_BOTTOM)
      & vi(R_44_34_VI)
      & current(R_44_37_CURRENT)
      & a_document(R_44_43_A_DOCUMENT)
      & the_screen(R_44_46_THE_SCREEN)
      & z_44_a_history_of_qed_2(Z_44_A_HISTORY_OF_QED_2)
      & conj1(Z_44_A_HISTORY_OF_QED_2,R_44_4_WAS)
      & was(R_44_4_WAS,R_44_1_THE_ADVANCE,R_44_6_TO_ADAPT)
      & the_advance(R_44_1_THE_ADVANCE)
      & qual9(R_44_1_THE_ADVANCE,R_44_3_HERE)
      & to_adapt(R_44_6_TO_ADAPT,X_44_A_HISTORY_OF_QED_14,R_44_8_THE_COMMAND_SET)
      & the_command_set(R_44_8_THE_COMMAND_SET)
      & of(R_44_8_THE_COMMAND_SET,R_44_13_ED)
      & nim15(R_44_6_TO_ADAPT,R_44_5_ESSENTIALLY)
      & to_nim40(R_44_6_TO_ADAPT,R_44_15_A_SCREEN_EDITOR_FORMAT)
      & conj2(Z_44_A_HISTORY_OF_QED_2,R_44_21_INSTEAD_OF)
      & instead_of(R_44_21_INSTEAD_OF)
      & conj1(R_44_21_INSTEAD_OF,R_44_22_DOING)
      & doing(R_44_22_DOING,R_44_34_VI,R_44_23_THINGS)
      & on_nim67(R_44_22_DOING,R_44_29_PAPER)
      & paper(R_44_29_PAPER)
      & attrib70(R_44_29_PAPER,R_44_27_VIRTUAL)
      & virtual(R_44_27_VIRTUAL)
      & qual71(R_44_27_VIRTUAL,R_44_26_POSSIBLY)
      & on(R_44_29_PAPER,R_44_31_A_TYPEWRITER)
      & conj2(R_44_21_INSTEAD_OF,R_44_49_WHILE)
      & while(R_44_49_WHILE)
      & conj1(R_44_49_WHILE,R_44_51_ARE_TYPED)
      & are_typed(R_44_51_ARE_TYPED,Z_44_A_HISTORY_OF_QED_139,R_44_50_COMMANDS)
      & on_nim146(R_44_51_ARE_TYPED,R_44_54_THE_LINE)
      & the_line(R_44_54_THE_LINE)
      & attrib149(R_44_54_THE_LINE,R_44_55_BOTTOM)
      & conj2(R_44_49_WHILE,R_44_35_KEEPS)
      & keeps(R_44_35_KEEPS,R_44_34_VI,R_44_36_A_VIEW)
      & a_view(R_44_36_A_VIEW)
      & attrib98(R_44_36_A_VIEW,R_44_37_CURRENT)
      & of(R_44_36_A_VIEW,R_44_40_A_PIECE)
      & a_piece(R_44_40_A_PIECE)
      & of(R_44_40_A_PIECE,R_44_43_A_DOCUMENT)
      & on_nim122(R_44_35_KEEPS,R_44_46_THE_SCREEN) ) ).


n44_a_history_of_qed n44_a_history_of_qed_6 The n44_a_history_of_qed_8 advance n44_a_history_of_qed_11 here n44_a_history_of_qed_13 was n44_a_history_of_qed_17 essentially n44_a_history_of_qed_19 to n44_a_history_of_qed_21 adapt n44_a_history_of_qed_24 the n44_a_history_of_qed_26 command n44_a_history_of_qed_28 - n44_a_history_of_qed_30 set n44_a_history_of_qed_33 of n44_a_history_of_qed_36 ed n44_a_history_of_qed_39 to n44_a_history_of_qed_42 a n44_a_history_of_qed_44 screen n44_a_history_of_qed_46 - n44_a_history_of_qed_48 editor n44_a_history_of_qed_50 format n44_a_history_of_qed_52 ; n44_a_history_of_qed_57 instead_of n44_a_history_of_qed_60 doing n44_a_history_of_qed_63 things n44_a_history_of_qed_66 on n44_a_history_of_qed_69 -LRB- n44_a_history_of_qed_73 possibly n44_a_history_of_qed_75 virtual n44_a_history_of_qed_77 -RRB- n44_a_history_of_qed_79 paper n44_a_history_of_qed_82 on n44_a_history_of_qed_85 a n44_a_history_of_qed_87 typewriter n44_a_history_of_qed_89 , n44_a_history_of_qed_92 vi n44_a_history_of_qed_94 keeps n44_a_history_of_qed_97 a n44_a_history_of_qed_100 current n44_a_history_of_qed_102 view n44_a_history_of_qed_105 of n44_a_history_of_qed_108 a n44_a_history_of_qed_110 piece n44_a_history_of_qed_113 of n44_a_history_of_qed_116 a n44_a_history_of_qed_118 document n44_a_history_of_qed_121 on n44_a_history_of_qed_124 the n44_a_history_of_qed_126 screen n44_a_history_of_qed_128 , n44_a_history_of_qed_131 while n44_a_history_of_qed_135 commands n44_a_history_of_qed_137 are n44_a_history_of_qed_140 * n44_a_history_of_qed_142 typed n44_a_history_of_qed_145 on n44_a_history_of_qed_148 the n44_a_history_of_qed_151 bottom n44_a_history_of_qed_153 line n44_a_history_of_qed_155 . n44_a_history_of_qed_1 IP-MAT n44_a_history_of_qed_2 ILYR n44_a_history_of_qed_1->n44_a_history_of_qed_2 n44_a_history_of_qed_154 PUNC n44_a_history_of_qed_1->n44_a_history_of_qed_154 n44_a_history_of_qed_3 ILYR n44_a_history_of_qed_2->n44_a_history_of_qed_3 n44_a_history_of_qed_51 PUNC n44_a_history_of_qed_2->n44_a_history_of_qed_51 n44_a_history_of_qed_53 CONJP n44_a_history_of_qed_2->n44_a_history_of_qed_53 n44_a_history_of_qed_4 NP-SBJ n44_a_history_of_qed_3->n44_a_history_of_qed_4 n44_a_history_of_qed_12 BED;__ n44_a_history_of_qed_3->n44_a_history_of_qed_12 n44_a_history_of_qed_14 IP-INF-PRD n44_a_history_of_qed_3->n44_a_history_of_qed_14 n44_a_history_of_qed_5 D n44_a_history_of_qed_4->n44_a_history_of_qed_5 n44_a_history_of_qed_7 N n44_a_history_of_qed_4->n44_a_history_of_qed_7 n44_a_history_of_qed_9 ADVP n44_a_history_of_qed_4->n44_a_history_of_qed_9 n44_a_history_of_qed_5->n44_a_history_of_qed_6 n44_a_history_of_qed_7->n44_a_history_of_qed_8 n44_a_history_of_qed_10 ADV n44_a_history_of_qed_9->n44_a_history_of_qed_10 n44_a_history_of_qed_10->n44_a_history_of_qed_11 n44_a_history_of_qed_12->n44_a_history_of_qed_13 n44_a_history_of_qed_15 ADVP-NIM n44_a_history_of_qed_14->n44_a_history_of_qed_15 n44_a_history_of_qed_18 TO n44_a_history_of_qed_14->n44_a_history_of_qed_18 n44_a_history_of_qed_20 VB;_Tn.pr_ n44_a_history_of_qed_14->n44_a_history_of_qed_20 n44_a_history_of_qed_22 NP-OB1 n44_a_history_of_qed_14->n44_a_history_of_qed_22 n44_a_history_of_qed_37 PP-NIM n44_a_history_of_qed_14->n44_a_history_of_qed_37 n44_a_history_of_qed_16 ADV n44_a_history_of_qed_15->n44_a_history_of_qed_16 n44_a_history_of_qed_16->n44_a_history_of_qed_17 n44_a_history_of_qed_18->n44_a_history_of_qed_19 n44_a_history_of_qed_20->n44_a_history_of_qed_21 n44_a_history_of_qed_23 D n44_a_history_of_qed_22->n44_a_history_of_qed_23 n44_a_history_of_qed_25 N n44_a_history_of_qed_22->n44_a_history_of_qed_25 n44_a_history_of_qed_27 PUNC n44_a_history_of_qed_22->n44_a_history_of_qed_27 n44_a_history_of_qed_29 N n44_a_history_of_qed_22->n44_a_history_of_qed_29 n44_a_history_of_qed_31 PP n44_a_history_of_qed_22->n44_a_history_of_qed_31 n44_a_history_of_qed_23->n44_a_history_of_qed_24 n44_a_history_of_qed_25->n44_a_history_of_qed_26 n44_a_history_of_qed_27->n44_a_history_of_qed_28 n44_a_history_of_qed_29->n44_a_history_of_qed_30 n44_a_history_of_qed_32 P-ROLE n44_a_history_of_qed_31->n44_a_history_of_qed_32 n44_a_history_of_qed_34 NP n44_a_history_of_qed_31->n44_a_history_of_qed_34 n44_a_history_of_qed_32->n44_a_history_of_qed_33 n44_a_history_of_qed_35 NPR n44_a_history_of_qed_34->n44_a_history_of_qed_35 n44_a_history_of_qed_35->n44_a_history_of_qed_36 n44_a_history_of_qed_38 P-ROLE n44_a_history_of_qed_37->n44_a_history_of_qed_38 n44_a_history_of_qed_40 NP n44_a_history_of_qed_37->n44_a_history_of_qed_40 n44_a_history_of_qed_38->n44_a_history_of_qed_39 n44_a_history_of_qed_41 D n44_a_history_of_qed_40->n44_a_history_of_qed_41 n44_a_history_of_qed_43 N n44_a_history_of_qed_40->n44_a_history_of_qed_43 n44_a_history_of_qed_45 PUNC n44_a_history_of_qed_40->n44_a_history_of_qed_45 n44_a_history_of_qed_47 N n44_a_history_of_qed_40->n44_a_history_of_qed_47 n44_a_history_of_qed_49 N n44_a_history_of_qed_40->n44_a_history_of_qed_49 n44_a_history_of_qed_41->n44_a_history_of_qed_42 n44_a_history_of_qed_43->n44_a_history_of_qed_44 n44_a_history_of_qed_45->n44_a_history_of_qed_46 n44_a_history_of_qed_47->n44_a_history_of_qed_48 n44_a_history_of_qed_49->n44_a_history_of_qed_50 n44_a_history_of_qed_51->n44_a_history_of_qed_52 n44_a_history_of_qed_54 ILYR n44_a_history_of_qed_53->n44_a_history_of_qed_54 n44_a_history_of_qed_55 PP-SCON n44_a_history_of_qed_54->n44_a_history_of_qed_55 n44_a_history_of_qed_88 PUNC n44_a_history_of_qed_54->n44_a_history_of_qed_88 n44_a_history_of_qed_90 NP-SBJ n44_a_history_of_qed_54->n44_a_history_of_qed_90 n44_a_history_of_qed_93 VBP;__ n44_a_history_of_qed_54->n44_a_history_of_qed_93 n44_a_history_of_qed_95 NP-OB1 n44_a_history_of_qed_54->n44_a_history_of_qed_95 n44_a_history_of_qed_119 PP-NIM n44_a_history_of_qed_54->n44_a_history_of_qed_119 n44_a_history_of_qed_127 PUNC n44_a_history_of_qed_54->n44_a_history_of_qed_127 n44_a_history_of_qed_129 PP-SCON n44_a_history_of_qed_54->n44_a_history_of_qed_129 n44_a_history_of_qed_56 P-CONN n44_a_history_of_qed_55->n44_a_history_of_qed_56 n44_a_history_of_qed_58 IP-PPL2 n44_a_history_of_qed_55->n44_a_history_of_qed_58 n44_a_history_of_qed_56->n44_a_history_of_qed_57 n44_a_history_of_qed_59 DAG;_Tn_ n44_a_history_of_qed_58->n44_a_history_of_qed_59 n44_a_history_of_qed_61 NP-OB1 n44_a_history_of_qed_58->n44_a_history_of_qed_61 n44_a_history_of_qed_64 PP-NIM n44_a_history_of_qed_58->n44_a_history_of_qed_64 n44_a_history_of_qed_59->n44_a_history_of_qed_60 n44_a_history_of_qed_62 NS n44_a_history_of_qed_61->n44_a_history_of_qed_62 n44_a_history_of_qed_62->n44_a_history_of_qed_63 n44_a_history_of_qed_65 P-ROLE n44_a_history_of_qed_64->n44_a_history_of_qed_65 n44_a_history_of_qed_67 NP n44_a_history_of_qed_64->n44_a_history_of_qed_67 n44_a_history_of_qed_65->n44_a_history_of_qed_66 n44_a_history_of_qed_68 PULB n44_a_history_of_qed_67->n44_a_history_of_qed_68 n44_a_history_of_qed_70 ADJP n44_a_history_of_qed_67->n44_a_history_of_qed_70 n44_a_history_of_qed_76 PURB n44_a_history_of_qed_67->n44_a_history_of_qed_76 n44_a_history_of_qed_78 N n44_a_history_of_qed_67->n44_a_history_of_qed_78 n44_a_history_of_qed_80 PP n44_a_history_of_qed_67->n44_a_history_of_qed_80 n44_a_history_of_qed_68->n44_a_history_of_qed_69 n44_a_history_of_qed_71 ADVP n44_a_history_of_qed_70->n44_a_history_of_qed_71 n44_a_history_of_qed_74 ADJ n44_a_history_of_qed_70->n44_a_history_of_qed_74 n44_a_history_of_qed_72 ADV n44_a_history_of_qed_71->n44_a_history_of_qed_72 n44_a_history_of_qed_72->n44_a_history_of_qed_73 n44_a_history_of_qed_74->n44_a_history_of_qed_75 n44_a_history_of_qed_76->n44_a_history_of_qed_77 n44_a_history_of_qed_78->n44_a_history_of_qed_79 n44_a_history_of_qed_81 P-ROLE n44_a_history_of_qed_80->n44_a_history_of_qed_81 n44_a_history_of_qed_83 NP n44_a_history_of_qed_80->n44_a_history_of_qed_83 n44_a_history_of_qed_81->n44_a_history_of_qed_82 n44_a_history_of_qed_84 D n44_a_history_of_qed_83->n44_a_history_of_qed_84 n44_a_history_of_qed_86 N n44_a_history_of_qed_83->n44_a_history_of_qed_86 n44_a_history_of_qed_84->n44_a_history_of_qed_85 n44_a_history_of_qed_86->n44_a_history_of_qed_87 n44_a_history_of_qed_88->n44_a_history_of_qed_89 n44_a_history_of_qed_91 NPR n44_a_history_of_qed_90->n44_a_history_of_qed_91 n44_a_history_of_qed_91->n44_a_history_of_qed_92 n44_a_history_of_qed_93->n44_a_history_of_qed_94 n44_a_history_of_qed_96 D n44_a_history_of_qed_95->n44_a_history_of_qed_96 n44_a_history_of_qed_98 ADJP n44_a_history_of_qed_95->n44_a_history_of_qed_98 n44_a_history_of_qed_101 N n44_a_history_of_qed_95->n44_a_history_of_qed_101 n44_a_history_of_qed_103 PP n44_a_history_of_qed_95->n44_a_history_of_qed_103 n44_a_history_of_qed_96->n44_a_history_of_qed_97 n44_a_history_of_qed_99 ADJ n44_a_history_of_qed_98->n44_a_history_of_qed_99 n44_a_history_of_qed_99->n44_a_history_of_qed_100 n44_a_history_of_qed_101->n44_a_history_of_qed_102 n44_a_history_of_qed_104 P-ROLE n44_a_history_of_qed_103->n44_a_history_of_qed_104 n44_a_history_of_qed_106 NP n44_a_history_of_qed_103->n44_a_history_of_qed_106 n44_a_history_of_qed_104->n44_a_history_of_qed_105 n44_a_history_of_qed_107 D n44_a_history_of_qed_106->n44_a_history_of_qed_107 n44_a_history_of_qed_109 N n44_a_history_of_qed_106->n44_a_history_of_qed_109 n44_a_history_of_qed_111 PP n44_a_history_of_qed_106->n44_a_history_of_qed_111 n44_a_history_of_qed_107->n44_a_history_of_qed_108 n44_a_history_of_qed_109->n44_a_history_of_qed_110 n44_a_history_of_qed_112 P-ROLE n44_a_history_of_qed_111->n44_a_history_of_qed_112 n44_a_history_of_qed_114 NP n44_a_history_of_qed_111->n44_a_history_of_qed_114 n44_a_history_of_qed_112->n44_a_history_of_qed_113 n44_a_history_of_qed_115 D n44_a_history_of_qed_114->n44_a_history_of_qed_115 n44_a_history_of_qed_117 N n44_a_history_of_qed_114->n44_a_history_of_qed_117 n44_a_history_of_qed_115->n44_a_history_of_qed_116 n44_a_history_of_qed_117->n44_a_history_of_qed_118 n44_a_history_of_qed_120 P-ROLE n44_a_history_of_qed_119->n44_a_history_of_qed_120 n44_a_history_of_qed_122 NP n44_a_history_of_qed_119->n44_a_history_of_qed_122 n44_a_history_of_qed_120->n44_a_history_of_qed_121 n44_a_history_of_qed_123 D n44_a_history_of_qed_122->n44_a_history_of_qed_123 n44_a_history_of_qed_125 N n44_a_history_of_qed_122->n44_a_history_of_qed_125 n44_a_history_of_qed_123->n44_a_history_of_qed_124 n44_a_history_of_qed_125->n44_a_history_of_qed_126 n44_a_history_of_qed_127->n44_a_history_of_qed_128 n44_a_history_of_qed_130 P-CONN n44_a_history_of_qed_129->n44_a_history_of_qed_130 n44_a_history_of_qed_132 IP-ADV n44_a_history_of_qed_129->n44_a_history_of_qed_132 n44_a_history_of_qed_130->n44_a_history_of_qed_131 n44_a_history_of_qed_133 NP-SBJ n44_a_history_of_qed_132->n44_a_history_of_qed_133 n44_a_history_of_qed_136 BEP;_cat_VePASS_ n44_a_history_of_qed_132->n44_a_history_of_qed_136 n44_a_history_of_qed_138 IP-PPL-CAT n44_a_history_of_qed_132->n44_a_history_of_qed_138 n44_a_history_of_qed_134 NS n44_a_history_of_qed_133->n44_a_history_of_qed_134 n44_a_history_of_qed_134->n44_a_history_of_qed_135 n44_a_history_of_qed_136->n44_a_history_of_qed_137 n44_a_history_of_qed_139 NP-LGS n44_a_history_of_qed_138->n44_a_history_of_qed_139 n44_a_history_of_qed_141 VVN;__ n44_a_history_of_qed_138->n44_a_history_of_qed_141 n44_a_history_of_qed_143 PP-NIM n44_a_history_of_qed_138->n44_a_history_of_qed_143 n44_a_history_of_qed_139->n44_a_history_of_qed_140 n44_a_history_of_qed_141->n44_a_history_of_qed_142 n44_a_history_of_qed_144 P-ROLE n44_a_history_of_qed_143->n44_a_history_of_qed_144 n44_a_history_of_qed_146 NP n44_a_history_of_qed_143->n44_a_history_of_qed_146 n44_a_history_of_qed_144->n44_a_history_of_qed_145 n44_a_history_of_qed_147 D n44_a_history_of_qed_146->n44_a_history_of_qed_147 n44_a_history_of_qed_149 ADJP n44_a_history_of_qed_146->n44_a_history_of_qed_149 n44_a_history_of_qed_152 N n44_a_history_of_qed_146->n44_a_history_of_qed_152 n44_a_history_of_qed_147->n44_a_history_of_qed_148 n44_a_history_of_qed_150 ADJ n44_a_history_of_qed_149->n44_a_history_of_qed_150 n44_a_history_of_qed_150->n44_a_history_of_qed_151 n44_a_history_of_qed_152->n44_a_history_of_qed_153 n44_a_history_of_qed_154->n44_a_history_of_qed_155 
( (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})
                                              (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))