Context                Previous, Next                Top


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 was 0031_0002__seems->0031_0012__was [arg0] 0031_0013__released released 0031_0012__was->0031_0013__released [scope] 0031_0007__or or 0031_0004__this_5__version this_version 0031_0007__or->0031_0004__this_5__version [conj1] 0031_0009__another_10__reimplementation another_reimplementation 0031_0007__or->0031_0009__another_10__reimplementation [conj2] 0031_0008__perhaps perhaps 0031_0009__another_10__reimplementation->0031_0008__perhaps [qual] 0031_0013__released->0031_0007__or [arg1] 0031_5009___star_ * 0031_0013__released->0031_5009___star_ [arg0] 0031_0016__have have 0031_0015__I I 0031_0016__have->0031_0015__I [arg0] 0031_0017__the_20__pages the_pages 0031_0016__have->0031_0017__the_20__pages [arg1] 0031_0018__first first 0031_0017__the_20__pages->0031_0018__first [attrib] 0031_0019__few few 0031_0017__the_20__pages->0031_0019__few [attrib] 0031_0022__a_23__document a_document 0031_0017__the_20__pages->0031_0022__a_23__document of 0031_0025__courtesy courtesy 0031_0027__Joshua_28__Ryan Joshua_Ryan 0031_0025__courtesy->0031_0027__Joshua_28__Ryan of 0031_0031__were were 0031_0032__used used 0031_0031__were->0031_0032__used [scope] 0031_0032__used->0031_0017__the_20__pages [inv][arg1] 0031_0038__Notes Notes 0031_0032__used->0031_0038__Notes as[prd] 0031_0041__University University 0031_0032__used->0031_0041__University at[nim] 0031_5026___star_ * 0031_0032__used->0031_5026___star_ [arg0] 0031_0035__TSO_36__Short_37__Course TSO_Short_Course 0031_0038__Notes->0031_0035__TSO_36__Short_37__Course [modifier] 0031_0043__Missouri Missouri 0031_0041__University->0031_0043__Missouri of 0031_5001 0031_5001->0031_0002__seems [conj1] 0031_5001->0031_0016__have [conj2] 0031_5018 0031_5018->0031_0017__the_20__pages [arg0] 0031_5018->0031_0025__courtesy [prd] 0031_5023 0031_5023->0031_0043__Missouri [arg0] 0031_0045__Columbia Columbia 0031_5023->0031_0045__Columbia [prd] 
arc(r_0031_0002__seems,r_0031_0012__was,arg0).
arc(r_0031_0007__or,r_0031_0004__this_r_0031_0005__version,conj1).
arc(r_0031_0007__or,r_0031_0009__another_r_0031_0010__reimplementation,conj2).
arc(r_0031_0009__another_r_0031_0010__reimplementation,r_0031_0008__perhaps,qual).
arc(r_0031_0012__was,r_0031_0013__released,scope).
arc(r_0031_0013__released,r_0031_0007__or,arg1).
arc(r_0031_0013__released,z_0031_5009___star_,arg0).
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_0027__Joshua_r_0031_0028__Ryan,r_0031_0026__of).
arc(r_0031_0031__were,r_0031_0032__used,scope).
arc(r_0031_0032__used,r_0031_0017__the_r_0031_0020__pages,inv_arg1).
arc(r_0031_0032__used,r_0031_0038__Notes,r_0031_0033__as__prd).
arc(r_0031_0032__used,r_0031_0041__University,r_0031_0040__at__nim).
arc(r_0031_0032__used,z_0031_5026___star_,arg0).
arc(r_0031_0038__Notes,r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course,modifier).
arc(r_0031_0041__University,r_0031_0043__Missouri,r_0031_0042__of).
arc(z_0031_5001,r_0031_0002__seems,conj1).
arc(z_0031_5001,r_0031_0016__have,conj2).
arc(z_0031_5018,r_0031_0017__the_r_0031_0020__pages,arg0).
arc(z_0031_5018,r_0031_0025__courtesy,prd).
arc(z_0031_5023,r_0031_0043__Missouri,arg0).
arc(z_0031_5023,r_0031_0045__Columbia,prd).

n31_a_history_of_qed n31_a_history_of_qed__1_1_1_1_1_1 It n31_a_history_of_qed__1_1_1_2_1 seems n31_a_history_of_qed__1_1_1_3_1_1_1 that n31_a_history_of_qed__1_1_1_3_1_2_1_1_1_1 this n31_a_history_of_qed__1_1_1_3_1_2_1_1_2_1 version n31_a_history_of_qed__1_1_1_3_1_2_1_2_1 -LRB- n31_a_history_of_qed__1_1_1_3_1_2_1_3_1_1 or n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1_1_1 perhaps n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_2_1 another n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_3_1 reimplementation n31_a_history_of_qed__1_1_1_3_1_2_1_4_1 -RRB- n31_a_history_of_qed__1_1_1_3_1_3_1 was n31_a_history_of_qed__1_1_1_3_1_4_1_1 * n31_a_history_of_qed__1_1_1_3_1_4_2_1 released n31_a_history_of_qed__1_1_2_1 : n31_a_history_of_qed__1_1_3_1_1_1_1 I n31_a_history_of_qed__1_1_3_1_2_1 have n31_a_history_of_qed__1_1_3_1_3_1_1 the n31_a_history_of_qed__1_1_3_1_3_2_1_1 first n31_a_history_of_qed__1_1_3_1_3_3_1_1 few n31_a_history_of_qed__1_1_3_1_3_4_1 pages n31_a_history_of_qed__1_1_3_1_3_5_1_1 of n31_a_history_of_qed__1_1_3_1_3_5_2_1_1 a n31_a_history_of_qed__1_1_3_1_3_5_2_2_1 document n31_a_history_of_qed__1_1_3_1_3_6_1 , n31_a_history_of_qed__1_1_3_1_3_7_1_1_1 courtesy n31_a_history_of_qed__1_1_3_1_3_7_1_2_1_1 of n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_1_1 Joshua n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_2_1 Ryan n31_a_history_of_qed__1_1_3_1_3_8_1 , n31_a_history_of_qed__1_1_3_1_3_9_1_1 that n31_a_history_of_qed__1_1_3_1_3_9_2_1 *T* n31_a_history_of_qed__1_1_3_1_3_9_3_1 were n31_a_history_of_qed__1_1_3_1_3_9_4_1_1 * n31_a_history_of_qed__1_1_3_1_3_9_4_2_1 used n31_a_history_of_qed__1_1_3_1_3_9_4_3_1_1 as n31_a_history_of_qed__1_1_3_1_3_9_4_3_2_1 <ldquo> n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_1_1 TSO n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_1_1 Short n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_2_1 Course n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_2_1 Notes n31_a_history_of_qed__1_1_3_1_3_9_4_3_4_1 <rdquo> n31_a_history_of_qed__1_1_3_1_3_9_4_4_1_1 at n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_1_1 University n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_1_1 of n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_1_1 Missouri n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_2_1 -- n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1_1_1 Columbia n31_a_history_of_qed__1_2_1 . n31_a_history_of_qed__1 IP-MAT n31_a_history_of_qed__1_1 ILYR n31_a_history_of_qed__1->n31_a_history_of_qed__1_1 n31_a_history_of_qed__1_2 PUNC n31_a_history_of_qed__1->n31_a_history_of_qed__1_2 n31_a_history_of_qed__1_1_1 ILYR n31_a_history_of_qed__1_1->n31_a_history_of_qed__1_1_1 n31_a_history_of_qed__1_1_2 PUNC n31_a_history_of_qed__1_1->n31_a_history_of_qed__1_1_2 n31_a_history_of_qed__1_1_3 CONJP n31_a_history_of_qed__1_1->n31_a_history_of_qed__1_1_3 n31_a_history_of_qed__1_1_1_1 NP-SBJ n31_a_history_of_qed__1_1_1->n31_a_history_of_qed__1_1_1_1 n31_a_history_of_qed__1_1_1_2 VBP;~ n31_a_history_of_qed__1_1_1->n31_a_history_of_qed__1_1_1_2 n31_a_history_of_qed__1_1_1_3 CP-THT-NSBJ n31_a_history_of_qed__1_1_1->n31_a_history_of_qed__1_1_1_3 n31_a_history_of_qed__1_1_1_1_1 PRO;_provisional_ n31_a_history_of_qed__1_1_1_1->n31_a_history_of_qed__1_1_1_1_1 n31_a_history_of_qed__1_1_1_1_1->n31_a_history_of_qed__1_1_1_1_1_1 n31_a_history_of_qed__1_1_1_2->n31_a_history_of_qed__1_1_1_2_1 n31_a_history_of_qed__1_1_1_3_1 IP-SUB n31_a_history_of_qed__1_1_1_3->n31_a_history_of_qed__1_1_1_3_1 n31_a_history_of_qed__1_1_1_3_1_1 C n31_a_history_of_qed__1_1_1_3_1->n31_a_history_of_qed__1_1_1_3_1_1 n31_a_history_of_qed__1_1_1_3_1_2 NP-SBJ n31_a_history_of_qed__1_1_1_3_1->n31_a_history_of_qed__1_1_1_3_1_2 n31_a_history_of_qed__1_1_1_3_1_3 BED;~cat_Ve_passive_ n31_a_history_of_qed__1_1_1_3_1->n31_a_history_of_qed__1_1_1_3_1_3 n31_a_history_of_qed__1_1_1_3_1_4 IP-PPL-CAT n31_a_history_of_qed__1_1_1_3_1->n31_a_history_of_qed__1_1_1_3_1_4 n31_a_history_of_qed__1_1_1_3_1_1->n31_a_history_of_qed__1_1_1_3_1_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1 NLYR n31_a_history_of_qed__1_1_1_3_1_2->n31_a_history_of_qed__1_1_1_3_1_2_1 n31_a_history_of_qed__1_1_1_3_1_2_1_1 NLYR n31_a_history_of_qed__1_1_1_3_1_2_1->n31_a_history_of_qed__1_1_1_3_1_2_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1_2 PULB n31_a_history_of_qed__1_1_1_3_1_2_1->n31_a_history_of_qed__1_1_1_3_1_2_1_2 n31_a_history_of_qed__1_1_1_3_1_2_1_3 CONJP n31_a_history_of_qed__1_1_1_3_1_2_1->n31_a_history_of_qed__1_1_1_3_1_2_1_3 n31_a_history_of_qed__1_1_1_3_1_2_1_4 PURB n31_a_history_of_qed__1_1_1_3_1_2_1->n31_a_history_of_qed__1_1_1_3_1_2_1_4 n31_a_history_of_qed__1_1_1_3_1_2_1_1_1 D n31_a_history_of_qed__1_1_1_3_1_2_1_1->n31_a_history_of_qed__1_1_1_3_1_2_1_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1_1_2 N n31_a_history_of_qed__1_1_1_3_1_2_1_1->n31_a_history_of_qed__1_1_1_3_1_2_1_1_2 n31_a_history_of_qed__1_1_1_3_1_2_1_1_1->n31_a_history_of_qed__1_1_1_3_1_2_1_1_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1_1_2->n31_a_history_of_qed__1_1_1_3_1_2_1_1_2_1 n31_a_history_of_qed__1_1_1_3_1_2_1_2->n31_a_history_of_qed__1_1_1_3_1_2_1_2_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_1 CONJ n31_a_history_of_qed__1_1_1_3_1_2_1_3->n31_a_history_of_qed__1_1_1_3_1_2_1_3_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2 NLYR n31_a_history_of_qed__1_1_1_3_1_2_1_3->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2 n31_a_history_of_qed__1_1_1_3_1_2_1_3_1->n31_a_history_of_qed__1_1_1_3_1_2_1_3_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1 ADVP n31_a_history_of_qed__1_1_1_3_1_2_1_3_2->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_2 D n31_a_history_of_qed__1_1_1_3_1_2_1_3_2->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_2 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_3 N n31_a_history_of_qed__1_1_1_3_1_2_1_3_2->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_3 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1_1 ADV n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1_1->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_1_1_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_2->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_2_1 n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_3->n31_a_history_of_qed__1_1_1_3_1_2_1_3_2_3_1 n31_a_history_of_qed__1_1_1_3_1_2_1_4->n31_a_history_of_qed__1_1_1_3_1_2_1_4_1 n31_a_history_of_qed__1_1_1_3_1_3->n31_a_history_of_qed__1_1_1_3_1_3_1 n31_a_history_of_qed__1_1_1_3_1_4_1 NP-LGS n31_a_history_of_qed__1_1_1_3_1_4->n31_a_history_of_qed__1_1_1_3_1_4_1 n31_a_history_of_qed__1_1_1_3_1_4_2 VVN;~ n31_a_history_of_qed__1_1_1_3_1_4->n31_a_history_of_qed__1_1_1_3_1_4_2 n31_a_history_of_qed__1_1_1_3_1_4_1->n31_a_history_of_qed__1_1_1_3_1_4_1_1 n31_a_history_of_qed__1_1_1_3_1_4_2->n31_a_history_of_qed__1_1_1_3_1_4_2_1 n31_a_history_of_qed__1_1_2->n31_a_history_of_qed__1_1_2_1 n31_a_history_of_qed__1_1_3_1 ILYR n31_a_history_of_qed__1_1_3->n31_a_history_of_qed__1_1_3_1 n31_a_history_of_qed__1_1_3_1_1 NP-SBJ n31_a_history_of_qed__1_1_3_1->n31_a_history_of_qed__1_1_3_1_1 n31_a_history_of_qed__1_1_3_1_2 HVP;~Tn n31_a_history_of_qed__1_1_3_1->n31_a_history_of_qed__1_1_3_1_2 n31_a_history_of_qed__1_1_3_1_3 NP-OB1 n31_a_history_of_qed__1_1_3_1->n31_a_history_of_qed__1_1_3_1_3 n31_a_history_of_qed__1_1_3_1_1_1 PRO n31_a_history_of_qed__1_1_3_1_1->n31_a_history_of_qed__1_1_3_1_1_1 n31_a_history_of_qed__1_1_3_1_1_1->n31_a_history_of_qed__1_1_3_1_1_1_1 n31_a_history_of_qed__1_1_3_1_2->n31_a_history_of_qed__1_1_3_1_2_1 n31_a_history_of_qed__1_1_3_1_3_1 D n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_1 n31_a_history_of_qed__1_1_3_1_3_2 ADJP n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_2 n31_a_history_of_qed__1_1_3_1_3_3 ADJP n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_3 n31_a_history_of_qed__1_1_3_1_3_4 NS n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_4 n31_a_history_of_qed__1_1_3_1_3_5 PP n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_5 n31_a_history_of_qed__1_1_3_1_3_6 PUNC n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_6 n31_a_history_of_qed__1_1_3_1_3_7 PRN n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_7 n31_a_history_of_qed__1_1_3_1_3_8 PUNC n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_8 n31_a_history_of_qed__1_1_3_1_3_9 IP-REL n31_a_history_of_qed__1_1_3_1_3->n31_a_history_of_qed__1_1_3_1_3_9 n31_a_history_of_qed__1_1_3_1_3_1->n31_a_history_of_qed__1_1_3_1_3_1_1 n31_a_history_of_qed__1_1_3_1_3_2_1 ADJ n31_a_history_of_qed__1_1_3_1_3_2->n31_a_history_of_qed__1_1_3_1_3_2_1 n31_a_history_of_qed__1_1_3_1_3_2_1->n31_a_history_of_qed__1_1_3_1_3_2_1_1 n31_a_history_of_qed__1_1_3_1_3_3_1 ADJ n31_a_history_of_qed__1_1_3_1_3_3->n31_a_history_of_qed__1_1_3_1_3_3_1 n31_a_history_of_qed__1_1_3_1_3_3_1->n31_a_history_of_qed__1_1_3_1_3_3_1_1 n31_a_history_of_qed__1_1_3_1_3_4->n31_a_history_of_qed__1_1_3_1_3_4_1 n31_a_history_of_qed__1_1_3_1_3_5_1 P-ROLE n31_a_history_of_qed__1_1_3_1_3_5->n31_a_history_of_qed__1_1_3_1_3_5_1 n31_a_history_of_qed__1_1_3_1_3_5_2 NP n31_a_history_of_qed__1_1_3_1_3_5->n31_a_history_of_qed__1_1_3_1_3_5_2 n31_a_history_of_qed__1_1_3_1_3_5_1->n31_a_history_of_qed__1_1_3_1_3_5_1_1 n31_a_history_of_qed__1_1_3_1_3_5_2_1 D n31_a_history_of_qed__1_1_3_1_3_5_2->n31_a_history_of_qed__1_1_3_1_3_5_2_1 n31_a_history_of_qed__1_1_3_1_3_5_2_2 N n31_a_history_of_qed__1_1_3_1_3_5_2->n31_a_history_of_qed__1_1_3_1_3_5_2_2 n31_a_history_of_qed__1_1_3_1_3_5_2_1->n31_a_history_of_qed__1_1_3_1_3_5_2_1_1 n31_a_history_of_qed__1_1_3_1_3_5_2_2->n31_a_history_of_qed__1_1_3_1_3_5_2_2_1 n31_a_history_of_qed__1_1_3_1_3_6->n31_a_history_of_qed__1_1_3_1_3_6_1 n31_a_history_of_qed__1_1_3_1_3_7_1 NP n31_a_history_of_qed__1_1_3_1_3_7->n31_a_history_of_qed__1_1_3_1_3_7_1 n31_a_history_of_qed__1_1_3_1_3_7_1_1 N n31_a_history_of_qed__1_1_3_1_3_7_1->n31_a_history_of_qed__1_1_3_1_3_7_1_1 n31_a_history_of_qed__1_1_3_1_3_7_1_2 PP n31_a_history_of_qed__1_1_3_1_3_7_1->n31_a_history_of_qed__1_1_3_1_3_7_1_2 n31_a_history_of_qed__1_1_3_1_3_7_1_1->n31_a_history_of_qed__1_1_3_1_3_7_1_1_1 n31_a_history_of_qed__1_1_3_1_3_7_1_2_1 P-ROLE n31_a_history_of_qed__1_1_3_1_3_7_1_2->n31_a_history_of_qed__1_1_3_1_3_7_1_2_1 n31_a_history_of_qed__1_1_3_1_3_7_1_2_2 NP n31_a_history_of_qed__1_1_3_1_3_7_1_2->n31_a_history_of_qed__1_1_3_1_3_7_1_2_2 n31_a_history_of_qed__1_1_3_1_3_7_1_2_1->n31_a_history_of_qed__1_1_3_1_3_7_1_2_1_1 n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_1 NPR n31_a_history_of_qed__1_1_3_1_3_7_1_2_2->n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_1 n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_2 NPR n31_a_history_of_qed__1_1_3_1_3_7_1_2_2->n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_2 n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_1->n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_1_1 n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_2->n31_a_history_of_qed__1_1_3_1_3_7_1_2_2_2_1 n31_a_history_of_qed__1_1_3_1_3_8->n31_a_history_of_qed__1_1_3_1_3_8_1 n31_a_history_of_qed__1_1_3_1_3_9_1 C n31_a_history_of_qed__1_1_3_1_3_9->n31_a_history_of_qed__1_1_3_1_3_9_1 n31_a_history_of_qed__1_1_3_1_3_9_2 NP-SBJ n31_a_history_of_qed__1_1_3_1_3_9->n31_a_history_of_qed__1_1_3_1_3_9_2 n31_a_history_of_qed__1_1_3_1_3_9_3 BED;~cat_Ve_passive_ n31_a_history_of_qed__1_1_3_1_3_9->n31_a_history_of_qed__1_1_3_1_3_9_3 n31_a_history_of_qed__1_1_3_1_3_9_4 IP-PPL-CAT n31_a_history_of_qed__1_1_3_1_3_9->n31_a_history_of_qed__1_1_3_1_3_9_4 n31_a_history_of_qed__1_1_3_1_3_9_1->n31_a_history_of_qed__1_1_3_1_3_9_1_1 n31_a_history_of_qed__1_1_3_1_3_9_2->n31_a_history_of_qed__1_1_3_1_3_9_2_1 n31_a_history_of_qed__1_1_3_1_3_9_3->n31_a_history_of_qed__1_1_3_1_3_9_3_1 n31_a_history_of_qed__1_1_3_1_3_9_4_1 NP-LGS n31_a_history_of_qed__1_1_3_1_3_9_4->n31_a_history_of_qed__1_1_3_1_3_9_4_1 n31_a_history_of_qed__1_1_3_1_3_9_4_2 VVN;~Cn.n/a n31_a_history_of_qed__1_1_3_1_3_9_4->n31_a_history_of_qed__1_1_3_1_3_9_4_2 n31_a_history_of_qed__1_1_3_1_3_9_4_3 PP-PRD n31_a_history_of_qed__1_1_3_1_3_9_4->n31_a_history_of_qed__1_1_3_1_3_9_4_3 n31_a_history_of_qed__1_1_3_1_3_9_4_4 PP-NIM n31_a_history_of_qed__1_1_3_1_3_9_4->n31_a_history_of_qed__1_1_3_1_3_9_4_4 n31_a_history_of_qed__1_1_3_1_3_9_4_1->n31_a_history_of_qed__1_1_3_1_3_9_4_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_2->n31_a_history_of_qed__1_1_3_1_3_9_4_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_1 P-ROLE n31_a_history_of_qed__1_1_3_1_3_9_4_3->n31_a_history_of_qed__1_1_3_1_3_9_4_3_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_2 PULQ n31_a_history_of_qed__1_1_3_1_3_9_4_3->n31_a_history_of_qed__1_1_3_1_3_9_4_3_2 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3 NP n31_a_history_of_qed__1_1_3_1_3_9_4_3->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3 n31_a_history_of_qed__1_1_3_1_3_9_4_3_4 PURQ n31_a_history_of_qed__1_1_3_1_3_9_4_3->n31_a_history_of_qed__1_1_3_1_3_9_4_3_4 n31_a_history_of_qed__1_1_3_1_3_9_4_3_1->n31_a_history_of_qed__1_1_3_1_3_9_4_3_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_2->n31_a_history_of_qed__1_1_3_1_3_9_4_3_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1 NLYR n31_a_history_of_qed__1_1_3_1_3_9_4_3_3->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_2 NPRS n31_a_history_of_qed__1_1_3_1_3_9_4_3_3->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_2 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_1 NPR n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2 NLYR n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_1->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_1 NPR n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_2 NPR n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_2 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_1->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_1_2_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_2->n31_a_history_of_qed__1_1_3_1_3_9_4_3_3_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_3_4->n31_a_history_of_qed__1_1_3_1_3_9_4_3_4_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_1 P-ROLE n31_a_history_of_qed__1_1_3_1_3_9_4_4->n31_a_history_of_qed__1_1_3_1_3_9_4_4_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2 NP n31_a_history_of_qed__1_1_3_1_3_9_4_4->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2 n31_a_history_of_qed__1_1_3_1_3_9_4_4_1->n31_a_history_of_qed__1_1_3_1_3_9_4_4_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_1 NPR n31_a_history_of_qed__1_1_3_1_3_9_4_4_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2 PP n31_a_history_of_qed__1_1_3_1_3_9_4_4_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_1->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_1 P-ROLE n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2 NP n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_1->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_1 NPR n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_2 PUNC n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_2 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3 PRN n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_1->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_2->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_2_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1 NP n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1_1 NPR n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1_1 n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1_1->n31_a_history_of_qed__1_1_3_1_3_9_4_4_2_2_2_3_1_1_1 n31_a_history_of_qed__1_2->n31_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (VBP;~ seems;{seem})
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (NLYR (NLYR;{TSO_QED} (D this;{this})
                                                                         (N version;{version}))
                                                         (PULB -LRB-)
                                                         (CONJP (CONJ or;{or})
                                                                (NLYR (ADVP (ADV perhaps;{perhaps}))
                                                                      (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 (C that;{that})
                                             (NP-SBJ *T*)
                                             (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-NIM (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))