31_a_history_of_qed
It seems that this version ( or perhaps another reimplementation ) was released : I have the first few pages of a document , courtesy of Joshua Ryan , that were used as “ TSO Short Course Notes ” at University of Missouri -- Columbia .
%3
0031_0002__seems
seems
0031_0012__was_0031_0013__released
was_released
0031_0002__seems->0031_0012__was_0031_0013__released
[argn0]
0031_0007__o0031_0008__perhaps
or_perhaps
0031_0012__was_0031_0013__released->0031_0007__o0031_0008__perhaps
[arg1]
0031_0004__this_0031_0005__version
this_version
0031_0007__o0031_0008__perhaps->0031_0004__this_0031_0005__version
[conj1]
0031_0009__anothe0031_0010__reimplementation
another_reimplementation
0031_0007__o0031_0008__perhaps->0031_0009__anothe0031_0010__reimplementation
[conj2]
0031_0016__have
have
0031_0015__I
I
0031_0016__have->0031_0015__I
[arg0]
0031_0017__the_0031_0020__pages
the_pages
0031_0016__have->0031_0017__the_0031_0020__pages
[arg1]
0031_0018__first
first
0031_0017__the_0031_0020__pages->0031_0018__first
[attrib]
0031_0019__few
few
0031_0017__the_0031_0020__pages->0031_0019__few
[attrib]
0031_0022__a_0031_0023__document
a_document
0031_0017__the_0031_0020__pages->0031_0022__a_0031_0023__document
of
0031_0025__courtesy
courtesy
0031_0025__courtesy->0031_0017__the_0031_0020__pages
[prn]
0031_0027__Joshua_0031_0028__Ryan
joshua_ryan
0031_0025__courtesy->0031_0027__Joshua_0031_0028__Ryan
of
0031_0031__were_0031_0032__used
were_used
0031_0031__were_0031_0032__used->0031_0017__the_0031_0020__pages
[arg1]
0031_0038__Notes
notes
0031_0031__were_0031_0032__used->0031_0038__Notes
as[prd]
0031_0041__University
university
0031_0031__were_0031_0032__used->0031_0041__University
at[loc]
0031_0035__TSO_0031_0036__Short_0031_0037__Course
tso_short_course
0031_0038__Notes->0031_0035__TSO_0031_0036__Short_0031_0037__Course
[nlyr]
0031_0043__Missouri
missouri
0031_0041__University->0031_0043__Missouri
of
0031_0045__Columbia
columbia
0031_0045__Columbia->0031_0043__Missouri
[prn]
z_0031_1001
_
z_0031_1001->0031_0002__seems
[conj1]
z_0031_1001->0031_0016__have
[conj2]
arc(r_0031_0002__seems,r_0031_0012__was_r_0031_0013__released,argn0).
arc(r_0031_0007__or_r_0031_0008__perhaps,r_0031_0004__this_r_0031_0005__version,conj1).
arc(r_0031_0007__or_r_0031_0008__perhaps,r_0031_0009__another_r_0031_0010__reimplementation,conj2).
arc(r_0031_0012__was_r_0031_0013__released,r_0031_0007__or_r_0031_0008__perhaps,arg1).
arc(r_0031_0016__have,r_0031_0015__I,arg0).
arc(r_0031_0016__have,r_0031_0017__the_r_0031_0020__pages,arg1).
arc(r_0031_0017__the_r_0031_0020__pages,r_0031_0018__first,attrib).
arc(r_0031_0017__the_r_0031_0020__pages,r_0031_0019__few,attrib).
arc(r_0031_0017__the_r_0031_0020__pages,r_0031_0022__a_r_0031_0023__document,r_0031_0021__of).
arc(r_0031_0025__courtesy,r_0031_0017__the_r_0031_0020__pages,prn).
arc(r_0031_0025__courtesy,r_0031_0027__Joshua_r_0031_0028__Ryan,r_0031_0026__of).
arc(r_0031_0031__were_r_0031_0032__used,r_0031_0017__the_r_0031_0020__pages,arg1).
arc(r_0031_0031__were_r_0031_0032__used,r_0031_0038__Notes,r_0031_0033__as__prd).
arc(r_0031_0031__were_r_0031_0032__used,r_0031_0041__University,r_0031_0040__at__loc).
arc(r_0031_0038__Notes,r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course,nlyr).
arc(r_0031_0041__University,r_0031_0043__Missouri,r_0031_0042__of).
arc(r_0031_0045__Columbia,r_0031_0043__Missouri,prn).
arc(z_0031_1001,r_0031_0002__seems,coord_conj1).
arc(z_0031_1001,r_0031_0016__have,coord_conj2).
IP-MAT
ILYR
ILYR
NP-SBJ
PRO;_provisional_
It
VBP
seems
CP-THT-NSBJ
IP-SUB
C
that
NP-SBJ
NLYR
NP
D
this
N
version
PULB
-LRB-
CONJP
CONJ
or
ADVP-MOD
ADV
perhaps
NP
D
another
N
reimplementation
PURB
-RRB-
BED;~cat_Ve_passive_
was
IP-PPL-CAT
NP-LGS
*
VVN
released
PUNC
:
CONJP
ILYR
NP-SBJ
PRO
I
HVP;~Tn
have
NP-OB1
D
the
ADJP
ADJ
first
ADJP
ADJ
few
NS
pages
PP
P-ROLE
of
NP
D
a
N
document
PUNC
,
PRN
NP
N
courtesy
PP
P-ROLE
of
NP
NPR
Joshua
NPR
Ryan
PUNC
,
IP-REL
NP-SBJ
RPRO
that
BED;~cat_Ve_passive_
were
IP-PPL-CAT
NP-LGS
*
VVN;~Cn.n/a
used
PP-PRD
P-ROLE
as
PULQ
“
NP
NLYR
NPR
TSO
NLYR
NPR
Short
NPR
Course
NPRS
Notes
PURQ
”
PP-LOC
P-ROLE
at
NP
NPR
University
PP
P-ROLE
of
NP
NPR
Missouri
PUNC
--
PRN
NP
NPR
Columbia
PUNC
.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
(VBP seems;{seem})
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ (NLYR (NP;{TSO_QED} (D this;{this})
(N version;{version}))
(PULB -LRB-)
(CONJP (CONJ or;{or})
(ADVP-MOD (ADV perhaps;{perhaps}))
(NP (D another;{another})
(N reimplementation;{reimplementation})))
(PURB -RRB-)))
(BED;~cat_Ve_passive_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN released;{release})))))
(PUNC :)
(CONJP (ILYR (NP-SBJ (PRO I;{I}))
(HVP;~Tn have;{have})
(NP-OB1 (D the;{the})
(ADJP (ADJ first;{first}))
(ADJP (ADJ few;{few}))
(NS pages;{page})
(PP (P-ROLE of;{of})
(NP;{BQED_NOTES} (D a;{a})
(N document;{document})))
(PUNC ,)
(PRN (NP (N courtesy;{courtesy})
(PP (P-ROLE of;{of})
(NP;{JOSHUA_RYAN} (NPR Joshua;{Joshua})
(NPR Ryan;{Ryan})))))
(PUNC ,)
(IP-REL (NP-SBJ (RPRO that;{that}))
(BED;~cat_Ve_passive_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;~Cn.n/a used;{use[as]})
(PP-PRD (P-ROLE as;{as})
(PULQ <ldquo>)
(NP (NLYR (NPR TSO;{TSO})
(NLYR (NPR Short;{Short})
(NPR Course;{Course})))
(NPRS Notes;{Notes}))
(PURQ <rdquo>))
(PP-LOC (P-ROLE at;{at})
(NP (NPR University;{University})
(PP (P-ROLE of;{of})
(NP (NPR Missouri;{Missouri})
(PUNC --)
(PRN (NP (NPR Columbia;{Columbia})))))))))))))
(PUNC .))
(ID 31_a_history_of_qed))