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.

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_VePASS_ 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_VePASS_ 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_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 ,)
                                     (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_VePASS_ 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))


%3 z_0031_5023 r_0031_0045__Columbia Columbia z_0031_5023->r_0031_0045__Columbia [prd] r_0031_0043__Missouri Missouri z_0031_5023->r_0031_0043__Missouri [arg0] z_0031_5018 r_0031_0025__courtesy courtesy z_0031_5018->r_0031_0025__courtesy [prd] r_0031_0017__the_r_0031_0020__pages the pages z_0031_5018->r_0031_0017__the_r_0031_0020__pages [arg0] 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_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_0019__few few r_0031_0017__the_r_0031_0020__pages->r_0031_0019__few [attrib] r_0031_0018__first first r_0031_0017__the_r_0031_0020__pages->r_0031_0018__first [attrib] z_0031_5001 r_0031_0016__have have z_0031_5001->r_0031_0016__have [conj2] r_0031_0002__seems seems z_0031_5001->r_0031_0002__seems [conj1] r_0031_0016__have->r_0031_0017__the_r_0031_0020__pages [arg1] r_0031_0015__I I r_0031_0016__have->r_0031_0015__I [arg0] r_0031_0012__was was r_0031_0002__seems->r_0031_0012__was [arg0] r_0031_0041__University University r_0031_0041__University->r_0031_0043__Missouri of r_0031_0038__Notes Notes r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course TSO Short Course r_0031_0038__Notes->r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course [nim] r_0031_0032__used used r_0031_0032__used->r_0031_0017__the_r_0031_0020__pages [inv_arg1] r_0031_0032__used->r_0031_0041__University at [nim] r_0031_0032__used->r_0031_0038__Notes as [prd] z_0031_5026___star_ * r_0031_0032__used->z_0031_5026___star_ [arg0] r_0031_0031__were were r_0031_0031__were->r_0031_0032__used [scope] r_0031_0013__released released z_0031_5009___star_ * r_0031_0013__released->z_0031_5009___star_ [arg0] r_0031_0007__or or r_0031_0013__released->r_0031_0007__or [arg1] 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_0004__this_r_0031_0005__version this version r_0031_0007__or->r_0031_0004__this_r_0031_0005__version [conj1] r_0031_0012__was->r_0031_0013__released [scope] r_0031_0008__perhaps perhaps r_0031_0009__another_r_0031_0010__reimplementation->r_0031_0008__perhaps [qual] 
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,nim).
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).


%3 r_0031_0002__seems seems r_0031_0012__was_r_0031_0013__released was released r_0031_0002__seems->r_0031_0012__was_r_0031_0013__released [arg0] r_0031_0007__or or r_0031_0012__was_r_0031_0013__released->r_0031_0007__or [arg1] z_0031_5009___star_ * r_0031_0012__was_r_0031_0013__released->z_0031_5009___star_ [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_0031__were_r_0031_0032__used were used r_0031_0017__the_r_0031_0020__pages->r_0031_0031__were_r_0031_0032__used [inv_arg1] 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_0038__Notes Notes r_0031_0031__were_r_0031_0032__used->r_0031_0038__Notes as [prd] r_0031_0041__University University r_0031_0031__were_r_0031_0032__used->r_0031_0041__University at [nim] z_0031_5026___star_ * r_0031_0031__were_r_0031_0032__used->z_0031_5026___star_ [arg0] r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course TSO Short Course r_0031_0038__Notes->r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course [nim] r_0031_0043__Missouri Missouri r_0031_0041__University->r_0031_0043__Missouri of z_0031_5001 z_0031_5001->r_0031_0002__seems [conj1] z_0031_5001->r_0031_0016__have [conj2] z_0031_5018 z_0031_5018->r_0031_0017__the_r_0031_0020__pages [arg0] z_0031_5018->r_0031_0025__courtesy [prd] z_0031_5023 z_0031_5023->r_0031_0043__Missouri [arg0] r_0031_0045__Columbia Columbia z_0031_5023->r_0031_0045__Columbia [prd] 
fof(formula,axiom,
    ? [R_0031_0004__THIS_R_0031_0005__VERSION,R_0031_0008__PERHAPS,R_0031_0009__ANOTHER_R_0031_0010__REIMPLEMENTATION,R_0031_0007__OR,Z_0031_5009___STAR_,R_0031_0012__WAS_R_0031_0013__RELEASED,R_0031_0002__SEEMS,R_0031_0015__I,R_0031_0018__FIRST,R_0031_0019__FEW,R_0031_0022__A_R_0031_0023__DOCUMENT,R_0031_0035__TSO_R_0031_0036__SHORT_R_0031_0037__COURSE,R_0031_0038__NOTES,R_0031_0043__MISSOURI,R_0031_0041__UNIVERSITY,Z_0031_5026___STAR_,R_0031_0031__WERE_R_0031_0032__USED,R_0031_0017__THE_R_0031_0020__PAGES,R_0031_0016__HAVE,Z_0031_5001,R_0031_0027__JOSHUA_R_0031_0028__RYAN,R_0031_0025__COURTESY,Z_0031_5018,R_0031_0045__COLUMBIA,Z_0031_5023] :
      ( r_0031_0004__this_r_0031_0005__version(R_0031_0004__THIS_R_0031_0005__VERSION)
      & r_0031_0008__perhaps(R_0031_0008__PERHAPS)
      & r_0031_0015__I(R_0031_0015__I)
      & r_0031_0018__first(R_0031_0018__FIRST)
      & r_0031_0019__few(R_0031_0019__FEW)
      & r_0031_0022__a_r_0031_0023__document(R_0031_0022__A_R_0031_0023__DOCUMENT)
      & r_0031_0027__Joshua_r_0031_0028__Ryan(R_0031_0027__JOSHUA_R_0031_0028__RYAN)
      & r_0031_0035__TSO_r_0031_0036__Short_r_0031_0037__Course(R_0031_0035__TSO_R_0031_0036__SHORT_R_0031_0037__COURSE)
      & r_0031_0043__Missouri(R_0031_0043__MISSOURI)
      & r_0031_0045__Columbia(R_0031_0045__COLUMBIA)
      & z_0031_5009___star_(Z_0031_5009___STAR_)
      & z_0031_5026___star_(Z_0031_5026___STAR_)
      & z_0031_5023(Z_0031_5023)
      & has_prd(Z_0031_5023,R_0031_0045__COLUMBIA)
      & has_arg0(Z_0031_5023,R_0031_0043__MISSOURI)
      & z_0031_5018(Z_0031_5018)
      & has_prd(Z_0031_5018,R_0031_0025__COURTESY)
      & r_0031_0025__courtesy(R_0031_0025__COURTESY)
      & has_r_0031_0026__of(R_0031_0025__COURTESY,R_0031_0027__JOSHUA_R_0031_0028__RYAN)
      & has_arg0(Z_0031_5018,R_0031_0017__THE_R_0031_0020__PAGES)
      & r_0031_0017__the_r_0031_0020__pages(R_0031_0017__THE_R_0031_0020__PAGES)
      & has_inv_arg1(R_0031_0017__THE_R_0031_0020__PAGES,R_0031_0031__WERE_R_0031_0032__USED)
      & r_0031_0031__were_r_0031_0032__used(R_0031_0031__WERE_R_0031_0032__USED)
      & has_arg0(R_0031_0031__WERE_R_0031_0032__USED,Z_0031_5026___STAR_)
      & has_r_0031_0040__at__nim(R_0031_0031__WERE_R_0031_0032__USED,R_0031_0041__UNIVERSITY)
      & r_0031_0041__University(R_0031_0041__UNIVERSITY)
      & has_r_0031_0042__of(R_0031_0041__UNIVERSITY,R_0031_0043__MISSOURI)
      & has_r_0031_0033__as__prd(R_0031_0031__WERE_R_0031_0032__USED,R_0031_0038__NOTES)
      & ~ has_nim(R_0031_0038__NOTES,R_0031_0035__TSO_R_0031_0036__SHORT_R_0031_0037__COURSE)
      & has_r_0031_0021__of(R_0031_0017__THE_R_0031_0020__PAGES,R_0031_0022__A_R_0031_0023__DOCUMENT)
      & has_attrib(R_0031_0017__THE_R_0031_0020__PAGES,R_0031_0019__FEW)
      & has_attrib(R_0031_0017__THE_R_0031_0020__PAGES,R_0031_0018__FIRST)
      & z_0031_5001(Z_0031_5001)
      & has_conj2(Z_0031_5001,R_0031_0016__HAVE)
      & r_0031_0016__have(R_0031_0016__HAVE)
      & has_arg1(R_0031_0016__HAVE,R_0031_0017__THE_R_0031_0020__PAGES)
      & has_arg0(R_0031_0016__HAVE,R_0031_0015__I)
      & has_conj1(Z_0031_5001,R_0031_0002__SEEMS)
      & r_0031_0002__seems(R_0031_0002__SEEMS)
      & has_arg0(R_0031_0002__SEEMS,R_0031_0012__WAS_R_0031_0013__RELEASED)
      & r_0031_0012__was_r_0031_0013__released(R_0031_0012__WAS_R_0031_0013__RELEASED)
      & has_arg0(R_0031_0012__WAS_R_0031_0013__RELEASED,Z_0031_5009___STAR_)
      & has_arg1(R_0031_0012__WAS_R_0031_0013__RELEASED,R_0031_0007__OR)
      & r_0031_0007__or(R_0031_0007__OR)
      & has_conj2(R_0031_0007__OR,R_0031_0009__ANOTHER_R_0031_0010__REIMPLEMENTATION)
      & r_0031_0009__another_r_0031_0010__reimplementation(R_0031_0009__ANOTHER_R_0031_0010__REIMPLEMENTATION)
      & has_qual(R_0031_0009__ANOTHER_R_0031_0010__REIMPLEMENTATION,R_0031_0008__PERHAPS)
      & has_conj1(R_0031_0007__OR,R_0031_0004__THIS_R_0031_0005__VERSION) ) ).