Context                Previous, Next                Top


13_a_history_of_qed
Ken's CTSS qed adopted from the Berkeley one the notion of multiple buffers to edit several files simultaneously and to move and copy text among them, and also the idea of executing a given buffer as editor commands, thus providing programmability.

%3 r_0013_0003__CTSS_r_0013_0004__qed CTSS qed r_0013_0001__Ken_r_0013_0002___apos_s Ken 's r_0013_0003__CTSS_r_0013_0004__qed->r_0013_0001__Ken_r_0013_0002___apos_s [gen] r_0013_0005__adopted adopted r_0013_0005__adopted->r_0013_0003__CTSS_r_0013_0004__qed [arg0] r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one the Berkeley one r_0013_0005__adopted->r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one from [nim] r_0013_0029__and and r_0013_0005__adopted->r_0013_0029__and [arg1] r_0013_0010__the_r_0013_0011__notion the notion r_0013_0029__and->r_0013_0010__the_r_0013_0011__notion [conj1] r_0013_0031__the_r_0013_0032__idea the idea r_0013_0029__and->r_0013_0031__the_r_0013_0032__idea [conj2] r_0013_0014__buffers buffers r_0013_0010__the_r_0013_0011__notion->r_0013_0014__buffers of r_0013_0013__multiple multiple r_0013_0014__buffers->r_0013_0013__multiple [attrib] r_0013_0015__to_r_0013_0016__edit to edit r_0013_0015__to_r_0013_0016__edit->r_0013_0010__the_r_0013_0011__notion [nim] r_0013_0018__files files r_0013_0015__to_r_0013_0016__edit->r_0013_0018__files [arg1] r_0013_0019__simultaneously simultaneously r_0013_0015__to_r_0013_0016__edit->r_0013_0019__simultaneously [nim] z_000_13_a_history_of_qed_40 r_0013_0015__to_r_0013_0016__edit->z_000_13_a_history_of_qed_40 [arg0] r_0013_0017__several several r_0013_0018__files->r_0013_0017__several [attrib] r_0013_0020__and and r_0013_0020__and->r_0013_0015__to_r_0013_0016__edit [conj1] r_0013_0023__and and r_0013_0020__and->r_0013_0023__and [conj2] r_0013_0022__move move r_0013_0023__and->r_0013_0022__move [conj1] r_0013_0024__copy copy r_0013_0023__and->r_0013_0024__copy [conj2] r_0013_0022__move->r_0013_0010__the_r_0013_0011__notion [nim] r_0013_0022__move->r_0013_0018__files among [clr] r_0013_0022__move->z_000_13_a_history_of_qed_40 [arg0] r_0013_0025__text text r_0013_0022__move->r_0013_0025__text [arg1] r_0013_0024__copy->r_0013_0010__the_r_0013_0011__notion [nim] r_0013_0024__copy->r_0013_0018__files among [clr] r_0013_0024__copy->z_000_13_a_history_of_qed_40 [arg0] r_0013_0024__copy->r_0013_0025__text [arg1] r_0013_0030__also also r_0013_0031__the_r_0013_0032__idea->r_0013_0030__also [qual] z_000_13_a_history_of_qed_122 r_0013_0031__the_r_0013_0032__idea->z_000_13_a_history_of_qed_122 of r_0013_0034__executing executing z_000_13_a_history_of_qed_122->r_0013_0034__executing [scope] r_0013_0043__providing providing z_000_13_a_history_of_qed_122->r_0013_0043__providing [restriction] r_0013_0035__a_r_0013_0037__buffer a buffer r_0013_0034__executing->r_0013_0035__a_r_0013_0037__buffer [arg1] r_0013_0039__editor_r_0013_0040__commands editor commands r_0013_0034__executing->r_0013_0039__editor_r_0013_0040__commands as [nim] z_000_13_a_history_of_qed_99 r_0013_0034__executing->z_000_13_a_history_of_qed_99 [arg0] r_0013_0036__given given r_0013_0036__given->r_0013_0035__a_r_0013_0037__buffer [arg1] z_000_13_a_history_of_qed_106 r_0013_0036__given->z_000_13_a_history_of_qed_106 [arg0] r_0013_0043__providing->z_000_13_a_history_of_qed_99 [arg0] r_0013_0042__thus thus r_0013_0043__providing->r_0013_0042__thus [nim] r_0013_0044__programmability programmability r_0013_0043__providing->r_0013_0044__programmability [arg1] 
arc(r_0013_0003__CTSS_r_0013_0004__qed, r_0013_0001__Ken_r_0013_0002___apos_s, gen).
arc(r_0013_0005__adopted, r_0013_0003__CTSS_r_0013_0004__qed, arg0).
arc(r_0013_0005__adopted, r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one, r_0013_0006__from_nim17).
arc(r_0013_0005__adopted, r_0013_0029__and, arg1).
arc(r_0013_0010__the_r_0013_0011__notion, r_0013_0014__buffers, r_0013_0012__of).
arc(r_0013_0014__buffers, r_0013_0013__multiple, attrib35).
arc(r_0013_0015__to_r_0013_0016__edit, r_0013_0010__the_r_0013_0011__notion, nim41).
arc(r_0013_0015__to_r_0013_0016__edit, r_0013_0018__files, arg1).
arc(r_0013_0015__to_r_0013_0016__edit, r_0013_0019__simultaneously, nim55).
arc(r_0013_0015__to_r_0013_0016__edit, z_000_13_a_history_of_qed_40, arg0).
arc(r_0013_0018__files, r_0013_0017__several, attrib50).
arc(r_0013_0020__and, r_0013_0015__to_r_0013_0016__edit, conj1).
arc(r_0013_0020__and, r_0013_0023__and, conj2).
arc(r_0013_0022__move, r_0013_0010__the_r_0013_0011__notion, nim41).
arc(r_0013_0022__move, r_0013_0018__files, r_0013_0026__among_clr80).
arc(r_0013_0022__move, r_0013_0025__text, arg1).
arc(r_0013_0022__move, z_000_13_a_history_of_qed_40, arg0).
arc(r_0013_0023__and, r_0013_0022__move, conj1).
arc(r_0013_0023__and, r_0013_0024__copy, conj2).
arc(r_0013_0024__copy, r_0013_0010__the_r_0013_0011__notion, nim41).
arc(r_0013_0024__copy, r_0013_0018__files, r_0013_0026__among_clr80).
arc(r_0013_0024__copy, r_0013_0025__text, arg1).
arc(r_0013_0024__copy, z_000_13_a_history_of_qed_40, arg0).
arc(r_0013_0029__and, r_0013_0010__the_r_0013_0011__notion, conj1).
arc(r_0013_0029__and, r_0013_0031__the_r_0013_0032__idea, conj2).
arc(r_0013_0031__the_r_0013_0032__idea, r_0013_0030__also, qual89).
arc(r_0013_0031__the_r_0013_0032__idea, z_000_13_a_history_of_qed_122, r_0013_0033__of).
arc(r_0013_0034__executing, r_0013_0035__a_r_0013_0037__buffer, arg1).
arc(r_0013_0034__executing, r_0013_0039__editor_r_0013_0040__commands, r_0013_0038__as_nim115).
arc(r_0013_0034__executing, z_000_13_a_history_of_qed_99, arg0).
arc(r_0013_0036__given, r_0013_0035__a_r_0013_0037__buffer, arg1).
arc(r_0013_0036__given, z_000_13_a_history_of_qed_106, arg0).
arc(r_0013_0043__providing, r_0013_0042__thus, nim124).
arc(r_0013_0043__providing, r_0013_0044__programmability, arg1).
arc(r_0013_0043__providing, z_000_13_a_history_of_qed_99, arg0).
arc(z_000_13_a_history_of_qed_122, r_0013_0034__executing, scope).
arc(z_000_13_a_history_of_qed_122, r_0013_0043__providing, restriction).


%3 r_0013_0003__CTSS_r_0013_0004__qed CTSS qed r_0013_0001__Ken_r_0013_0002___apos_s Ken 's r_0013_0003__CTSS_r_0013_0004__qed->r_0013_0001__Ken_r_0013_0002___apos_s [gen] r_0013_0005__adopted adopted r_0013_0005__adopted->r_0013_0003__CTSS_r_0013_0004__qed [arg0] r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one the Berkeley one r_0013_0005__adopted->r_0013_0007__the_r_0013_0008__Berkeley_r_0013_0009__one from [nim] r_0013_0029__and and r_0013_0005__adopted->r_0013_0029__and [arg1] r_0013_0010__the_r_0013_0011__notion the notion r_0013_0029__and->r_0013_0010__the_r_0013_0011__notion [conj1] r_0013_0031__the_r_0013_0032__idea the idea r_0013_0029__and->r_0013_0031__the_r_0013_0032__idea [conj2] r_0013_0014__buffers buffers r_0013_0010__the_r_0013_0011__notion->r_0013_0014__buffers of r_0013_0013__multiple multiple r_0013_0014__buffers->r_0013_0013__multiple [attrib] r_0013_0015__to_r_0013_0016__edit to edit r_0013_0015__to_r_0013_0016__edit->r_0013_0010__the_r_0013_0011__notion [nim] r_0013_0018__files files r_0013_0015__to_r_0013_0016__edit->r_0013_0018__files [arg1] r_0013_0019__simultaneously simultaneously r_0013_0015__to_r_0013_0016__edit->r_0013_0019__simultaneously [nim] z_000_13_a_history_of_qed_40 r_0013_0015__to_r_0013_0016__edit->z_000_13_a_history_of_qed_40 [arg0] r_0013_0017__several several r_0013_0018__files->r_0013_0017__several [attrib] r_0013_0020__and and r_0013_0020__and->r_0013_0015__to_r_0013_0016__edit [conj1] r_0013_0023__and and r_0013_0020__and->r_0013_0023__and [conj2] r_0013_0022__move move r_0013_0023__and->r_0013_0022__move [conj1] r_0013_0024__copy copy r_0013_0023__and->r_0013_0024__copy [conj2] r_0013_0022__move->r_0013_0010__the_r_0013_0011__notion [nim] r_0013_0022__move->r_0013_0018__files among [clr] r_0013_0022__move->z_000_13_a_history_of_qed_40 [arg0] r_0013_0025__text text r_0013_0022__move->r_0013_0025__text [arg1] r_0013_0024__copy->r_0013_0010__the_r_0013_0011__notion [nim] r_0013_0024__copy->r_0013_0018__files among [clr] r_0013_0024__copy->z_000_13_a_history_of_qed_40 [arg0] r_0013_0024__copy->r_0013_0025__text [arg1] r_0013_0030__also also r_0013_0031__the_r_0013_0032__idea->r_0013_0030__also [qual] z_000_13_a_history_of_qed_122 r_0013_0031__the_r_0013_0032__idea->z_000_13_a_history_of_qed_122 of r_0013_0034__executing executing z_000_13_a_history_of_qed_122->r_0013_0034__executing [conj2] r_0013_0043__providing providing z_000_13_a_history_of_qed_122->r_0013_0043__providing [conj1] r_0013_0035__a_r_0013_0037__buffer a buffer r_0013_0034__executing->r_0013_0035__a_r_0013_0037__buffer [arg1] r_0013_0039__editor_r_0013_0040__commands editor commands r_0013_0034__executing->r_0013_0039__editor_r_0013_0040__commands as [nim] z_000_13_a_history_of_qed_99 r_0013_0034__executing->z_000_13_a_history_of_qed_99 [arg0] r_0013_0036__given given r_0013_0036__given->r_0013_0035__a_r_0013_0037__buffer [arg1] z_000_13_a_history_of_qed_106 r_0013_0036__given->z_000_13_a_history_of_qed_106 [arg0] r_0013_0043__providing->z_000_13_a_history_of_qed_99 [arg0] r_0013_0042__thus thus r_0013_0043__providing->r_0013_0042__thus [nim] r_0013_0044__programmability programmability r_0013_0043__providing->r_0013_0044__programmability [arg1] 
fof(formula,axiom,
    ? [R_13_5_ADOPTED,R_13_3_CTSS_QED,R_13_1_KEN_APOS_S,R_13_29_AND,R_13_31_THE_IDEA,R_13_30_ALSO,Z_13_A_HISTORY_OF_QED_122,R_13_43_PROVIDING,R_13_44_PROGRAMMABILITY,R_13_42_THUS,R_13_34_EXECUTING,Z_13_A_HISTORY_OF_QED_99,R_13_39_EDITOR_COMMANDS,R_13_7_THE_BERKELEY_ONE,R_13_20_AND,R_13_15_TO_EDIT,R_13_19_SIMULTANEOUSLY,R_13_23_AND,R_13_22_MOVE,R_13_24_COPY,Z_13_A_HISTORY_OF_QED_40,R_13_25_TEXT,R_13_10_THE_NOTION,R_13_14_BUFFERS,R_13_13_MULTIPLE,R_13_18_FILES,R_13_17_SEVERAL,R_13_36_GIVEN,Z_13_A_HISTORY_OF_QED_106,R_13_35_A_BUFFER] :
      ( ken_apos_s(R_13_1_KEN_APOS_S)
      & also(R_13_30_ALSO)
      & programmability(R_13_44_PROGRAMMABILITY)
      & thus(R_13_42_THUS)
      & editor_commands(R_13_39_EDITOR_COMMANDS)
      & the_Berkeley_one(R_13_7_THE_BERKELEY_ONE)
      & simultaneously(R_13_19_SIMULTANEOUSLY)
      & text(R_13_25_TEXT)
      & multiple(R_13_13_MULTIPLE)
      & several(R_13_17_SEVERAL)
      & a_buffer(R_13_35_A_BUFFER)
      & adopted(R_13_5_ADOPTED,R_13_3_CTSS_QED,R_13_29_AND)
      & cTSS_qed(R_13_3_CTSS_QED)
      & gen(R_13_3_CTSS_QED,R_13_1_KEN_APOS_S)
      & and(R_13_29_AND)
      & conj1(R_13_29_AND,R_13_10_THE_NOTION)
      & the_notion(R_13_10_THE_NOTION)
      & of(R_13_10_THE_NOTION,R_13_14_BUFFERS)
      & buffers(R_13_14_BUFFERS)
      & attrib35(R_13_14_BUFFERS,R_13_13_MULTIPLE)
      & conj2(R_13_29_AND,R_13_31_THE_IDEA)
      & the_idea(R_13_31_THE_IDEA)
      & qual89(R_13_31_THE_IDEA,R_13_30_ALSO)
      & of(R_13_31_THE_IDEA,Z_13_A_HISTORY_OF_QED_122)
      & z_13_a_history_of_qed_122(Z_13_A_HISTORY_OF_QED_122)
      & conj1(Z_13_A_HISTORY_OF_QED_122,R_13_43_PROVIDING)
      & providing(R_13_43_PROVIDING,Z_13_A_HISTORY_OF_QED_99,R_13_44_PROGRAMMABILITY)
      & nim124(R_13_43_PROVIDING,R_13_42_THUS)
      & conj2(Z_13_A_HISTORY_OF_QED_122,R_13_34_EXECUTING)
      & executing(R_13_34_EXECUTING,Z_13_A_HISTORY_OF_QED_99,R_13_35_A_BUFFER)
      & as_nim115(R_13_34_EXECUTING,R_13_39_EDITOR_COMMANDS)
      & from_nim17(R_13_5_ADOPTED,R_13_7_THE_BERKELEY_ONE)
      & and(R_13_20_AND)
      & conj1(R_13_20_AND,R_13_15_TO_EDIT)
      & to_edit(R_13_15_TO_EDIT,Z_13_A_HISTORY_OF_QED_40,R_13_18_FILES)
      & files(R_13_18_FILES)
      & attrib50(R_13_18_FILES,R_13_17_SEVERAL)
      & nim41(R_13_15_TO_EDIT,R_13_10_THE_NOTION)
      & nim55(R_13_15_TO_EDIT,R_13_19_SIMULTANEOUSLY)
      & conj2(R_13_20_AND,R_13_23_AND)
      & and(R_13_23_AND)
      & conj1(R_13_23_AND,R_13_22_MOVE)
      & move(R_13_22_MOVE,Z_13_A_HISTORY_OF_QED_40,R_13_25_TEXT)
      & nim41(R_13_22_MOVE,R_13_10_THE_NOTION)
      & among_clr80(R_13_22_MOVE,R_13_18_FILES)
      & conj2(R_13_23_AND,R_13_24_COPY)
      & copy(R_13_24_COPY,Z_13_A_HISTORY_OF_QED_40,R_13_25_TEXT)
      & nim41(R_13_24_COPY,R_13_10_THE_NOTION)
      & among_clr80(R_13_24_COPY,R_13_18_FILES)
      & given(R_13_36_GIVEN,Z_13_A_HISTORY_OF_QED_106,R_13_35_A_BUFFER) ) ).


n13_a_history_of_qed n13_a_history_of_qed_5 Ken n13_a_history_of_qed_7 's n13_a_history_of_qed_9 CTSS n13_a_history_of_qed_11 qed n13_a_history_of_qed_13 adopted n13_a_history_of_qed_16 from n13_a_history_of_qed_19 the n13_a_history_of_qed_21 Berkeley n13_a_history_of_qed_23 one n13_a_history_of_qed_28 the n13_a_history_of_qed_30 notion n13_a_history_of_qed_33 of n13_a_history_of_qed_37 multiple n13_a_history_of_qed_39 buffers n13_a_history_of_qed_42 *T* n13_a_history_of_qed_46 to n13_a_history_of_qed_48 edit n13_a_history_of_qed_52 several n13_a_history_of_qed_54 files n13_a_history_of_qed_57 simultaneously n13_a_history_of_qed_60 and n13_a_history_of_qed_63 to n13_a_history_of_qed_67 move n13_a_history_of_qed_70 and n13_a_history_of_qed_73 copy n13_a_history_of_qed_76 text n13_a_history_of_qed_79 among n13_a_history_of_qed_82 them n13_a_history_of_qed_84 , n13_a_history_of_qed_87 and n13_a_history_of_qed_91 also n13_a_history_of_qed_93 the n13_a_history_of_qed_95 idea n13_a_history_of_qed_98 of n13_a_history_of_qed_101 executing n13_a_history_of_qed_104 a n13_a_history_of_qed_107 * n13_a_history_of_qed_109 given n13_a_history_of_qed_111 buffer n13_a_history_of_qed_114 as n13_a_history_of_qed_117 editor n13_a_history_of_qed_119 commands n13_a_history_of_qed_121 , n13_a_history_of_qed_126 thus n13_a_history_of_qed_128 providing n13_a_history_of_qed_131 programmability n13_a_history_of_qed_133 . n13_a_history_of_qed_1 IP-MAT n13_a_history_of_qed_2 NP-SBJ n13_a_history_of_qed_1->n13_a_history_of_qed_2 n13_a_history_of_qed_12 VBD;_Tn.pr_ n13_a_history_of_qed_1->n13_a_history_of_qed_12 n13_a_history_of_qed_14 PP-NIM n13_a_history_of_qed_1->n13_a_history_of_qed_14 n13_a_history_of_qed_24 NP-OB1 n13_a_history_of_qed_1->n13_a_history_of_qed_24 n13_a_history_of_qed_132 PUNC n13_a_history_of_qed_1->n13_a_history_of_qed_132 n13_a_history_of_qed_3 NP-GEN n13_a_history_of_qed_2->n13_a_history_of_qed_3 n13_a_history_of_qed_8 NPR n13_a_history_of_qed_2->n13_a_history_of_qed_8 n13_a_history_of_qed_10 NPR n13_a_history_of_qed_2->n13_a_history_of_qed_10 n13_a_history_of_qed_4 NPR n13_a_history_of_qed_3->n13_a_history_of_qed_4 n13_a_history_of_qed_6 GENM n13_a_history_of_qed_3->n13_a_history_of_qed_6 n13_a_history_of_qed_4->n13_a_history_of_qed_5 n13_a_history_of_qed_6->n13_a_history_of_qed_7 n13_a_history_of_qed_8->n13_a_history_of_qed_9 n13_a_history_of_qed_10->n13_a_history_of_qed_11 n13_a_history_of_qed_12->n13_a_history_of_qed_13 n13_a_history_of_qed_15 P-ROLE n13_a_history_of_qed_14->n13_a_history_of_qed_15 n13_a_history_of_qed_17 NP n13_a_history_of_qed_14->n13_a_history_of_qed_17 n13_a_history_of_qed_15->n13_a_history_of_qed_16 n13_a_history_of_qed_18 D n13_a_history_of_qed_17->n13_a_history_of_qed_18 n13_a_history_of_qed_20 NPR n13_a_history_of_qed_17->n13_a_history_of_qed_20 n13_a_history_of_qed_22 NUM n13_a_history_of_qed_17->n13_a_history_of_qed_22 n13_a_history_of_qed_18->n13_a_history_of_qed_19 n13_a_history_of_qed_20->n13_a_history_of_qed_21 n13_a_history_of_qed_22->n13_a_history_of_qed_23 n13_a_history_of_qed_25 NLYR n13_a_history_of_qed_24->n13_a_history_of_qed_25 n13_a_history_of_qed_26 NLYR n13_a_history_of_qed_25->n13_a_history_of_qed_26 n13_a_history_of_qed_83 PUNC n13_a_history_of_qed_25->n13_a_history_of_qed_83 n13_a_history_of_qed_85 CONJP n13_a_history_of_qed_25->n13_a_history_of_qed_85 n13_a_history_of_qed_27 D n13_a_history_of_qed_26->n13_a_history_of_qed_27 n13_a_history_of_qed_29 N n13_a_history_of_qed_26->n13_a_history_of_qed_29 n13_a_history_of_qed_31 PP n13_a_history_of_qed_26->n13_a_history_of_qed_31 n13_a_history_of_qed_40 IP-INF-REL n13_a_history_of_qed_26->n13_a_history_of_qed_40 n13_a_history_of_qed_27->n13_a_history_of_qed_28 n13_a_history_of_qed_29->n13_a_history_of_qed_30 n13_a_history_of_qed_32 P-ROLE n13_a_history_of_qed_31->n13_a_history_of_qed_32 n13_a_history_of_qed_34 NP n13_a_history_of_qed_31->n13_a_history_of_qed_34 n13_a_history_of_qed_32->n13_a_history_of_qed_33 n13_a_history_of_qed_35 ADJP n13_a_history_of_qed_34->n13_a_history_of_qed_35 n13_a_history_of_qed_38 NS n13_a_history_of_qed_34->n13_a_history_of_qed_38 n13_a_history_of_qed_36 ADJ n13_a_history_of_qed_35->n13_a_history_of_qed_36 n13_a_history_of_qed_36->n13_a_history_of_qed_37 n13_a_history_of_qed_38->n13_a_history_of_qed_39 n13_a_history_of_qed_41 NP-NIM n13_a_history_of_qed_40->n13_a_history_of_qed_41 n13_a_history_of_qed_43 ILYR n13_a_history_of_qed_40->n13_a_history_of_qed_43 n13_a_history_of_qed_41->n13_a_history_of_qed_42 n13_a_history_of_qed_44 ILYR n13_a_history_of_qed_43->n13_a_history_of_qed_44 n13_a_history_of_qed_58 CONJP n13_a_history_of_qed_43->n13_a_history_of_qed_58 n13_a_history_of_qed_45 TO n13_a_history_of_qed_44->n13_a_history_of_qed_45 n13_a_history_of_qed_47 VB;_Tn_ n13_a_history_of_qed_44->n13_a_history_of_qed_47 n13_a_history_of_qed_49 NP-OB1 n13_a_history_of_qed_44->n13_a_history_of_qed_49 n13_a_history_of_qed_55 ADVP-NIM n13_a_history_of_qed_44->n13_a_history_of_qed_55 n13_a_history_of_qed_45->n13_a_history_of_qed_46 n13_a_history_of_qed_47->n13_a_history_of_qed_48 n13_a_history_of_qed_50 ADJP n13_a_history_of_qed_49->n13_a_history_of_qed_50 n13_a_history_of_qed_53 NS n13_a_history_of_qed_49->n13_a_history_of_qed_53 n13_a_history_of_qed_51 ADJ n13_a_history_of_qed_50->n13_a_history_of_qed_51 n13_a_history_of_qed_51->n13_a_history_of_qed_52 n13_a_history_of_qed_53->n13_a_history_of_qed_54 n13_a_history_of_qed_56 ADV n13_a_history_of_qed_55->n13_a_history_of_qed_56 n13_a_history_of_qed_56->n13_a_history_of_qed_57 n13_a_history_of_qed_59 CONJ n13_a_history_of_qed_58->n13_a_history_of_qed_59 n13_a_history_of_qed_61 ILYR n13_a_history_of_qed_58->n13_a_history_of_qed_61 n13_a_history_of_qed_59->n13_a_history_of_qed_60 n13_a_history_of_qed_62 TO n13_a_history_of_qed_61->n13_a_history_of_qed_62 n13_a_history_of_qed_64 ILYR n13_a_history_of_qed_61->n13_a_history_of_qed_64 n13_a_history_of_qed_74 NP-OB1 n13_a_history_of_qed_61->n13_a_history_of_qed_74 n13_a_history_of_qed_77 PP-CLR n13_a_history_of_qed_61->n13_a_history_of_qed_77 n13_a_history_of_qed_62->n13_a_history_of_qed_63 n13_a_history_of_qed_65 ILYR n13_a_history_of_qed_64->n13_a_history_of_qed_65 n13_a_history_of_qed_68 CONJP n13_a_history_of_qed_64->n13_a_history_of_qed_68 n13_a_history_of_qed_66 VB;_Tn.pr_ n13_a_history_of_qed_65->n13_a_history_of_qed_66 n13_a_history_of_qed_66->n13_a_history_of_qed_67 n13_a_history_of_qed_69 CONJ n13_a_history_of_qed_68->n13_a_history_of_qed_69 n13_a_history_of_qed_71 ILYR n13_a_history_of_qed_68->n13_a_history_of_qed_71 n13_a_history_of_qed_69->n13_a_history_of_qed_70 n13_a_history_of_qed_72 VB;_Tn.pr_ n13_a_history_of_qed_71->n13_a_history_of_qed_72 n13_a_history_of_qed_72->n13_a_history_of_qed_73 n13_a_history_of_qed_75 N n13_a_history_of_qed_74->n13_a_history_of_qed_75 n13_a_history_of_qed_75->n13_a_history_of_qed_76 n13_a_history_of_qed_78 P-ROLE n13_a_history_of_qed_77->n13_a_history_of_qed_78 n13_a_history_of_qed_80 NP n13_a_history_of_qed_77->n13_a_history_of_qed_80 n13_a_history_of_qed_78->n13_a_history_of_qed_79 n13_a_history_of_qed_81 PRO n13_a_history_of_qed_80->n13_a_history_of_qed_81 n13_a_history_of_qed_81->n13_a_history_of_qed_82 n13_a_history_of_qed_83->n13_a_history_of_qed_84 n13_a_history_of_qed_86 CONJ n13_a_history_of_qed_85->n13_a_history_of_qed_86 n13_a_history_of_qed_88 NLYR n13_a_history_of_qed_85->n13_a_history_of_qed_88 n13_a_history_of_qed_86->n13_a_history_of_qed_87 n13_a_history_of_qed_89 ADVP n13_a_history_of_qed_88->n13_a_history_of_qed_89 n13_a_history_of_qed_92 D n13_a_history_of_qed_88->n13_a_history_of_qed_92 n13_a_history_of_qed_94 N n13_a_history_of_qed_88->n13_a_history_of_qed_94 n13_a_history_of_qed_96 PP n13_a_history_of_qed_88->n13_a_history_of_qed_96 n13_a_history_of_qed_90 ADV n13_a_history_of_qed_89->n13_a_history_of_qed_90 n13_a_history_of_qed_90->n13_a_history_of_qed_91 n13_a_history_of_qed_92->n13_a_history_of_qed_93 n13_a_history_of_qed_94->n13_a_history_of_qed_95 n13_a_history_of_qed_97 P-ROLE n13_a_history_of_qed_96->n13_a_history_of_qed_97 n13_a_history_of_qed_99 IP-PPL n13_a_history_of_qed_96->n13_a_history_of_qed_99 n13_a_history_of_qed_97->n13_a_history_of_qed_98 n13_a_history_of_qed_100 VAG;_Tn_ n13_a_history_of_qed_99->n13_a_history_of_qed_100 n13_a_history_of_qed_102 NP-OB1 n13_a_history_of_qed_99->n13_a_history_of_qed_102 n13_a_history_of_qed_112 PP-NIM n13_a_history_of_qed_99->n13_a_history_of_qed_112 n13_a_history_of_qed_120 PUNC n13_a_history_of_qed_99->n13_a_history_of_qed_120 n13_a_history_of_qed_122 PP-SCON n13_a_history_of_qed_99->n13_a_history_of_qed_122 n13_a_history_of_qed_100->n13_a_history_of_qed_101 n13_a_history_of_qed_103 D n13_a_history_of_qed_102->n13_a_history_of_qed_103 n13_a_history_of_qed_105 IP-PPL n13_a_history_of_qed_102->n13_a_history_of_qed_105 n13_a_history_of_qed_110 N n13_a_history_of_qed_102->n13_a_history_of_qed_110 n13_a_history_of_qed_103->n13_a_history_of_qed_104 n13_a_history_of_qed_106 NP-LGS n13_a_history_of_qed_105->n13_a_history_of_qed_106 n13_a_history_of_qed_108 VVN;_Tn_ n13_a_history_of_qed_105->n13_a_history_of_qed_108 n13_a_history_of_qed_106->n13_a_history_of_qed_107 n13_a_history_of_qed_108->n13_a_history_of_qed_109 n13_a_history_of_qed_110->n13_a_history_of_qed_111 n13_a_history_of_qed_113 P-ROLE n13_a_history_of_qed_112->n13_a_history_of_qed_113 n13_a_history_of_qed_115 NP n13_a_history_of_qed_112->n13_a_history_of_qed_115 n13_a_history_of_qed_113->n13_a_history_of_qed_114 n13_a_history_of_qed_116 N n13_a_history_of_qed_115->n13_a_history_of_qed_116 n13_a_history_of_qed_118 NS n13_a_history_of_qed_115->n13_a_history_of_qed_118 n13_a_history_of_qed_116->n13_a_history_of_qed_117 n13_a_history_of_qed_118->n13_a_history_of_qed_119 n13_a_history_of_qed_120->n13_a_history_of_qed_121 n13_a_history_of_qed_123 IP-PPL2 n13_a_history_of_qed_122->n13_a_history_of_qed_123 n13_a_history_of_qed_124 ADVP-NIM n13_a_history_of_qed_123->n13_a_history_of_qed_124 n13_a_history_of_qed_127 VAG;_Tn_ n13_a_history_of_qed_123->n13_a_history_of_qed_127 n13_a_history_of_qed_129 NP-OB1 n13_a_history_of_qed_123->n13_a_history_of_qed_129 n13_a_history_of_qed_125 ADV n13_a_history_of_qed_124->n13_a_history_of_qed_125 n13_a_history_of_qed_125->n13_a_history_of_qed_126 n13_a_history_of_qed_127->n13_a_history_of_qed_128 n13_a_history_of_qed_130 N n13_a_history_of_qed_129->n13_a_history_of_qed_130 n13_a_history_of_qed_130->n13_a_history_of_qed_131 n13_a_history_of_qed_132->n13_a_history_of_qed_133 
( (IP-MAT (NP-SBJ;{CTSS_QED} (NP-GEN;{KEN} (NPR Ken;{Ken})
                                           (GENM <apos>s))
                             (NPR CTSS;{CTSS})
                             (NPR qed;{qed}))
          (VBD;_Tn.pr_ adopted;{adopt})
          (PP-NIM (P-ROLE from;{from})
                  (NP;{BERKELEY_QED} (D the;{the})
                                     (NPR Berkeley;{Berkeley})
                                     (NUM one;{one})))
          (NP-OB1 (NLYR (NLYR (D the;{the})
                              (N notion;{notion})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ multiple;{multiple}))
                                      (NS buffers;{buffer})))
                              (IP-INF-REL (NP-NIM *T*)
                                          (ILYR (ILYR (TO to;{to})
                                                      (VB;_Tn_ edit;{edit})
                                                      (NP-OB1;{FILES} (ADJP (ADJ several;{several}))
                                                                      (NS files;{file}))
                                                      (ADVP-NIM (ADV simultaneously;{simultaneously})))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (TO to;{to})
                                                             (ILYR (ILYR (VB;_Tn.pr_ move;{move[among]}))
                                                                   (CONJP (CONJ and;{and})
                                                                          (ILYR (VB;_Tn.pr_ copy;{copy[among]}))))
                                                             (NP-OB1 (N text;{text}))
                                                             (PP-CLR (P-ROLE among;{among})
                                                                     (NP;{FILES} (PRO them;{they}))))))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (ADVP (ADV also;{also}))
                                     (D the;{the})
                                     (N idea;{idea})
                                     (PP (P-ROLE of;{of})
                                         (IP-PPL (VAG;_Tn_ executing;{execute})
                                                 (NP-OB1 (D a;{a})
                                                         (IP-PPL (NP-LGS *)
                                                                 (VVN;_Tn_ given;{give}))
                                                         (N buffer;{buffer}))
                                                 (PP-NIM (P-ROLE as;{as})
                                                         (NP (N editor;{editor})
                                                             (NS commands;{command})))
                                                 (PUNC ,)
                                                 (PP-SCON (IP-PPL2 (ADVP-NIM (ADV thus;{thus}))
                                                                   (VAG;_Tn_ providing;{provide})
                                                                   (NP-OB1 (N programmability;{programmability}))))))))))
          (PUNC .))
  (ID 13_a_history_of_qed))