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 z_000_40_a_history_of_qed_38 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 r_0040_0013__and and r_0040_0013__and->z_000_40_a_history_of_qed_38 [conj2] r_0040_0009__notion notion r_0040_0013__and->r_0040_0009__notion [conj1] 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_0007__ditched ditched r_0040_0007__ditched->r_0040_0013__and [arg1] r_0040_0005__Unix_r_0040_0006__ed Unix ed 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_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] 
fof(formula,axiom,
    ? [R_0040_0001__SIMILARLY,R_0040_0003__KEN_R_0040_0004___APOS_S,R_0040_0005__UNIX_R_0040_0006__ED,R_0040_0011__MULTIPLE,R_0040_0012__BUFFERS,R_0040_0009__NOTION,R_0040_0017__BUFFERS,R_0040_0015__EXECUTION,Z_000_40_A_HISTORY_OF_QED_38,R_0040_0013__AND,R_0040_0007__DITCHED] :
      ( r_0040_0001__Similarly(R_0040_0001__SIMILARLY)
      & r_0040_0003__Ken_r_0040_0004___apos_s(R_0040_0003__KEN_R_0040_0004___APOS_S)
      & r_0040_0011__multiple(R_0040_0011__MULTIPLE)
      & r_0040_0017__buffers(R_0040_0017__BUFFERS)
      & r_0040_0007__ditched(R_0040_0007__DITCHED)
      & has_arg1(R_0040_0007__DITCHED,R_0040_0013__AND)
      & r_0040_0013__and(R_0040_0013__AND)
      & has_conj2(R_0040_0013__AND,Z_000_40_A_HISTORY_OF_QED_38)
      & z_000_40_a_history_of_qed_38(Z_000_40_A_HISTORY_OF_QED_38)
      & has_r_0040_0014__of(Z_000_40_A_HISTORY_OF_QED_38,R_0040_0015__EXECUTION)
      & r_0040_0015__execution(R_0040_0015__EXECUTION)
      & has_r_0040_0016__of(R_0040_0015__EXECUTION,R_0040_0017__BUFFERS)
      & has_conj1(R_0040_0013__AND,R_0040_0009__NOTION)
      & ~ ( has_r_0040_0010__of(R_0040_0009__NOTION,R_0040_0012__BUFFERS)
          & r_0040_0012__buffers(R_0040_0012__BUFFERS)
          & has_attrib30(R_0040_0012__BUFFERS,R_0040_0011__MULTIPLE) )
      & has_arg0(R_0040_0007__DITCHED,R_0040_0005__UNIX_R_0040_0006__ED)
      & r_0040_0005__Unix_r_0040_0006__ed(R_0040_0005__UNIX_R_0040_0006__ED)
      & has_gen(R_0040_0005__UNIX_R_0040_0006__ED,R_0040_0003__KEN_R_0040_0004___APOS_S)
      & has_nim2(R_0040_0007__DITCHED,R_0040_0001__SIMILARLY) ) ).


n40_a_history_of_qed n40_a_history_of_qed__1_1_1_1 Similarly n40_a_history_of_qed__1_2_1 , n40_a_history_of_qed__1_3_1_1_1 Ken n40_a_history_of_qed__1_3_1_2_1 's n40_a_history_of_qed__1_3_2_1 Unix n40_a_history_of_qed__1_3_3_1 ed n40_a_history_of_qed__1_4_1 ditched n40_a_history_of_qed__1_5_1_1 the n40_a_history_of_qed__1_5_2_1_1_1 notion n40_a_history_of_qed__1_5_2_1_2_1_1 of n40_a_history_of_qed__1_5_2_1_2_2_1_1_1 multiple n40_a_history_of_qed__1_5_2_1_2_2_2_1 buffers n40_a_history_of_qed__1_5_2_2_1_1 and n40_a_history_of_qed__1_5_2_2_2_1_1_1 of n40_a_history_of_qed__1_5_2_2_2_1_2_1_1 execution n40_a_history_of_qed__1_5_2_2_2_1_2_2_1_1 of n40_a_history_of_qed__1_5_2_2_2_1_2_2_2_1_1 buffers n40_a_history_of_qed__1_6_1 . n40_a_history_of_qed__1 IP-MAT n40_a_history_of_qed__1_1 ADVP-NIM n40_a_history_of_qed__1->n40_a_history_of_qed__1_1 n40_a_history_of_qed__1_2 PUNC n40_a_history_of_qed__1->n40_a_history_of_qed__1_2 n40_a_history_of_qed__1_3 NP-SBJ n40_a_history_of_qed__1->n40_a_history_of_qed__1_3 n40_a_history_of_qed__1_4 VBD;_Tn_ n40_a_history_of_qed__1->n40_a_history_of_qed__1_4 n40_a_history_of_qed__1_5 NP-OB1 n40_a_history_of_qed__1->n40_a_history_of_qed__1_5 n40_a_history_of_qed__1_6 PUNC n40_a_history_of_qed__1->n40_a_history_of_qed__1_6 n40_a_history_of_qed__1_1_1 ADV n40_a_history_of_qed__1_1->n40_a_history_of_qed__1_1_1 n40_a_history_of_qed__1_1_1->n40_a_history_of_qed__1_1_1_1 n40_a_history_of_qed__1_2->n40_a_history_of_qed__1_2_1 n40_a_history_of_qed__1_3_1 NP-GEN n40_a_history_of_qed__1_3->n40_a_history_of_qed__1_3_1 n40_a_history_of_qed__1_3_2 NPR n40_a_history_of_qed__1_3->n40_a_history_of_qed__1_3_2 n40_a_history_of_qed__1_3_3 NPR n40_a_history_of_qed__1_3->n40_a_history_of_qed__1_3_3 n40_a_history_of_qed__1_3_1_1 NPR n40_a_history_of_qed__1_3_1->n40_a_history_of_qed__1_3_1_1 n40_a_history_of_qed__1_3_1_2 GENM n40_a_history_of_qed__1_3_1->n40_a_history_of_qed__1_3_1_2 n40_a_history_of_qed__1_3_1_1->n40_a_history_of_qed__1_3_1_1_1 n40_a_history_of_qed__1_3_1_2->n40_a_history_of_qed__1_3_1_2_1 n40_a_history_of_qed__1_3_2->n40_a_history_of_qed__1_3_2_1 n40_a_history_of_qed__1_3_3->n40_a_history_of_qed__1_3_3_1 n40_a_history_of_qed__1_4->n40_a_history_of_qed__1_4_1 n40_a_history_of_qed__1_5_1 D n40_a_history_of_qed__1_5->n40_a_history_of_qed__1_5_1 n40_a_history_of_qed__1_5_2 NLYR n40_a_history_of_qed__1_5->n40_a_history_of_qed__1_5_2 n40_a_history_of_qed__1_5_1->n40_a_history_of_qed__1_5_1_1 n40_a_history_of_qed__1_5_2_1 NLYR n40_a_history_of_qed__1_5_2->n40_a_history_of_qed__1_5_2_1 n40_a_history_of_qed__1_5_2_2 CONJP n40_a_history_of_qed__1_5_2->n40_a_history_of_qed__1_5_2_2 n40_a_history_of_qed__1_5_2_1_1 N n40_a_history_of_qed__1_5_2_1->n40_a_history_of_qed__1_5_2_1_1 n40_a_history_of_qed__1_5_2_1_2 PP n40_a_history_of_qed__1_5_2_1->n40_a_history_of_qed__1_5_2_1_2 n40_a_history_of_qed__1_5_2_1_1->n40_a_history_of_qed__1_5_2_1_1_1 n40_a_history_of_qed__1_5_2_1_2_1 P-ROLE n40_a_history_of_qed__1_5_2_1_2->n40_a_history_of_qed__1_5_2_1_2_1 n40_a_history_of_qed__1_5_2_1_2_2 NP n40_a_history_of_qed__1_5_2_1_2->n40_a_history_of_qed__1_5_2_1_2_2 n40_a_history_of_qed__1_5_2_1_2_1->n40_a_history_of_qed__1_5_2_1_2_1_1 n40_a_history_of_qed__1_5_2_1_2_2_1 ADJP n40_a_history_of_qed__1_5_2_1_2_2->n40_a_history_of_qed__1_5_2_1_2_2_1 n40_a_history_of_qed__1_5_2_1_2_2_2 NS n40_a_history_of_qed__1_5_2_1_2_2->n40_a_history_of_qed__1_5_2_1_2_2_2 n40_a_history_of_qed__1_5_2_1_2_2_1_1 ADJ n40_a_history_of_qed__1_5_2_1_2_2_1->n40_a_history_of_qed__1_5_2_1_2_2_1_1 n40_a_history_of_qed__1_5_2_1_2_2_1_1->n40_a_history_of_qed__1_5_2_1_2_2_1_1_1 n40_a_history_of_qed__1_5_2_1_2_2_2->n40_a_history_of_qed__1_5_2_1_2_2_2_1 n40_a_history_of_qed__1_5_2_2_1 CONJ n40_a_history_of_qed__1_5_2_2->n40_a_history_of_qed__1_5_2_2_1 n40_a_history_of_qed__1_5_2_2_2 NLYR n40_a_history_of_qed__1_5_2_2->n40_a_history_of_qed__1_5_2_2_2 n40_a_history_of_qed__1_5_2_2_1->n40_a_history_of_qed__1_5_2_2_1_1 n40_a_history_of_qed__1_5_2_2_2_1 PP n40_a_history_of_qed__1_5_2_2_2->n40_a_history_of_qed__1_5_2_2_2_1 n40_a_history_of_qed__1_5_2_2_2_1_1 P-ROLE n40_a_history_of_qed__1_5_2_2_2_1->n40_a_history_of_qed__1_5_2_2_2_1_1 n40_a_history_of_qed__1_5_2_2_2_1_2 NP n40_a_history_of_qed__1_5_2_2_2_1->n40_a_history_of_qed__1_5_2_2_2_1_2 n40_a_history_of_qed__1_5_2_2_2_1_1->n40_a_history_of_qed__1_5_2_2_2_1_1_1 n40_a_history_of_qed__1_5_2_2_2_1_2_1 N n40_a_history_of_qed__1_5_2_2_2_1_2->n40_a_history_of_qed__1_5_2_2_2_1_2_1 n40_a_history_of_qed__1_5_2_2_2_1_2_2 PP n40_a_history_of_qed__1_5_2_2_2_1_2->n40_a_history_of_qed__1_5_2_2_2_1_2_2 n40_a_history_of_qed__1_5_2_2_2_1_2_1->n40_a_history_of_qed__1_5_2_2_2_1_2_1_1 n40_a_history_of_qed__1_5_2_2_2_1_2_2_1 P-ROLE n40_a_history_of_qed__1_5_2_2_2_1_2_2->n40_a_history_of_qed__1_5_2_2_2_1_2_2_1 n40_a_history_of_qed__1_5_2_2_2_1_2_2_2 NP n40_a_history_of_qed__1_5_2_2_2_1_2_2->n40_a_history_of_qed__1_5_2_2_2_1_2_2_2 n40_a_history_of_qed__1_5_2_2_2_1_2_2_1->n40_a_history_of_qed__1_5_2_2_2_1_2_2_1_1 n40_a_history_of_qed__1_5_2_2_2_1_2_2_2_1 NS n40_a_history_of_qed__1_5_2_2_2_1_2_2_2->n40_a_history_of_qed__1_5_2_2_2_1_2_2_2_1 n40_a_history_of_qed__1_5_2_2_2_1_2_2_2_1->n40_a_history_of_qed__1_5_2_2_2_1_2_2_2_1_1 n40_a_history_of_qed__1_6->n40_a_history_of_qed__1_6_1 
( (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))