Context                Previous, Next                Top


40_a_history_of_qed
Similarly, Ken's Unix ed ditched the notion of multiple buffers and of execution of buffers.

%3 r_0040_0005__Unix_r_0040_0006__ed Unix ed r_0040_0003__Ken_r_0040_0004___apos_s Ken 's r_0040_0005__Unix_r_0040_0006__ed->r_0040_0003__Ken_r_0040_0004___apos_s [gen] r_0040_0007__ditched ditched r_0040_0007__ditched->r_0040_0005__Unix_r_0040_0006__ed [arg0] r_0040_0001__Similarly Similarly r_0040_0007__ditched->r_0040_0001__Similarly [nim] r_0040_0013__and and r_0040_0007__ditched->r_0040_0013__and [arg1] r_0040_0009__notion notion r_0040_0013__and->r_0040_0009__notion [conj1] z_000_40_a_history_of_qed_38 r_0040_0013__and->z_000_40_a_history_of_qed_38 [conj2] r_0040_0012__buffers buffers r_0040_0009__notion->r_0040_0012__buffers of r_0040_0011__multiple multiple r_0040_0012__buffers->r_0040_0011__multiple [attrib] r_0040_0015__execution execution z_000_40_a_history_of_qed_38->r_0040_0015__execution of r_0040_0017__buffers buffers r_0040_0015__execution->r_0040_0017__buffers of 
arc(r_0040_0005__Unix_r_0040_0006__ed, r_0040_0003__Ken_r_0040_0004___apos_s, gen).
arc(r_0040_0007__ditched, r_0040_0001__Similarly, nim2).
arc(r_0040_0007__ditched, r_0040_0005__Unix_r_0040_0006__ed, arg0).
arc(r_0040_0007__ditched, r_0040_0013__and, arg1).
arc(r_0040_0009__notion, r_0040_0012__buffers, r_0040_0010__of).
arc(r_0040_0012__buffers, r_0040_0011__multiple, attrib30).
arc(r_0040_0013__and, r_0040_0009__notion, conj1).
arc(r_0040_0013__and, z_000_40_a_history_of_qed_38, conj2).
arc(r_0040_0015__execution, r_0040_0017__buffers, r_0040_0016__of).
arc(z_000_40_a_history_of_qed_38, r_0040_0015__execution, r_0040_0014__of).


%3 r_0040_0005__Unix_r_0040_0006__ed Unix ed r_0040_0003__Ken_r_0040_0004___apos_s Ken 's r_0040_0005__Unix_r_0040_0006__ed->r_0040_0003__Ken_r_0040_0004___apos_s [gen] r_0040_0007__ditched ditched r_0040_0007__ditched->r_0040_0005__Unix_r_0040_0006__ed [arg0] r_0040_0001__Similarly Similarly r_0040_0007__ditched->r_0040_0001__Similarly [nim] r_0040_0013__and and r_0040_0007__ditched->r_0040_0013__and [arg1] r_0040_0009__notion notion r_0040_0013__and->r_0040_0009__notion [conj1] z_000_40_a_history_of_qed_38 r_0040_0013__and->z_000_40_a_history_of_qed_38 [conj2] r_0040_0012__buffers buffers r_0040_0009__notion->r_0040_0012__buffers of r_0040_0011__multiple multiple r_0040_0012__buffers->r_0040_0011__multiple [attrib] r_0040_0015__execution execution z_000_40_a_history_of_qed_38->r_0040_0015__execution of r_0040_0017__buffers buffers r_0040_0015__execution->r_0040_0017__buffers of 
fof(formula,axiom,
    ? [R_40_7_DITCHED,R_40_5_UNIX_ED,R_40_3_KEN_APOS_S,R_40_13_AND,R_40_9_NOTION,R_40_12_BUFFERS,R_40_11_MULTIPLE,Z_40_A_HISTORY_OF_QED_38,R_40_15_EXECUTION,R_40_17_BUFFERS,R_40_1_SIMILARLY] :
      ( ken_apos_s(R_40_3_KEN_APOS_S)
      & multiple(R_40_11_MULTIPLE)
      & buffers(R_40_17_BUFFERS)
      & similarly(R_40_1_SIMILARLY)
      & ditched(R_40_7_DITCHED,R_40_5_UNIX_ED,R_40_13_AND)
      & unix_ed(R_40_5_UNIX_ED)
      & gen(R_40_5_UNIX_ED,R_40_3_KEN_APOS_S)
      & and(R_40_13_AND)
      & conj1(R_40_13_AND,R_40_9_NOTION)
      & notion(R_40_9_NOTION)
      & of(R_40_9_NOTION,R_40_12_BUFFERS)
      & buffers(R_40_12_BUFFERS)
      & attrib30(R_40_12_BUFFERS,R_40_11_MULTIPLE)
      & conj2(R_40_13_AND,Z_40_A_HISTORY_OF_QED_38)
      & z_40_a_history_of_qed_38(Z_40_A_HISTORY_OF_QED_38)
      & of(Z_40_A_HISTORY_OF_QED_38,R_40_15_EXECUTION)
      & execution(R_40_15_EXECUTION)
      & of(R_40_15_EXECUTION,R_40_17_BUFFERS)
      & nim2(R_40_7_DITCHED,R_40_1_SIMILARLY) ) ).


n40_a_history_of_qed n40_a_history_of_qed_4 Similarly n40_a_history_of_qed_6 , n40_a_history_of_qed_10 Ken n40_a_history_of_qed_12 's n40_a_history_of_qed_14 Unix n40_a_history_of_qed_16 ed n40_a_history_of_qed_18 ditched n40_a_history_of_qed_21 the n40_a_history_of_qed_25 notion n40_a_history_of_qed_28 of n40_a_history_of_qed_32 multiple n40_a_history_of_qed_34 buffers n40_a_history_of_qed_37 and n40_a_history_of_qed_41 of n40_a_history_of_qed_44 execution n40_a_history_of_qed_47 of n40_a_history_of_qed_50 buffers n40_a_history_of_qed_52 . n40_a_history_of_qed_1 IP-MAT n40_a_history_of_qed_2 ADVP-NIM n40_a_history_of_qed_1->n40_a_history_of_qed_2 n40_a_history_of_qed_5 PUNC n40_a_history_of_qed_1->n40_a_history_of_qed_5 n40_a_history_of_qed_7 NP-SBJ n40_a_history_of_qed_1->n40_a_history_of_qed_7 n40_a_history_of_qed_17 VBD;_Tn_ n40_a_history_of_qed_1->n40_a_history_of_qed_17 n40_a_history_of_qed_19 NP-OB1 n40_a_history_of_qed_1->n40_a_history_of_qed_19 n40_a_history_of_qed_51 PUNC n40_a_history_of_qed_1->n40_a_history_of_qed_51 n40_a_history_of_qed_3 ADV n40_a_history_of_qed_2->n40_a_history_of_qed_3 n40_a_history_of_qed_3->n40_a_history_of_qed_4 n40_a_history_of_qed_5->n40_a_history_of_qed_6 n40_a_history_of_qed_8 NP-GEN n40_a_history_of_qed_7->n40_a_history_of_qed_8 n40_a_history_of_qed_13 NPR n40_a_history_of_qed_7->n40_a_history_of_qed_13 n40_a_history_of_qed_15 NPR n40_a_history_of_qed_7->n40_a_history_of_qed_15 n40_a_history_of_qed_9 NPR n40_a_history_of_qed_8->n40_a_history_of_qed_9 n40_a_history_of_qed_11 GENM n40_a_history_of_qed_8->n40_a_history_of_qed_11 n40_a_history_of_qed_9->n40_a_history_of_qed_10 n40_a_history_of_qed_11->n40_a_history_of_qed_12 n40_a_history_of_qed_13->n40_a_history_of_qed_14 n40_a_history_of_qed_15->n40_a_history_of_qed_16 n40_a_history_of_qed_17->n40_a_history_of_qed_18 n40_a_history_of_qed_20 D n40_a_history_of_qed_19->n40_a_history_of_qed_20 n40_a_history_of_qed_22 NLYR n40_a_history_of_qed_19->n40_a_history_of_qed_22 n40_a_history_of_qed_20->n40_a_history_of_qed_21 n40_a_history_of_qed_23 NLYR n40_a_history_of_qed_22->n40_a_history_of_qed_23 n40_a_history_of_qed_35 CONJP n40_a_history_of_qed_22->n40_a_history_of_qed_35 n40_a_history_of_qed_24 N n40_a_history_of_qed_23->n40_a_history_of_qed_24 n40_a_history_of_qed_26 PP n40_a_history_of_qed_23->n40_a_history_of_qed_26 n40_a_history_of_qed_24->n40_a_history_of_qed_25 n40_a_history_of_qed_27 P-ROLE n40_a_history_of_qed_26->n40_a_history_of_qed_27 n40_a_history_of_qed_29 NP n40_a_history_of_qed_26->n40_a_history_of_qed_29 n40_a_history_of_qed_27->n40_a_history_of_qed_28 n40_a_history_of_qed_30 ADJP n40_a_history_of_qed_29->n40_a_history_of_qed_30 n40_a_history_of_qed_33 NS n40_a_history_of_qed_29->n40_a_history_of_qed_33 n40_a_history_of_qed_31 ADJ n40_a_history_of_qed_30->n40_a_history_of_qed_31 n40_a_history_of_qed_31->n40_a_history_of_qed_32 n40_a_history_of_qed_33->n40_a_history_of_qed_34 n40_a_history_of_qed_36 CONJ n40_a_history_of_qed_35->n40_a_history_of_qed_36 n40_a_history_of_qed_38 NLYR n40_a_history_of_qed_35->n40_a_history_of_qed_38 n40_a_history_of_qed_36->n40_a_history_of_qed_37 n40_a_history_of_qed_39 PP n40_a_history_of_qed_38->n40_a_history_of_qed_39 n40_a_history_of_qed_40 P-ROLE n40_a_history_of_qed_39->n40_a_history_of_qed_40 n40_a_history_of_qed_42 NP n40_a_history_of_qed_39->n40_a_history_of_qed_42 n40_a_history_of_qed_40->n40_a_history_of_qed_41 n40_a_history_of_qed_43 N n40_a_history_of_qed_42->n40_a_history_of_qed_43 n40_a_history_of_qed_45 PP n40_a_history_of_qed_42->n40_a_history_of_qed_45 n40_a_history_of_qed_43->n40_a_history_of_qed_44 n40_a_history_of_qed_46 P-ROLE n40_a_history_of_qed_45->n40_a_history_of_qed_46 n40_a_history_of_qed_48 NP n40_a_history_of_qed_45->n40_a_history_of_qed_48 n40_a_history_of_qed_46->n40_a_history_of_qed_47 n40_a_history_of_qed_49 NS n40_a_history_of_qed_48->n40_a_history_of_qed_49 n40_a_history_of_qed_49->n40_a_history_of_qed_50 n40_a_history_of_qed_51->n40_a_history_of_qed_52 
( (IP-MAT (ADVP-NIM (ADV Similarly;{similarly}))
          (PUNC ,)
          (NP-SBJ;{STANDARD_ED} (NP-GEN;{KEN} (NPR Ken;{Ken})
                                              (GENM <apos>s))
                                (NPR Unix;{Unix})
                                (NPR ed;{ed}))
          (VBD;_Tn_ ditched;{ditch})
          (NP-OB1 (D the;{the})
                  (NLYR (NLYR (N notion;{notion})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ multiple;{multiple}))
                                      (NS buffers;{buffer}))))
                        (CONJP (CONJ and;{and})
                               (NLYR (PP (P-ROLE of;{of})
                                         (NP (N execution;{execution})
                                             (PP (P-ROLE of;{of})
                                                 (NP (NS buffers;{buffer})))))))))
          (PUNC .))
  (ID 40_a_history_of_qed))