60_a_history_of_qed
A traditional ( and maybe the nicest ) version of QED was done at the University of Toronto by Tom Duff , Rob Pike , Hugh Redelmeier , and David Tilbrook ; it supports multiple buffers , execution of buffers , and regular expressions with back - referencing .

%3 0060_0001__A a 0060_0002__traditional traditional 0060_0001__A->0060_0002__traditional [attrib] 0060_0004__and_0060_0005__maybe and_maybe 0060_0004__and_0060_0005__maybe->0060_0001__A [conj1] 0060_0006__the the 0060_0004__and_0060_0005__maybe->0060_0006__the [conj2] 0060_0007__nicest nicest 0060_0006__the->0060_0007__nicest [attrib] 0060_0009__version version 0060_0009__version->0060_0004__and_0060_0005__maybe [nlyr] 0060_0011__QED qed 0060_0009__version->0060_0011__QED of 0060_0012__was_0060_0013__done was_done 0060_0012__was_0060_0013__done->0060_0009__version [arg1] 0060_0015__the_0060_0016__University the_university 0060_0012__was_0060_0013__done->0060_0015__the_0060_0016__University at[loc] 0060_0034__supports supports 0060_0012__was_0060_0013__done->0060_0034__supports [prn_comment] z_0060_1020 _ 0060_0012__was_0060_0013__done->z_0060_1020 [arg0]by[lgs] 0060_0018__Toronto toronto 0060_0015__the_0060_0016__University->0060_0018__Toronto of 0060_0034__supports->0060_0009__version [arg0] 0060_0042__and and 0060_0034__supports->0060_0042__and [arg1] 0060_0036__buffers buffers 0060_0042__and->0060_0036__buffers [conj1] 0060_0038__execution execution 0060_0042__and->0060_0038__execution [conj2] 0060_0044__expressions expressions 0060_0042__and->0060_0044__expressions [conj3] 0060_0035__multiple multiple 0060_0036__buffers->0060_0035__multiple [attrib] 0060_0040__buffers buffers 0060_0038__execution->0060_0040__buffers of 0060_0043__regular regular 0060_0044__expressions->0060_0043__regular [attrib] 0060_0046__back_0060_0048__referencing back_referencing 0060_0044__expressions->0060_0046__back_0060_0048__referencing with
arc(r_0060_0001__A,r_0060_0002__traditional,attrib).
arc(r_0060_0004__and_r_0060_0005__maybe,r_0060_0001__A,conj1).
arc(r_0060_0004__and_r_0060_0005__maybe,r_0060_0006__the,conj2).
arc(r_0060_0006__the,r_0060_0007__nicest,attrib).
arc(r_0060_0009__version,r_0060_0004__and_r_0060_0005__maybe,nlyr).
arc(r_0060_0009__version,r_0060_0011__QED,r_0060_0010__of).
arc(r_0060_0012__was_r_0060_0013__done,r_0060_0009__version,arg1).
arc(r_0060_0012__was_r_0060_0013__done,r_0060_0015__the_r_0060_0016__University,r_0060_0014__at__loc).
arc(r_0060_0012__was_r_0060_0013__done,r_0060_0034__supports,prn_comment).
arc(r_0060_0012__was_r_0060_0013__done,z_0060_1020,arg0_r_0060_0019__by__lgs).
arc(r_0060_0015__the_r_0060_0016__University,r_0060_0018__Toronto,r_0060_0017__of).
arc(r_0060_0034__supports,r_0060_0009__version,arg0).
arc(r_0060_0034__supports,r_0060_0042__and,arg1).
arc(r_0060_0036__buffers,r_0060_0035__multiple,attrib).
arc(r_0060_0038__execution,r_0060_0040__buffers,r_0060_0039__of).
arc(r_0060_0042__and,r_0060_0036__buffers,conj1).
arc(r_0060_0042__and,r_0060_0038__execution,conj2).
arc(r_0060_0042__and,r_0060_0044__expressions,conj3).
arc(r_0060_0044__expressions,r_0060_0043__regular,attrib).
arc(r_0060_0044__expressions,r_0060_0046__back_r_0060_0048__referencing,r_0060_0045__with).


IP-MAT NP-SBJ NLYR NLYR NP D A ADJP ADJ traditional PULB -LRB- CONJP CONJ and ADVP-MOD ADV maybe NP D the ADJP ADJS nicest PURB -RRB- N version PP P-ROLE of NP NPR QED BED;~cat_Ve_passive_ was IP-PPL-CAT DON;~Tn done PP-LOC P-ROLE at NP D the NPR University PP P-ROLE of NP NPR Toronto PP-LGS P-ROLE by NP NP NPR Tom NPR Duff PUNC , CONJP NP NPR Rob NPR Pike PUNC , CONJP NP NPR Hugh NPR Redelmeier PUNC , CONJP CONJ and NP NPR David NPR Tilbrook PUNC ; PRN IP-MAT NP-SBJ PRO it VBP supports NP-OB1 NLYR NP ADJP ADJ multiple NS buffers PUNC , CONJP NP N execution PP P-ROLE of NP NS buffers PUNC , CONJP CONJ and NP ADJP ADJ regular NS expressions PP P-ROLE with NP N back PUNC - N referencing PUNC .
( (IP-MAT (NP-SBJ;{TORONTO_QED} (NLYR (NLYR (NP (D A;{a})
                                                (ADJP (ADJ traditional;{traditional})))
                                            (PULB -LRB-)
                                            (CONJP (CONJ and;{and})
                                                   (ADVP-MOD (ADV maybe;{maybe}))
                                                   (NP (D the;{the})
                                                       (ADJP (ADJS nicest;{nice}))))
                                            (PURB -RRB-)))
                                (N version;{version})
                                (PP (P-ROLE of;{of})
                                    (NP (NPR QED;{QED}))))
          (BED;~cat_Ve_passive_ was;{be})
          (IP-PPL-CAT (DON;~Tn done;{do})
                      (PP-LOC (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (NPR University;{University})
                                  (PP (P-ROLE of;{of})
                                      (NP (NPR Toronto;{Toronto})))))
                      (PP-LGS (P-ROLE by;{by})
                              (NP (NP (NPR Tom;{Tom})
                                      (NPR Duff;{Duff}))
                                  (PUNC ,)
                                  (CONJP (NP (NPR Rob;{Rob})
                                             (NPR Pike;{Pike})))
                                  (PUNC ,)
                                  (CONJP (NP (NPR Hugh;{Hugh})
                                             (NPR Redelmeier;{Redelmeier})))
                                  (PUNC ,)
                                  (CONJP (CONJ and;{and})
                                         (NP (NPR David;{David})
                                             (NPR Tilbrook;{Tilbrook}))))))
          (PUNC ;)
          (PRN (IP-MAT (NP-SBJ;{TORONTO_QED} (PRO it;{it}))
                       (VBP supports;{support})
                       (NP-OB1 (NLYR (NP (ADJP (ADJ multiple;{multiple}))
                                         (NS buffers;{buffer}))
                                     (PUNC ,)
                                     (CONJP (NP (N execution;{execution})
                                                (PP (P-ROLE of;{of})
                                                    (NP (NS buffers;{buffer})))))
                                     (PUNC ,)
                                     (CONJP (CONJ and;{and})
                                            (NP (ADJP (ADJ regular;{regular}))
                                                (NS expressions;{expression})
                                                (PP (P-ROLE with;{with})
                                                    (NP (N back;{back})
                                                        (PUNC -)
                                                        (N referencing;{referencing})))))))))
          (PUNC .))
  (ID 60_a_history_of_qed))