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 0040_0005__Unix_0040_0006__ed unix_ed 0040_0003__Ken ken 0040_0005__Unix_0040_0006__ed->0040_0003__Ken [genv] 0040_0007__ditched ditched 0040_0007__ditched->0040_0005__Unix_0040_0006__ed [arg0] 0040_0001__Similarly similarly 0040_0007__ditched->0040_0001__Similarly [mnr] 0040_0008__the_0040_0009__notion the_notion 0040_0007__ditched->0040_0008__the_0040_0009__notion [arg1] 0040_0013__and and 0040_0008__the_0040_0009__notion->0040_0013__and 0040_0012__buffers buffers 0040_0013__and->0040_0012__buffers of 0040_0015__execution execution 0040_0013__and->0040_0015__execution of 0040_0011__multiple multiple 0040_0012__buffers->0040_0011__multiple [attrib] 0040_0017__buffers buffers 0040_0015__execution->0040_0017__buffers of 
arc(r_0040_0005__Unix_r_0040_0006__ed,r_0040_0003__Ken,genv).
arc(r_0040_0007__ditched,r_0040_0001__Similarly,mnr).
arc(r_0040_0007__ditched,r_0040_0005__Unix_r_0040_0006__ed,arg0).
arc(r_0040_0007__ditched,r_0040_0008__the_r_0040_0009__notion,arg1).
arc(r_0040_0008__the_r_0040_0009__notion,r_0040_0013__and,z_0040_1004).
arc(r_0040_0012__buffers,r_0040_0011__multiple,attrib).
arc(r_0040_0013__and,r_0040_0012__buffers,r_0040_0010__of).
arc(r_0040_0013__and,r_0040_0015__execution,r_0040_0014__of).
arc(r_0040_0015__execution,r_0040_0017__buffers,r_0040_0016__of).

IP-MAT ADVP-MNR ADV Similarly PUNC , NP-SBJ NP-GENV NPR Ken GENM 's NPR Unix NPR ed VBD;~Tn ditched NP-OB1 D the N notion PP PP P-ROLE of NP ADJP ADJ multiple NS buffers CONJP CONJ and PP P-ROLE of NP N execution PP P-ROLE of NP NS buffers PUNC . 
( (IP-MAT (ADVP-MNR (ADV Similarly;{similarly}))
          (PUNC ,)
          (NP-SBJ;{STANDARD_ED} (NP-GENV;{KEN} (NPR Ken;{Ken})
                                               (GENM <apos>s))
                                (NPR Unix;{Unix})
                                (NPR ed;{ed}))
          (VBD;~Tn ditched;{ditch})
          (NP-OB1 (D the;{the})
                  (N notion;{notion})
                  (PP (PP (P-ROLE of;{of})
                          (NP (ADJP (ADJ multiple;{multiple}))
                              (NS buffers;{buffer})))
                      (CONJP (CONJ and;{and})
                             (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))