Context                Previous, Next                Top


22_a_history_of_qed
This version was described in an internal technical memo, which is obtainable either in a slightly cut - down HTML browsable format, or reproduced as a scanned (and big: 1.1 MB) PDF image.

n22_a_history_of_qed n22_a_history_of_qed__1_1_1_1 This n22_a_history_of_qed__1_1_2_1 version n22_a_history_of_qed__1_2_1 was n22_a_history_of_qed__1_3_1_1 * n22_a_history_of_qed__1_3_2_1 described n22_a_history_of_qed__1_3_3_1_1 in n22_a_history_of_qed__1_3_3_2_1_1 an n22_a_history_of_qed__1_3_3_2_2_1_1 internal n22_a_history_of_qed__1_3_3_2_3_1_1 technical n22_a_history_of_qed__1_3_3_2_4_1 memo n22_a_history_of_qed__1_3_3_2_5_1 , n22_a_history_of_qed__1_3_3_2_6_1_1_1 which n22_a_history_of_qed__1_3_3_2_6_2_1 is n22_a_history_of_qed__1_3_3_2_6_3_1_1 obtainable n22_a_history_of_qed__1_3_3_2_6_3_2_1_1 either n22_a_history_of_qed__1_3_3_2_6_3_2_2_1_1 in n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1_1 a n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1_1 slightly n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2_1 cut n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3_1 - n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4_1 down n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3_1 HTML n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1_1 browsable n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5_1 format n22_a_history_of_qed__1_3_3_2_6_3_2_3_1 , n22_a_history_of_qed__1_3_3_2_6_3_2_4_1_1 or n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1_1 reproduced_as n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1_1 a n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1_1 scanned n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2_1 -LRB- n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1_1 and n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1_1 big n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2_1 : n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1_1 1.1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2_1 MB n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4_1 -RRB- n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3_1 PDF n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4_1 image n22_a_history_of_qed__1_4_1 . n22_a_history_of_qed__1 IP-MAT n22_a_history_of_qed__1_1 NP-SBJ n22_a_history_of_qed__1->n22_a_history_of_qed__1_1 n22_a_history_of_qed__1_2 BED;_cat_VePASS_ n22_a_history_of_qed__1->n22_a_history_of_qed__1_2 n22_a_history_of_qed__1_3 IP-PPL-CAT n22_a_history_of_qed__1->n22_a_history_of_qed__1_3 n22_a_history_of_qed__1_4 PUNC n22_a_history_of_qed__1->n22_a_history_of_qed__1_4 n22_a_history_of_qed__1_1_1 D n22_a_history_of_qed__1_1->n22_a_history_of_qed__1_1_1 n22_a_history_of_qed__1_1_2 N n22_a_history_of_qed__1_1->n22_a_history_of_qed__1_1_2 n22_a_history_of_qed__1_1_1->n22_a_history_of_qed__1_1_1_1 n22_a_history_of_qed__1_1_2->n22_a_history_of_qed__1_1_2_1 n22_a_history_of_qed__1_2->n22_a_history_of_qed__1_2_1 n22_a_history_of_qed__1_3_1 NP-LGS n22_a_history_of_qed__1_3->n22_a_history_of_qed__1_3_1 n22_a_history_of_qed__1_3_2 VVN;__ n22_a_history_of_qed__1_3->n22_a_history_of_qed__1_3_2 n22_a_history_of_qed__1_3_3 PP-NIM n22_a_history_of_qed__1_3->n22_a_history_of_qed__1_3_3 n22_a_history_of_qed__1_3_1->n22_a_history_of_qed__1_3_1_1 n22_a_history_of_qed__1_3_2->n22_a_history_of_qed__1_3_2_1 n22_a_history_of_qed__1_3_3_1 P-ROLE n22_a_history_of_qed__1_3_3->n22_a_history_of_qed__1_3_3_1 n22_a_history_of_qed__1_3_3_2 NP n22_a_history_of_qed__1_3_3->n22_a_history_of_qed__1_3_3_2 n22_a_history_of_qed__1_3_3_1->n22_a_history_of_qed__1_3_3_1_1 n22_a_history_of_qed__1_3_3_2_1 D n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_1 n22_a_history_of_qed__1_3_3_2_2 ADJP n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_2 n22_a_history_of_qed__1_3_3_2_3 ADJP n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_3 n22_a_history_of_qed__1_3_3_2_4 N n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_4 n22_a_history_of_qed__1_3_3_2_5 PUNC n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_5 n22_a_history_of_qed__1_3_3_2_6 IP-REL n22_a_history_of_qed__1_3_3_2->n22_a_history_of_qed__1_3_3_2_6 n22_a_history_of_qed__1_3_3_2_1->n22_a_history_of_qed__1_3_3_2_1_1 n22_a_history_of_qed__1_3_3_2_2_1 ADJ n22_a_history_of_qed__1_3_3_2_2->n22_a_history_of_qed__1_3_3_2_2_1 n22_a_history_of_qed__1_3_3_2_2_1->n22_a_history_of_qed__1_3_3_2_2_1_1 n22_a_history_of_qed__1_3_3_2_3_1 ADJ n22_a_history_of_qed__1_3_3_2_3->n22_a_history_of_qed__1_3_3_2_3_1 n22_a_history_of_qed__1_3_3_2_3_1->n22_a_history_of_qed__1_3_3_2_3_1_1 n22_a_history_of_qed__1_3_3_2_4->n22_a_history_of_qed__1_3_3_2_4_1 n22_a_history_of_qed__1_3_3_2_5->n22_a_history_of_qed__1_3_3_2_5_1 n22_a_history_of_qed__1_3_3_2_6_1 NP-SBJ n22_a_history_of_qed__1_3_3_2_6->n22_a_history_of_qed__1_3_3_2_6_1 n22_a_history_of_qed__1_3_3_2_6_2 BEP;_La_ n22_a_history_of_qed__1_3_3_2_6->n22_a_history_of_qed__1_3_3_2_6_2 n22_a_history_of_qed__1_3_3_2_6_3 ADJP-PRD n22_a_history_of_qed__1_3_3_2_6->n22_a_history_of_qed__1_3_3_2_6_3 n22_a_history_of_qed__1_3_3_2_6_1_1 RPRO n22_a_history_of_qed__1_3_3_2_6_1->n22_a_history_of_qed__1_3_3_2_6_1_1 n22_a_history_of_qed__1_3_3_2_6_1_1->n22_a_history_of_qed__1_3_3_2_6_1_1_1 n22_a_history_of_qed__1_3_3_2_6_2->n22_a_history_of_qed__1_3_3_2_6_2_1 n22_a_history_of_qed__1_3_3_2_6_3_1 ADJ n22_a_history_of_qed__1_3_3_2_6_3->n22_a_history_of_qed__1_3_3_2_6_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2 PP n22_a_history_of_qed__1_3_3_2_6_3->n22_a_history_of_qed__1_3_3_2_6_3_2 n22_a_history_of_qed__1_3_3_2_6_3_1->n22_a_history_of_qed__1_3_3_2_6_3_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_1 CONJ n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2 PP n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_3 PUNC n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4 CONJP n22_a_history_of_qed__1_3_3_2_6_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_1 P-ROLE n22_a_history_of_qed__1_3_3_2_6_3_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2 NP n22_a_history_of_qed__1_3_3_2_6_3_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1 D n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2 ADJP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3 NPR n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4 ADJP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5 N n22_a_history_of_qed__1_3_3_2_6_3_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1 ADVP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2 VVN;__ n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3 PUNC n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4 RP n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1 ADV n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_2_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1 ADJ n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_4_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5->n22_a_history_of_qed__1_3_3_2_6_3_2_2_2_5_1 n22_a_history_of_qed__1_3_3_2_6_3_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_1 CONJ n22_a_history_of_qed__1_3_3_2_6_3_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2 PP n22_a_history_of_qed__1_3_3_2_6_3_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1 P-ROLE n22_a_history_of_qed__1_3_3_2_6_3_2_4_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2 NP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1 D n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2 ADJP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3 N n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4 N n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1 AJLYR n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1 AJLYR n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2 PULB n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3 CONJP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4 PURB n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1 VVN;__ n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1 CONJ n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2 AJLYR n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1 ADJ n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2 PUNC n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3 PRN n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1 NP n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1 NUM n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2 N n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_1_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_3_2_3_1_2_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_2_1_4_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_3_1 n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4->n22_a_history_of_qed__1_3_3_2_6_3_2_4_2_2_4_1 n22_a_history_of_qed__1_4->n22_a_history_of_qed__1_4_1 
( (IP-MAT (NP-SBJ;{GECOS_QED} (D This;{this})
                              (N version;{version}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ described;{describe})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D an;{an})
                                  (ADJP (ADJ internal;{internal}))
                                  (ADJP (ADJ technical;{technical}))
                                  (N memo;{memo})
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (BEP;_La_ is;{be})
                                          (ADJP-PRD (ADJ obtainable;{obtainable})
                                                    (PP (CONJ either;{either})
                                                        (PP (P-ROLE in;{in})
                                                            (NP (D a;{a})
                                                                (ADJP (ADVP (ADV slightly;{slightly}))
                                                                      (VVN;__ cut;{cut})
                                                                      (PUNC <hyphen>)
                                                                      (RP down;{down}))
                                                                (NPR HTML;{HTML})
                                                                (ADJP (ADJ browsable;{browsable}))
                                                                (N format;{format})))
                                                        (PUNC ,)
                                                        (CONJP (CONJ or;{or})
                                                               (PP (P-ROLE reproduced_as;{reproduced_as})
                                                                   (NP (D a;{a})
                                                                       (ADJP (AJLYR (AJLYR (VVN;__ scanned;{scan}))
                                                                                    (PULB -LRB-)
                                                                                    (CONJP (CONJ and;{and})
                                                                                           (AJLYR (ADJ big;{big})
                                                                                                  (PUNC :)
                                                                                                  (PRN (NP (NUM 1<dot>1)
                                                                                                           (N MB;{mb})))))
                                                                                    (PURB -RRB-)))
                                                                       (N PDF;{pdf})
                                                                       (N image;{image}))))))))))
          (PUNC .))
  (ID 22_a_history_of_qed))


%3 z_0022_5013 r_0022_0017__slightly slightly z_0022_5013->r_0022_0017__slightly [qual] r_0022_0031__big big r_0022_0033__1_dot_1_r_0022_0034__MB 1.1 MB r_0022_0031__big->r_0022_0033__1_dot_1_r_0022_0034__MB [prn] r_0022_0030__and and r_0022_0030__and->r_0022_0031__big [conj2] z_0022_5018 r_0022_0030__and->z_0022_5018 [conj1] r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image a PDF image r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image->r_0022_0030__and [attrib] r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format a HTML format r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format->z_0022_5013 [attrib] r_0022_0022__browsable browsable r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format->r_0022_0022__browsable [attrib] r_0022_0014__either_r_0022_0025__or either or r_0022_0014__either_r_0022_0025__or->r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image reproduced_as r_0022_0014__either_r_0022_0025__or->r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format in r_0022_0013__obtainable obtainable r_0022_0013__obtainable->r_0022_0014__either_r_0022_0025__or r_0022_0012__is is r_0022_0012__is->r_0022_0013__obtainable [prd] r_0022_0006__an_r_0022_0009__memo an memo r_0022_0012__is->r_0022_0006__an_r_0022_0009__memo [arg0] r_0022_0008__technical technical r_0022_0006__an_r_0022_0009__memo->r_0022_0008__technical [attrib] r_0022_0007__internal internal r_0022_0006__an_r_0022_0009__memo->r_0022_0007__internal [attrib] r_0022_0004__described described r_0022_0004__described->r_0022_0006__an_r_0022_0009__memo in [nim] z_0022_5022___star_ * r_0022_0004__described->z_0022_5022___star_ [arg0] r_0022_0001__This_r_0022_0002__version This version r_0022_0004__described->r_0022_0001__This_r_0022_0002__version [arg1] r_0022_0003__was was r_0022_0003__was->r_0022_0004__described [scope] 
arc(r_0022_0003__was,r_0022_0004__described,scope).
arc(r_0022_0004__described,r_0022_0001__This_r_0022_0002__version,arg1).
arc(r_0022_0004__described,r_0022_0006__an_r_0022_0009__memo,r_0022_0005__in__nim).
arc(r_0022_0004__described,z_0022_5022___star_,arg0).
arc(r_0022_0006__an_r_0022_0009__memo,r_0022_0007__internal,attrib).
arc(r_0022_0006__an_r_0022_0009__memo,r_0022_0008__technical,attrib).
arc(r_0022_0012__is,r_0022_0006__an_r_0022_0009__memo,arg0).
arc(r_0022_0012__is,r_0022_0013__obtainable,prd).
arc(r_0022_0013__obtainable,r_0022_0014__either_r_0022_0025__or,z_0022_5008).
arc(r_0022_0014__either_r_0022_0025__or,r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format,r_0022_0015__in).
arc(r_0022_0014__either_r_0022_0025__or,r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image,r_0022_0026__reproduced_as).
arc(r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format,r_0022_0022__browsable,attrib).
arc(r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format,z_0022_5013,attrib).
arc(r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image,r_0022_0030__and,attrib).
arc(r_0022_0030__and,r_0022_0031__big,conj2).
arc(r_0022_0030__and,z_0022_5018,conj1).
arc(r_0022_0031__big,r_0022_0033__1_dot_1_r_0022_0034__MB,prn).
arc(z_0022_5013,r_0022_0017__slightly,qual).


%3 r_0022_0003__was_r_0022_0004__described was described r_0022_0001__This_r_0022_0002__version This version r_0022_0003__was_r_0022_0004__described->r_0022_0001__This_r_0022_0002__version [arg1] r_0022_0006__an_r_0022_0009__memo an memo r_0022_0003__was_r_0022_0004__described->r_0022_0006__an_r_0022_0009__memo in [nim] z_0022_5022___star_ * r_0022_0003__was_r_0022_0004__described->z_0022_5022___star_ [arg0] r_0022_0007__internal internal r_0022_0006__an_r_0022_0009__memo->r_0022_0007__internal [attrib] r_0022_0008__technical technical r_0022_0006__an_r_0022_0009__memo->r_0022_0008__technical [attrib] r_0022_0012__is is r_0022_0012__is->r_0022_0006__an_r_0022_0009__memo [arg0] r_0022_0013__obtainable obtainable r_0022_0012__is->r_0022_0013__obtainable [prd] r_0022_0014__either_r_0022_0025__or either or r_0022_0013__obtainable->r_0022_0014__either_r_0022_0025__or r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format a HTML format r_0022_0014__either_r_0022_0025__or->r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format in r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image a PDF image r_0022_0014__either_r_0022_0025__or->r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image reproduced_as r_0022_0022__browsable browsable r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format->r_0022_0022__browsable [attrib] z_0022_5013 r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format->z_0022_5013 [attrib] r_0022_0030__and and r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image->r_0022_0030__and [attrib] r_0022_0017__slightly slightly z_0022_5013->r_0022_0017__slightly [qual] r_0022_0031__big big r_0022_0030__and->r_0022_0031__big [conj2] z_0022_5018 r_0022_0030__and->z_0022_5018 [conj1] r_0022_0033__1_dot_1_r_0022_0034__MB 1.1 MB r_0022_0031__big->r_0022_0033__1_dot_1_r_0022_0034__MB [prn] 
fof(formula,axiom,
    ? [R_0022_0001__THIS_R_0022_0002__VERSION,R_0022_0007__INTERNAL,R_0022_0008__TECHNICAL,R_0022_0006__AN_R_0022_0009__MEMO,Z_0022_5022___STAR_,R_0022_0003__WAS_R_0022_0004__DESCRIBED,R_0022_0022__BROWSABLE,R_0022_0017__SLIGHTLY,Z_0022_5013,R_0022_0016__A_R_0022_0021__HTML_R_0022_0023__FORMAT,R_0022_0033__1_DOT_1_R_0022_0034__MB,R_0022_0031__BIG,Z_0022_5018,R_0022_0030__AND,R_0022_0027__A_R_0022_0036__PDF_R_0022_0037__IMAGE,R_0022_0014__EITHER_R_0022_0025__OR,R_0022_0013__OBTAINABLE,R_0022_0012__IS] :
      ( r_0022_0001__This_r_0022_0002__version(R_0022_0001__THIS_R_0022_0002__VERSION)
      & r_0022_0007__internal(R_0022_0007__INTERNAL)
      & r_0022_0008__technical(R_0022_0008__TECHNICAL)
      & r_0022_0017__slightly(R_0022_0017__SLIGHTLY)
      & r_0022_0022__browsable(R_0022_0022__BROWSABLE)
      & r_0022_0033__1_dot_1_r_0022_0034__MB(R_0022_0033__1_DOT_1_R_0022_0034__MB)
      & z_0022_5018(Z_0022_5018)
      & z_0022_5022___star_(Z_0022_5022___STAR_)
      & r_0022_0012__is(R_0022_0012__IS)
      & has_prd(R_0022_0012__IS,R_0022_0013__OBTAINABLE)
      & r_0022_0013__obtainable(R_0022_0013__OBTAINABLE)
      & has_z_0022_5008(R_0022_0013__OBTAINABLE,R_0022_0014__EITHER_R_0022_0025__OR)
      & r_0022_0014__either_r_0022_0025__or(R_0022_0014__EITHER_R_0022_0025__OR)
      & has_r_0022_0026__reproduced_as(R_0022_0014__EITHER_R_0022_0025__OR,R_0022_0027__A_R_0022_0036__PDF_R_0022_0037__IMAGE)
      & r_0022_0027__a_r_0022_0036__PDF_r_0022_0037__image(R_0022_0027__A_R_0022_0036__PDF_R_0022_0037__IMAGE)
      & has_attrib(R_0022_0027__A_R_0022_0036__PDF_R_0022_0037__IMAGE,R_0022_0030__AND)
      & r_0022_0030__and(R_0022_0030__AND)
      & has_conj1(R_0022_0030__AND,Z_0022_5018)
      & has_conj2(R_0022_0030__AND,R_0022_0031__BIG)
      & r_0022_0031__big(R_0022_0031__BIG)
      & has_prn(R_0022_0031__BIG,R_0022_0033__1_DOT_1_R_0022_0034__MB)
      & has_r_0022_0015__in(R_0022_0014__EITHER_R_0022_0025__OR,R_0022_0016__A_R_0022_0021__HTML_R_0022_0023__FORMAT)
      & r_0022_0016__a_r_0022_0021__HTML_r_0022_0023__format(R_0022_0016__A_R_0022_0021__HTML_R_0022_0023__FORMAT)
      & has_attrib(R_0022_0016__A_R_0022_0021__HTML_R_0022_0023__FORMAT,Z_0022_5013)
      & z_0022_5013(Z_0022_5013)
      & has_qual(Z_0022_5013,R_0022_0017__SLIGHTLY)
      & has_attrib(R_0022_0016__A_R_0022_0021__HTML_R_0022_0023__FORMAT,R_0022_0022__BROWSABLE)
      & has_arg0(R_0022_0012__IS,R_0022_0006__AN_R_0022_0009__MEMO)
      & r_0022_0006__an_r_0022_0009__memo(R_0022_0006__AN_R_0022_0009__MEMO)
      & has_attrib(R_0022_0006__AN_R_0022_0009__MEMO,R_0022_0008__TECHNICAL)
      & has_attrib(R_0022_0006__AN_R_0022_0009__MEMO,R_0022_0007__INTERNAL)
      & r_0022_0003__was_r_0022_0004__described(R_0022_0003__WAS_R_0022_0004__DESCRIBED)
      & has_arg0(R_0022_0003__WAS_R_0022_0004__DESCRIBED,Z_0022_5022___STAR_)
      & has_r_0022_0005__in__nim(R_0022_0003__WAS_R_0022_0004__DESCRIBED,R_0022_0006__AN_R_0022_0009__MEMO)
      & has_arg1(R_0022_0003__WAS_R_0022_0004__DESCRIBED,R_0022_0001__THIS_R_0022_0002__VERSION) ) ).