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 r_0031_0002__seems seems r_0031_0003__that_r_0031_0012__was that was r_0031_0002__seems->r_0031_0003__that_r_0031_0012__was [arg0] r_0031_0013__released released r_0031_0003__that_r_0031_0012__was->r_0031_0013__released [scope] r_0031_0007__or or r_0031_0013__released->r_0031_0007__or [arg1] z_000_31_a_history_of_qed_38 r_0031_0013__released->z_000_31_a_history_of_qed_38 [arg0] r_0031_0004__this_r_0031_0005__version this version r_0031_0007__or->r_0031_0004__this_r_0031_0005__version [conj1] r_0031_0009__another_r_0031_0010__reimplementation another reimplementation r_0031_0007__or->r_0031_0009__another_r_0031_0010__reimplementation [conj2] r_0031_0008__perhaps perhaps r_0031_0009__another_r_0031_0010__reimplementation->r_0031_0008__perhaps [qual] r_0031_0016__have have r_0031_0015__I I r_0031_0016__have->r_0031_0015__I [arg0] r_0031_0017__the_r_0031_0020__pages the pages r_0031_0016__have->r_0031_0017__the_r_0031_0020__pages [arg1] r_0031_0018__first first r_0031_0017__the_r_0031_0020__pages->r_0031_0018__first [attrib] r_0031_0019__few few r_0031_0017__the_r_0031_0020__pages->r_0031_0019__few [attrib] r_0031_0022__a_r_0031_0023__document a document r_0031_0017__the_r_0031_0020__pages->r_0031_0022__a_r_0031_0023__document of r_0031_0025__courtesy courtesy r_0031_0027__Joshua_r_0031_0028__Ryan Joshua Ryan r_0031_0025__courtesy->r_0031_0027__Joshua_r_0031_0028__Ryan of r_0031_0030__that_r_0031_0031__were that were r_0031_0032__used used r_0031_0030__that_r_0031_0031__were->r_0031_0032__used [scope] r_0031_0032__used->r_0031_0017__the_r_0031_0020__pages [arg1] r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course_r_0031_0038__Notes TSO Short Course Notes r_0031_0032__used->r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course_r_0031_0038__Notes [prd] r_0031_0041__University University r_0031_0032__used->r_0031_0041__University at [nim] z_000_31_a_history_of_qed_94 r_0031_0032__used->z_000_31_a_history_of_qed_94 [arg0] r_0031_0043__Missouri Missouri r_0031_0041__University->r_0031_0043__Missouri of z_000_31_a_history_of_qed_128 z_000_31_a_history_of_qed_128->r_0031_0043__Missouri [arg0] r_0031_0045__Columbia Columbia z_000_31_a_history_of_qed_128->r_0031_0045__Columbia [prd] z_000_31_a_history_of_qed_2 z_000_31_a_history_of_qed_2->r_0031_0002__seems [conj1] z_000_31_a_history_of_qed_2->r_0031_0016__have [conj2] z_000_31_a_history_of_qed_72 z_000_31_a_history_of_qed_72->r_0031_0017__the_r_0031_0020__pages [arg0] z_000_31_a_history_of_qed_72->r_0031_0025__courtesy [prd] 
arc(r_0031_0002__seems, r_0031_0003__that_r_0031_0012__was, arg0).
arc(r_0031_0003__that_r_0031_0012__was, r_0031_0013__released, scope).
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, qual26).
arc(r_0031_0013__released, r_0031_0007__or, arg1).
arc(r_0031_0013__released, z_000_31_a_history_of_qed_38, 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, attrib54).
arc(r_0031_0017__the_r_0031_0020__pages, r_0031_0019__few, attrib57).
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_0030__that_r_0031_0031__were, r_0031_0032__used, scope).
arc(r_0031_0032__used, r_0031_0017__the_r_0031_0020__pages, arg1).
arc(r_0031_0032__used, r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course_r_0031_0038__Notes, prd).
arc(r_0031_0032__used, r_0031_0041__University, r_0031_0040__at_nim117).
arc(r_0031_0032__used, z_000_31_a_history_of_qed_94, arg0).
arc(r_0031_0041__University, r_0031_0043__Missouri, r_0031_0042__of).
arc(z_000_31_a_history_of_qed_128, r_0031_0043__Missouri, arg0).
arc(z_000_31_a_history_of_qed_128, r_0031_0045__Columbia, prd).
arc(z_000_31_a_history_of_qed_2, r_0031_0002__seems, conj1).
arc(z_000_31_a_history_of_qed_2, r_0031_0016__have, conj2).
arc(z_000_31_a_history_of_qed_72, r_0031_0017__the_r_0031_0020__pages, arg0).
arc(z_000_31_a_history_of_qed_72, r_0031_0025__courtesy, prd).


%3 r_0031_0002__seems seems r_0031_0003__that_r_0031_0012__was_r_0031_0013__released that was released r_0031_0002__seems->r_0031_0003__that_r_0031_0012__was_r_0031_0013__released [arg0] r_0031_0007__or or r_0031_0003__that_r_0031_0012__was_r_0031_0013__released->r_0031_0007__or [arg1] z_000_31_a_history_of_qed_38 r_0031_0003__that_r_0031_0012__was_r_0031_0013__released->z_000_31_a_history_of_qed_38 [arg0] r_0031_0004__this_r_0031_0005__version this version r_0031_0007__or->r_0031_0004__this_r_0031_0005__version [conj1] r_0031_0009__another_r_0031_0010__reimplementation another reimplementation r_0031_0007__or->r_0031_0009__another_r_0031_0010__reimplementation [conj2] r_0031_0008__perhaps perhaps r_0031_0009__another_r_0031_0010__reimplementation->r_0031_0008__perhaps [qual] r_0031_0016__have have r_0031_0015__I I r_0031_0016__have->r_0031_0015__I [arg0] r_0031_0017__the_r_0031_0020__pages the pages r_0031_0016__have->r_0031_0017__the_r_0031_0020__pages [arg1] r_0031_0018__first first r_0031_0017__the_r_0031_0020__pages->r_0031_0018__first [attrib] r_0031_0019__few few r_0031_0017__the_r_0031_0020__pages->r_0031_0019__few [attrib] r_0031_0022__a_r_0031_0023__document a document r_0031_0017__the_r_0031_0020__pages->r_0031_0022__a_r_0031_0023__document of r_0031_0025__courtesy courtesy r_0031_0027__Joshua_r_0031_0028__Ryan Joshua Ryan r_0031_0025__courtesy->r_0031_0027__Joshua_r_0031_0028__Ryan of r_0031_0030__that_r_0031_0031__were_r_0031_0032__used that were used r_0031_0030__that_r_0031_0031__were_r_0031_0032__used->r_0031_0017__the_r_0031_0020__pages [arg1] r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course_r_0031_0038__Notes TSO Short Course Notes r_0031_0030__that_r_0031_0031__were_r_0031_0032__used->r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course_r_0031_0038__Notes [prd] r_0031_0041__University University r_0031_0030__that_r_0031_0031__were_r_0031_0032__used->r_0031_0041__University at [nim] z_000_31_a_history_of_qed_94 r_0031_0030__that_r_0031_0031__were_r_0031_0032__used->z_000_31_a_history_of_qed_94 [arg0] r_0031_0043__Missouri Missouri r_0031_0041__University->r_0031_0043__Missouri of z_000_31_a_history_of_qed_128 z_000_31_a_history_of_qed_128->r_0031_0043__Missouri [arg0] r_0031_0045__Columbia Columbia z_000_31_a_history_of_qed_128->r_0031_0045__Columbia [prd] z_000_31_a_history_of_qed_2 z_000_31_a_history_of_qed_2->r_0031_0002__seems [conj1] z_000_31_a_history_of_qed_2->r_0031_0016__have [conj2] z_000_31_a_history_of_qed_72 z_000_31_a_history_of_qed_72->r_0031_0017__the_r_0031_0020__pages [arg0] z_000_31_a_history_of_qed_72->r_0031_0025__courtesy [prd] 
fof(formula,axiom,
    ? [R_31_30_THAT_WERE_USED,Z_31_A_HISTORY_OF_QED_94,R_31_35_TSO_SHORT_COURSE_NOTES,R_31_41_UNIVERSITY,Z_31_A_HISTORY_OF_QED_128,R_31_43_MISSOURI,R_31_45_COLUMBIA,Z_31_A_HISTORY_OF_QED_2,R_31_2_SEEMS,R_31_3_THAT_WAS_RELEASED,Z_31_A_HISTORY_OF_QED_38,R_31_7_OR,R_31_4_THIS_VERSION,R_31_9_ANOTHER_REIMPLEMENTATION,R_31_8_PERHAPS,R_31_16_HAVE,R_31_15_I,Z_31_A_HISTORY_OF_QED_72,R_31_17_THE_PAGES,R_31_18_FIRST,R_31_19_FEW,R_31_22_A_DOCUMENT,R_31_25_COURTESY,R_31_27_JOSHUA_RYAN] :
      ( tSO_Short_Course_Notes(R_31_35_TSO_SHORT_COURSE_NOTES)
      & missouri(R_31_43_MISSOURI)
      & columbia(R_31_45_COLUMBIA)
      & this_version(R_31_4_THIS_VERSION)
      & perhaps(R_31_8_PERHAPS)
      & i(R_31_15_I)
      & first(R_31_18_FIRST)
      & few(R_31_19_FEW)
      & a_document(R_31_22_A_DOCUMENT)
      & joshua_Ryan(R_31_27_JOSHUA_RYAN)
      & that_were_used(R_31_30_THAT_WERE_USED,Z_31_A_HISTORY_OF_QED_94,R_31_17_THE_PAGES,R_31_35_TSO_SHORT_COURSE_NOTES)
      & the_pages(R_31_17_THE_PAGES)
      & attrib54(R_31_17_THE_PAGES,R_31_18_FIRST)
      & attrib57(R_31_17_THE_PAGES,R_31_19_FEW)
      & of(R_31_17_THE_PAGES,R_31_22_A_DOCUMENT)
      & at_nim117(R_31_30_THAT_WERE_USED,R_31_41_UNIVERSITY)
      & university(R_31_41_UNIVERSITY)
      & of(R_31_41_UNIVERSITY,R_31_43_MISSOURI)
      & z_31_a_history_of_qed_128(Z_31_A_HISTORY_OF_QED_128,R_31_43_MISSOURI,R_31_45_COLUMBIA)
      & z_31_a_history_of_qed_2(Z_31_A_HISTORY_OF_QED_2)
      & conj1(Z_31_A_HISTORY_OF_QED_2,R_31_2_SEEMS)
      & seems(R_31_2_SEEMS,R_31_3_THAT_WAS_RELEASED)
      & that_was_released(R_31_3_THAT_WAS_RELEASED,Z_31_A_HISTORY_OF_QED_38,R_31_7_OR)
      & or(R_31_7_OR)
      & conj1(R_31_7_OR,R_31_4_THIS_VERSION)
      & conj2(R_31_7_OR,R_31_9_ANOTHER_REIMPLEMENTATION)
      & another_reimplementation(R_31_9_ANOTHER_REIMPLEMENTATION)
      & qual26(R_31_9_ANOTHER_REIMPLEMENTATION,R_31_8_PERHAPS)
      & conj2(Z_31_A_HISTORY_OF_QED_2,R_31_16_HAVE)
      & have(R_31_16_HAVE,R_31_15_I,R_31_17_THE_PAGES)
      & z_31_a_history_of_qed_72(Z_31_A_HISTORY_OF_QED_72,R_31_17_THE_PAGES,R_31_25_COURTESY)
      & courtesy(R_31_25_COURTESY)
      & of(R_31_25_COURTESY,R_31_27_JOSHUA_RYAN) ) ).


n31_a_history_of_qed n31_a_history_of_qed_6 It n31_a_history_of_qed_8 seems n31_a_history_of_qed_12 that n31_a_history_of_qed_17 this n31_a_history_of_qed_19 version n31_a_history_of_qed_21 -LRB- n31_a_history_of_qed_24 or n31_a_history_of_qed_28 perhaps n31_a_history_of_qed_30 another n31_a_history_of_qed_32 reimplementation n31_a_history_of_qed_34 -RRB- n31_a_history_of_qed_36 was n31_a_history_of_qed_39 * n31_a_history_of_qed_41 released n31_a_history_of_qed_43 : n31_a_history_of_qed_48 I n31_a_history_of_qed_50 have n31_a_history_of_qed_53 the n31_a_history_of_qed_56 first n31_a_history_of_qed_59 few n31_a_history_of_qed_61 pages n31_a_history_of_qed_64 of n31_a_history_of_qed_67 a n31_a_history_of_qed_69 document n31_a_history_of_qed_71 , n31_a_history_of_qed_75 courtesy n31_a_history_of_qed_78 of n31_a_history_of_qed_81 Joshua n31_a_history_of_qed_83 Ryan n31_a_history_of_qed_85 , n31_a_history_of_qed_88 that n31_a_history_of_qed_90 *T* n31_a_history_of_qed_92 were n31_a_history_of_qed_95 * n31_a_history_of_qed_97 used n31_a_history_of_qed_100 as n31_a_history_of_qed_102 <ldquo> n31_a_history_of_qed_105 TSO n31_a_history_of_qed_107 Short n31_a_history_of_qed_109 Course n31_a_history_of_qed_111 Notes n31_a_history_of_qed_113 <rdquo> n31_a_history_of_qed_116 at n31_a_history_of_qed_119 University n31_a_history_of_qed_122 of n31_a_history_of_qed_125 Missouri n31_a_history_of_qed_127 -- n31_a_history_of_qed_131 Columbia n31_a_history_of_qed_133 . n31_a_history_of_qed_1 IP-MAT n31_a_history_of_qed_2 ILYR n31_a_history_of_qed_1->n31_a_history_of_qed_2 n31_a_history_of_qed_132 PUNC n31_a_history_of_qed_1->n31_a_history_of_qed_132 n31_a_history_of_qed_3 ILYR n31_a_history_of_qed_2->n31_a_history_of_qed_3 n31_a_history_of_qed_42 PUNC n31_a_history_of_qed_2->n31_a_history_of_qed_42 n31_a_history_of_qed_44 CONJP n31_a_history_of_qed_2->n31_a_history_of_qed_44 n31_a_history_of_qed_4 NP-SBJ n31_a_history_of_qed_3->n31_a_history_of_qed_4 n31_a_history_of_qed_7 VBP;__ n31_a_history_of_qed_3->n31_a_history_of_qed_7 n31_a_history_of_qed_9 CP-THT-NSBJ n31_a_history_of_qed_3->n31_a_history_of_qed_9 n31_a_history_of_qed_5 PRO;_provisional_ n31_a_history_of_qed_4->n31_a_history_of_qed_5 n31_a_history_of_qed_5->n31_a_history_of_qed_6 n31_a_history_of_qed_7->n31_a_history_of_qed_8 n31_a_history_of_qed_10 IP-SUB n31_a_history_of_qed_9->n31_a_history_of_qed_10 n31_a_history_of_qed_11 C n31_a_history_of_qed_10->n31_a_history_of_qed_11 n31_a_history_of_qed_13 NP-SBJ n31_a_history_of_qed_10->n31_a_history_of_qed_13 n31_a_history_of_qed_35 BED;_cat_VePASS_ n31_a_history_of_qed_10->n31_a_history_of_qed_35 n31_a_history_of_qed_37 IP-PPL-CAT n31_a_history_of_qed_10->n31_a_history_of_qed_37 n31_a_history_of_qed_11->n31_a_history_of_qed_12 n31_a_history_of_qed_14 NLYR n31_a_history_of_qed_13->n31_a_history_of_qed_14 n31_a_history_of_qed_15 NLYR n31_a_history_of_qed_14->n31_a_history_of_qed_15 n31_a_history_of_qed_20 PULB n31_a_history_of_qed_14->n31_a_history_of_qed_20 n31_a_history_of_qed_22 CONJP n31_a_history_of_qed_14->n31_a_history_of_qed_22 n31_a_history_of_qed_33 PURB n31_a_history_of_qed_14->n31_a_history_of_qed_33 n31_a_history_of_qed_16 D n31_a_history_of_qed_15->n31_a_history_of_qed_16 n31_a_history_of_qed_18 N n31_a_history_of_qed_15->n31_a_history_of_qed_18 n31_a_history_of_qed_16->n31_a_history_of_qed_17 n31_a_history_of_qed_18->n31_a_history_of_qed_19 n31_a_history_of_qed_20->n31_a_history_of_qed_21 n31_a_history_of_qed_23 CONJ n31_a_history_of_qed_22->n31_a_history_of_qed_23 n31_a_history_of_qed_25 NLYR n31_a_history_of_qed_22->n31_a_history_of_qed_25 n31_a_history_of_qed_23->n31_a_history_of_qed_24 n31_a_history_of_qed_26 ADVP n31_a_history_of_qed_25->n31_a_history_of_qed_26 n31_a_history_of_qed_29 D n31_a_history_of_qed_25->n31_a_history_of_qed_29 n31_a_history_of_qed_31 N n31_a_history_of_qed_25->n31_a_history_of_qed_31 n31_a_history_of_qed_27 ADV n31_a_history_of_qed_26->n31_a_history_of_qed_27 n31_a_history_of_qed_27->n31_a_history_of_qed_28 n31_a_history_of_qed_29->n31_a_history_of_qed_30 n31_a_history_of_qed_31->n31_a_history_of_qed_32 n31_a_history_of_qed_33->n31_a_history_of_qed_34 n31_a_history_of_qed_35->n31_a_history_of_qed_36 n31_a_history_of_qed_38 NP-LGS n31_a_history_of_qed_37->n31_a_history_of_qed_38 n31_a_history_of_qed_40 VVN;__ n31_a_history_of_qed_37->n31_a_history_of_qed_40 n31_a_history_of_qed_38->n31_a_history_of_qed_39 n31_a_history_of_qed_40->n31_a_history_of_qed_41 n31_a_history_of_qed_42->n31_a_history_of_qed_43 n31_a_history_of_qed_45 ILYR n31_a_history_of_qed_44->n31_a_history_of_qed_45 n31_a_history_of_qed_46 NP-SBJ n31_a_history_of_qed_45->n31_a_history_of_qed_46 n31_a_history_of_qed_49 HVP;_Tn_ n31_a_history_of_qed_45->n31_a_history_of_qed_49 n31_a_history_of_qed_51 NP-OB1 n31_a_history_of_qed_45->n31_a_history_of_qed_51 n31_a_history_of_qed_47 PRO n31_a_history_of_qed_46->n31_a_history_of_qed_47 n31_a_history_of_qed_47->n31_a_history_of_qed_48 n31_a_history_of_qed_49->n31_a_history_of_qed_50 n31_a_history_of_qed_52 D n31_a_history_of_qed_51->n31_a_history_of_qed_52 n31_a_history_of_qed_54 ADJP n31_a_history_of_qed_51->n31_a_history_of_qed_54 n31_a_history_of_qed_57 ADJP n31_a_history_of_qed_51->n31_a_history_of_qed_57 n31_a_history_of_qed_60 NS n31_a_history_of_qed_51->n31_a_history_of_qed_60 n31_a_history_of_qed_62 PP n31_a_history_of_qed_51->n31_a_history_of_qed_62 n31_a_history_of_qed_70 PUNC n31_a_history_of_qed_51->n31_a_history_of_qed_70 n31_a_history_of_qed_72 IP-PPL n31_a_history_of_qed_51->n31_a_history_of_qed_72 n31_a_history_of_qed_84 PUNC n31_a_history_of_qed_51->n31_a_history_of_qed_84 n31_a_history_of_qed_86 IP-REL n31_a_history_of_qed_51->n31_a_history_of_qed_86 n31_a_history_of_qed_52->n31_a_history_of_qed_53 n31_a_history_of_qed_55 ADJ n31_a_history_of_qed_54->n31_a_history_of_qed_55 n31_a_history_of_qed_55->n31_a_history_of_qed_56 n31_a_history_of_qed_58 ADJ n31_a_history_of_qed_57->n31_a_history_of_qed_58 n31_a_history_of_qed_58->n31_a_history_of_qed_59 n31_a_history_of_qed_60->n31_a_history_of_qed_61 n31_a_history_of_qed_63 P-ROLE n31_a_history_of_qed_62->n31_a_history_of_qed_63 n31_a_history_of_qed_65 NP n31_a_history_of_qed_62->n31_a_history_of_qed_65 n31_a_history_of_qed_63->n31_a_history_of_qed_64 n31_a_history_of_qed_66 D n31_a_history_of_qed_65->n31_a_history_of_qed_66 n31_a_history_of_qed_68 N n31_a_history_of_qed_65->n31_a_history_of_qed_68 n31_a_history_of_qed_66->n31_a_history_of_qed_67 n31_a_history_of_qed_68->n31_a_history_of_qed_69 n31_a_history_of_qed_70->n31_a_history_of_qed_71 n31_a_history_of_qed_73 NP-PRD n31_a_history_of_qed_72->n31_a_history_of_qed_73 n31_a_history_of_qed_74 N n31_a_history_of_qed_73->n31_a_history_of_qed_74 n31_a_history_of_qed_76 PP n31_a_history_of_qed_73->n31_a_history_of_qed_76 n31_a_history_of_qed_74->n31_a_history_of_qed_75 n31_a_history_of_qed_77 P-ROLE n31_a_history_of_qed_76->n31_a_history_of_qed_77 n31_a_history_of_qed_79 NP n31_a_history_of_qed_76->n31_a_history_of_qed_79 n31_a_history_of_qed_77->n31_a_history_of_qed_78 n31_a_history_of_qed_80 NPR n31_a_history_of_qed_79->n31_a_history_of_qed_80 n31_a_history_of_qed_82 NPR n31_a_history_of_qed_79->n31_a_history_of_qed_82 n31_a_history_of_qed_80->n31_a_history_of_qed_81 n31_a_history_of_qed_82->n31_a_history_of_qed_83 n31_a_history_of_qed_84->n31_a_history_of_qed_85 n31_a_history_of_qed_87 C n31_a_history_of_qed_86->n31_a_history_of_qed_87 n31_a_history_of_qed_89 NP-SBJ n31_a_history_of_qed_86->n31_a_history_of_qed_89 n31_a_history_of_qed_91 BED;_cat_VePASS_ n31_a_history_of_qed_86->n31_a_history_of_qed_91 n31_a_history_of_qed_93 IP-PPL-CAT n31_a_history_of_qed_86->n31_a_history_of_qed_93 n31_a_history_of_qed_87->n31_a_history_of_qed_88 n31_a_history_of_qed_89->n31_a_history_of_qed_90 n31_a_history_of_qed_91->n31_a_history_of_qed_92 n31_a_history_of_qed_94 NP-LGS n31_a_history_of_qed_93->n31_a_history_of_qed_94 n31_a_history_of_qed_96 VVN;_Cn.n/a_ n31_a_history_of_qed_93->n31_a_history_of_qed_96 n31_a_history_of_qed_98 PP-PRD n31_a_history_of_qed_93->n31_a_history_of_qed_98 n31_a_history_of_qed_114 PP-NIM n31_a_history_of_qed_93->n31_a_history_of_qed_114 n31_a_history_of_qed_94->n31_a_history_of_qed_95 n31_a_history_of_qed_96->n31_a_history_of_qed_97 n31_a_history_of_qed_99 P-ROLE n31_a_history_of_qed_98->n31_a_history_of_qed_99 n31_a_history_of_qed_101 PULQ n31_a_history_of_qed_98->n31_a_history_of_qed_101 n31_a_history_of_qed_103 NP n31_a_history_of_qed_98->n31_a_history_of_qed_103 n31_a_history_of_qed_112 PURQ n31_a_history_of_qed_98->n31_a_history_of_qed_112 n31_a_history_of_qed_99->n31_a_history_of_qed_100 n31_a_history_of_qed_101->n31_a_history_of_qed_102 n31_a_history_of_qed_104 NPR n31_a_history_of_qed_103->n31_a_history_of_qed_104 n31_a_history_of_qed_106 NPR n31_a_history_of_qed_103->n31_a_history_of_qed_106 n31_a_history_of_qed_108 NPR n31_a_history_of_qed_103->n31_a_history_of_qed_108 n31_a_history_of_qed_110 NPRS n31_a_history_of_qed_103->n31_a_history_of_qed_110 n31_a_history_of_qed_104->n31_a_history_of_qed_105 n31_a_history_of_qed_106->n31_a_history_of_qed_107 n31_a_history_of_qed_108->n31_a_history_of_qed_109 n31_a_history_of_qed_110->n31_a_history_of_qed_111 n31_a_history_of_qed_112->n31_a_history_of_qed_113 n31_a_history_of_qed_115 P-ROLE n31_a_history_of_qed_114->n31_a_history_of_qed_115 n31_a_history_of_qed_117 NP n31_a_history_of_qed_114->n31_a_history_of_qed_117 n31_a_history_of_qed_115->n31_a_history_of_qed_116 n31_a_history_of_qed_118 NPR n31_a_history_of_qed_117->n31_a_history_of_qed_118 n31_a_history_of_qed_120 PP n31_a_history_of_qed_117->n31_a_history_of_qed_120 n31_a_history_of_qed_118->n31_a_history_of_qed_119 n31_a_history_of_qed_121 P-ROLE n31_a_history_of_qed_120->n31_a_history_of_qed_121 n31_a_history_of_qed_123 NP n31_a_history_of_qed_120->n31_a_history_of_qed_123 n31_a_history_of_qed_121->n31_a_history_of_qed_122 n31_a_history_of_qed_124 NPR n31_a_history_of_qed_123->n31_a_history_of_qed_124 n31_a_history_of_qed_126 PUNC n31_a_history_of_qed_123->n31_a_history_of_qed_126 n31_a_history_of_qed_128 IP-PPL n31_a_history_of_qed_123->n31_a_history_of_qed_128 n31_a_history_of_qed_124->n31_a_history_of_qed_125 n31_a_history_of_qed_126->n31_a_history_of_qed_127 n31_a_history_of_qed_129 NP-PRD n31_a_history_of_qed_128->n31_a_history_of_qed_129 n31_a_history_of_qed_130 NPR n31_a_history_of_qed_129->n31_a_history_of_qed_130 n31_a_history_of_qed_130->n31_a_history_of_qed_131 n31_a_history_of_qed_132->n31_a_history_of_qed_133 
( (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_VePASS_ 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 ,)
                                     (IP-PPL (NP-PRD (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_VePASS_ were;{be})
                                             (IP-PPL-CAT (NP-LGS *)
                                                         (VVN;_Cn.n/a_ used;{use[as]})
                                                         (PP-PRD (P-ROLE as;{as})
                                                                 (PULQ <ldquo>)
                                                                 (NP (NPR TSO;{TSO})
                                                                     (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 --)
                                                                             (IP-PPL (NP-PRD (NPR Columbia;{Columbia})))))))))))))
          (PUNC .))
  (ID 31_a_history_of_qed))