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))