36_a_history_of_qed
The “ standard Unix editor ” ed was first written by Ken Thompson for the PDP .

%3 0036_0001__The_0036_0004__Unix_0036_0005__edito0036_0007__ed the_unix_editor_ed 0036_0003__standard standard 0036_0001__The_0036_0004__Unix_0036_0005__edito0036_0007__ed->0036_0003__standard [attrib] 0036_0008__was_0036_0010__written was_written 0036_0008__was_0036_0010__written->0036_0001__The_0036_0004__Unix_0036_0005__edito0036_0007__ed [arg1] 0036_0009__first first 0036_0008__was_0036_0010__written->0036_0009__first [tmp] 0036_0012__Ken_0036_0013__Thompson ken_thompson 0036_0008__was_0036_0010__written->0036_0012__Ken_0036_0013__Thompson by[lgs] 0036_0015__the_0036_0016__PDP the_pdp 0036_0008__was_0036_0010__written->0036_0015__the_0036_0016__PDP for
arc(r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed,r_0036_0003__standard,attrib).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0001__The_r_0036_0004__Unix_r_0036_0005__editor_r_0036_0007__ed,arg1).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0009__first,tmp).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0012__Ken_r_0036_0013__Thompson,r_0036_0011__by__lgs).
arc(r_0036_0008__was_r_0036_0010__written,r_0036_0015__the_r_0036_0016__PDP,r_0036_0014__for).


IP-MAT NP-SBJ D The PULQ ADJP ADJ standard NPR Unix N editor PURQ NPR ed BED;~cat_Ve_passive_ was IP-PPL-CAT NP-LGS * ADVP-TMP ADV first VVN written PP-LGS P-ROLE by NP NPR Ken NPR Thompson PP P-ROLE for NP D the NPR PDP PUNC .
( (IP-MAT (NP-SBJ;{STANDARD_ED} (D The;{the})
                                (PULQ <ldquo>)
                                (ADJP (ADJ standard;{standard}))
                                (NPR Unix;{Unix})
                                (N editor;{editor})
                                (PURQ <rdquo>)
                                (NPR ed;{ed}))
          (BED;~cat_Ve_passive_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-TMP (ADV first;{first}))
                      (VVN written;{write})
                      (PP-LGS (P-ROLE by;{by})
                              (NP;{KEN} (NPR Ken;{Ken})
                                        (NPR Thompson;{Thompson})))
                      (PP (P-ROLE for;{for})
                          (NP (D the;{the})
                              (NPR PDP;{PDP}))))
          (PUNC .))
  (ID 36_a_history_of_qed))