5_a_history_of_qed
Ken Thompson used this QED at Berkeley before he came to Bell Labs , and among the first things he did on arriving was to write a new version for the MIT CTSS system .

%3 0005_0003__used used 0005_0001__Ken_0005_0002__Thompson ken_thompson 0005_0003__used->0005_0001__Ken_0005_0002__Thompson [arg0] 0005_0004__this_0005_0005__QED this_qed 0005_0003__used->0005_0004__this_0005_0005__QED [arg1] 0005_0007__Berkeley berkeley 0005_0003__used->0005_0007__Berkeley at[loc] 0005_0008__before before[tmp] 0005_0008__before->0005_0003__used [scope] 0005_0010__came came 0005_0008__before->0005_0010__came [restriction] 0005_0010__came->0005_0001__Ken_0005_0002__Thompson [arg0] 0005_0012__Bell_0005_0013__Labs bell_labs 0005_0010__came->0005_0012__Bell_0005_0013__Labs to[dir] 0005_0015__and and 0005_0015__and->0005_0008__before [conj1] 0005_0024__was was 0005_0015__and->0005_0024__was [conj2] 0005_0017__the_0005_0019__things the_things 0005_0024__was->0005_0017__the_0005_0019__things among[clr][prd2] 0005_0026__write write 0005_0024__was->0005_0026__write [arg0] 0005_0018__first first 0005_0017__the_0005_0019__things->0005_0018__first [attrib] 0005_0021__did did 0005_0021__did->0005_0001__Ken_0005_0002__Thompson [arg0] 0005_0021__did->0005_0017__the_0005_0019__things [arg1] 0005_0023__arriving arriving 0005_0021__did->0005_0023__arriving on[cnt] 0005_0023__arriving->0005_0001__Ken_0005_0002__Thompson [arg0] 0005_0027__a_0005_0029__version a_version 0005_0026__write->0005_0027__a_0005_0029__version [arg1] 0005_0031__the_0005_0032__MIT_0005_0033__CTSS_0005_0034__system the_mit_ctss_system 0005_0026__write->0005_0031__the_0005_0032__MIT_0005_0033__CTSS_0005_0034__system for[bnf] 0005_0028__new new 0005_0027__a_0005_0029__version->0005_0028__new [attrib]
arc(r_0005_0003__used,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0003__used,r_0005_0004__this_r_0005_0005__QED,arg1).
arc(r_0005_0003__used,r_0005_0007__Berkeley,r_0005_0006__at__loc).
arc(r_0005_0008__before_tmp,r_0005_0003__used,scope_).
arc(r_0005_0008__before_tmp,r_0005_0010__came,restriction_).
arc(r_0005_0010__came,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0010__came,r_0005_0012__Bell_r_0005_0013__Labs,r_0005_0011__to__dir).
arc(r_0005_0015__and,r_0005_0008__before_tmp,coord_conj1).
arc(r_0005_0015__and,r_0005_0024__was,coord_conj2).
arc(r_0005_0017__the_r_0005_0019__things,r_0005_0018__first,attrib).
arc(r_0005_0021__did,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0021__did,r_0005_0017__the_r_0005_0019__things,arg1).
arc(r_0005_0021__did,r_0005_0023__arriving,r_0005_0022__on__cnt).
arc(r_0005_0023__arriving,r_0005_0001__Ken_r_0005_0002__Thompson,arg0).
arc(r_0005_0024__was,r_0005_0017__the_r_0005_0019__things,r_0005_0016__among__clr_prd2).
arc(r_0005_0024__was,r_0005_0026__write,arg0).
arc(r_0005_0026__write,r_0005_0027__a_r_0005_0029__version,arg1).
arc(r_0005_0026__write,r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system,r_0005_0030__for__bnf).
arc(r_0005_0027__a_r_0005_0029__version,r_0005_0028__new,attrib).


IP-MAT ILYR ILYR NP-SBJ NPR Ken NPR Thompson VBD used NP-OB1 D this NPR QED PP-LOC P-ROLE at NP NPR Berkeley PP-SCON-TMP P-CONN before IP-ADV NP-SBJ PRO he VBD came PP-DIR P-ROLE to NP NPR Bell NPR Labs PUNC , CONJP CONJ and ILYR PP-CLR-PRD2 P-ROLE among NP D the ADJP ADJ first NS things IP-REL NP-OB1 *T* NP-SBJ PRO he DOD did PP-CNT P-ROLE on IP-PPL2 VAG arriving BED;~Ipr was IP-INF-SBJ TO to VB write NP-OB1 D a ADJP ADJ new N version PP-BNF P-ROLE for NP D the NPR MIT NPR CTSS N system PUNC .
( (IP-MAT (ILYR (ILYR (NP-SBJ;{KEN} (NPR Ken;{Ken})
                                    (NPR Thompson;{Thompson}))
                      (VBD used;{use})
                      (NP-OB1;{BERKELEY_QED} (D this;{this})
                                             (NPR QED;{QED}))
                      (PP-LOC (P-ROLE at;{at})
                              (NP (NPR Berkeley;{Berkeley})))
                      (PP-SCON-TMP (P-CONN before;{before})
                                   (IP-ADV (NP-SBJ;{KEN} (PRO he;{he}))
                                           (VBD came;{come})
                                           (PP-DIR (P-ROLE to;{to})
                                                   (NP (NPR Bell;{Bell})
                                                       (NPR Labs;{Labs}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-CLR-PRD2 (P-ROLE among;{among})
                                          (NP (D the;{the})
                                              (ADJP (ADJ first;{first}))
                                              (NS things;{thing})
                                              (IP-REL (NP-OB1 *T*)
                                                      (NP-SBJ;{KEN} (PRO he;{he}))
                                                      (DOD did;{do})
                                                      (PP-CNT (P-ROLE on;{on})
                                                              (IP-PPL2 (VAG arriving;{arrive}))))))
                             (BED;~Ipr was;{be[among]})
                             (IP-INF-SBJ (TO to;{to})
                                         (VB write;{write})
                                         (NP-OB1;{CTSS_QED} (D a;{a})
                                                            (ADJP (ADJ new;{new}))
                                                            (N version;{version}))
                                         (PP-BNF (P-ROLE for;{for})
                                                 (NP (D the;{the})
                                                     (NPR MIT;{MIT})
                                                     (NPR CTSS;{CTSS})
                                                     (N system;{system})))))))
          (PUNC .))
  (ID 5_a_history_of_qed))