Context                Previous, Next                Top


55_a_history_of_qed
Indeed, there have been many approximate reimplementations of ed, including a basic and didactic one by Kernighan and Plauger in Software Tools (1976), and eventually the expectable GNU version; there seems also to be a “more user - friendly” rendition called bole.

n55_a_history_of_qed n55_a_history_of_qed__1_1_1_1_1_1 Indeed n55_a_history_of_qed__1_1_1_2_1 , n55_a_history_of_qed__1_1_1_3_1 there n55_a_history_of_qed__1_1_1_4_1 have n55_a_history_of_qed__1_1_1_5_1_1 been n55_a_history_of_qed__1_1_1_5_2_1_1_1 many n55_a_history_of_qed__1_1_1_5_2_2_1_1 approximate n55_a_history_of_qed__1_1_1_5_2_3_1 reimplementations n55_a_history_of_qed__1_1_1_5_2_4_1_1 of n55_a_history_of_qed__1_1_1_5_2_4_2_1_1 ed n55_a_history_of_qed__1_1_1_5_2_5_1 , n55_a_history_of_qed__1_1_1_5_2_6_1_1 including n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1_1 a n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1_1 basic n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1_1 and n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1_1 didactic n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3_1 one n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1_1 by n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1_1 Kernighan n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1_1 and n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1_1 Plauger n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1_1 in n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1_1 Software n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2_1 Tools n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3_1 -LRB- n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1_1 1976 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5_1 -RRB- n55_a_history_of_qed__1_1_1_5_2_6_2_1_2_1 , n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1_1 and n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1_1 eventually n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2_1 the n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1_1 expectable n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4_1 GNU n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5_1 version n55_a_history_of_qed__1_1_2_1 ; n55_a_history_of_qed__1_1_3_1_1_1 there n55_a_history_of_qed__1_1_3_1_2_1 seems n55_a_history_of_qed__1_1_3_1_3_1_1 also n55_a_history_of_qed__1_1_3_1_4_1_1 to n55_a_history_of_qed__1_1_3_1_4_2_1 be n55_a_history_of_qed__1_1_3_1_4_3_1_1 a n55_a_history_of_qed__1_1_3_1_4_3_2_1 <ldquo> n55_a_history_of_qed__1_1_3_1_4_3_3_1_1_1 more n55_a_history_of_qed__1_1_3_1_4_3_3_2_1 user n55_a_history_of_qed__1_1_3_1_4_3_3_3_1 - n55_a_history_of_qed__1_1_3_1_4_3_3_4_1 friendly n55_a_history_of_qed__1_1_3_1_4_3_4_1 <rdquo> n55_a_history_of_qed__1_1_3_1_4_3_5_1 rendition n55_a_history_of_qed__1_1_3_1_4_4_1_1 * n55_a_history_of_qed__1_1_3_1_4_4_2_1 called n55_a_history_of_qed__1_1_3_1_4_4_3_1_1 bole n55_a_history_of_qed__1_2_1 . n55_a_history_of_qed__1 IP-MAT n55_a_history_of_qed__1_1 ILYR n55_a_history_of_qed__1->n55_a_history_of_qed__1_1 n55_a_history_of_qed__1_2 PUNC n55_a_history_of_qed__1->n55_a_history_of_qed__1_2 n55_a_history_of_qed__1_1_1 ILYR n55_a_history_of_qed__1_1->n55_a_history_of_qed__1_1_1 n55_a_history_of_qed__1_1_2 PUNC n55_a_history_of_qed__1_1->n55_a_history_of_qed__1_1_2 n55_a_history_of_qed__1_1_3 CONJP n55_a_history_of_qed__1_1->n55_a_history_of_qed__1_1_3 n55_a_history_of_qed__1_1_1_1 ADVP-NIM n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_1 n55_a_history_of_qed__1_1_1_2 PUNC n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_2 n55_a_history_of_qed__1_1_1_3 EX n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_3 n55_a_history_of_qed__1_1_1_4 HVP;_cat_Ve_ n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_4 n55_a_history_of_qed__1_1_1_5 IP-PPL-CAT n55_a_history_of_qed__1_1_1->n55_a_history_of_qed__1_1_1_5 n55_a_history_of_qed__1_1_1_1_1 ADV n55_a_history_of_qed__1_1_1_1->n55_a_history_of_qed__1_1_1_1_1 n55_a_history_of_qed__1_1_1_1_1->n55_a_history_of_qed__1_1_1_1_1_1 n55_a_history_of_qed__1_1_1_2->n55_a_history_of_qed__1_1_1_2_1 n55_a_history_of_qed__1_1_1_3->n55_a_history_of_qed__1_1_1_3_1 n55_a_history_of_qed__1_1_1_4->n55_a_history_of_qed__1_1_1_4_1 n55_a_history_of_qed__1_1_1_5_1 BEN;_ex_V_ n55_a_history_of_qed__1_1_1_5->n55_a_history_of_qed__1_1_1_5_1 n55_a_history_of_qed__1_1_1_5_2 NP-ESBJ n55_a_history_of_qed__1_1_1_5->n55_a_history_of_qed__1_1_1_5_2 n55_a_history_of_qed__1_1_1_5_1->n55_a_history_of_qed__1_1_1_5_1_1 n55_a_history_of_qed__1_1_1_5_2_1 ADJP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_1 n55_a_history_of_qed__1_1_1_5_2_2 ADJP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_2 n55_a_history_of_qed__1_1_1_5_2_3 NS n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_3 n55_a_history_of_qed__1_1_1_5_2_4 PP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_4 n55_a_history_of_qed__1_1_1_5_2_5 PUNC n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_5 n55_a_history_of_qed__1_1_1_5_2_6 PP n55_a_history_of_qed__1_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6 n55_a_history_of_qed__1_1_1_5_2_1_1 ADJ n55_a_history_of_qed__1_1_1_5_2_1->n55_a_history_of_qed__1_1_1_5_2_1_1 n55_a_history_of_qed__1_1_1_5_2_1_1->n55_a_history_of_qed__1_1_1_5_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_2_1 ADJ n55_a_history_of_qed__1_1_1_5_2_2->n55_a_history_of_qed__1_1_1_5_2_2_1 n55_a_history_of_qed__1_1_1_5_2_2_1->n55_a_history_of_qed__1_1_1_5_2_2_1_1 n55_a_history_of_qed__1_1_1_5_2_3->n55_a_history_of_qed__1_1_1_5_2_3_1 n55_a_history_of_qed__1_1_1_5_2_4_1 P-ROLE n55_a_history_of_qed__1_1_1_5_2_4->n55_a_history_of_qed__1_1_1_5_2_4_1 n55_a_history_of_qed__1_1_1_5_2_4_2 NP n55_a_history_of_qed__1_1_1_5_2_4->n55_a_history_of_qed__1_1_1_5_2_4_2 n55_a_history_of_qed__1_1_1_5_2_4_1->n55_a_history_of_qed__1_1_1_5_2_4_1_1 n55_a_history_of_qed__1_1_1_5_2_4_2_1 NPR n55_a_history_of_qed__1_1_1_5_2_4_2->n55_a_history_of_qed__1_1_1_5_2_4_2_1 n55_a_history_of_qed__1_1_1_5_2_4_2_1->n55_a_history_of_qed__1_1_1_5_2_4_2_1_1 n55_a_history_of_qed__1_1_1_5_2_5->n55_a_history_of_qed__1_1_1_5_2_5_1 n55_a_history_of_qed__1_1_1_5_2_6_1 VAG;__ n55_a_history_of_qed__1_1_1_5_2_6->n55_a_history_of_qed__1_1_1_5_2_6_1 n55_a_history_of_qed__1_1_1_5_2_6_2 NP n55_a_history_of_qed__1_1_1_5_2_6->n55_a_history_of_qed__1_1_1_5_2_6_2 n55_a_history_of_qed__1_1_1_5_2_6_1->n55_a_history_of_qed__1_1_1_5_2_6_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_2 PUNC n55_a_history_of_qed__1_1_1_5_2_6_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3 CONJP n55_a_history_of_qed__1_1_1_5_2_6_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1 D n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2 ADJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3 N n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4 PP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5 PP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1 AJLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1 AJLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2 CONJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1 ADJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1 CONJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2 AJLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1 ADJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_2_1_2_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1 P-ROLE n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2 NP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2 CONJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1 CONJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_4_2_1_2_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1 P-ROLE n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2 NP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2 NPRS n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3 PULB n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4 PRN n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5 PURB n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1 NP n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_4_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_1_5_2_5_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1 CONJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2 NLYR n55_a_history_of_qed__1_1_1_5_2_6_2_1_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1 ADVP n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2 D n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3 ADJP n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4 NPR n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5 N n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1 ADV n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_1_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_2_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1 ADJ n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_3_1_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_4_1 n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5->n55_a_history_of_qed__1_1_1_5_2_6_2_1_3_2_5_1 n55_a_history_of_qed__1_1_2->n55_a_history_of_qed__1_1_2_1 n55_a_history_of_qed__1_1_3_1 ILYR n55_a_history_of_qed__1_1_3->n55_a_history_of_qed__1_1_3_1 n55_a_history_of_qed__1_1_3_1_1 EX n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_1 n55_a_history_of_qed__1_1_3_1_2 VBP;_cat_Vt_ n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_2 n55_a_history_of_qed__1_1_3_1_3 ADVP-NIM n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_3 n55_a_history_of_qed__1_1_3_1_4 IP-INF-CAT n55_a_history_of_qed__1_1_3_1->n55_a_history_of_qed__1_1_3_1_4 n55_a_history_of_qed__1_1_3_1_1->n55_a_history_of_qed__1_1_3_1_1_1 n55_a_history_of_qed__1_1_3_1_2->n55_a_history_of_qed__1_1_3_1_2_1 n55_a_history_of_qed__1_1_3_1_3_1 ADV n55_a_history_of_qed__1_1_3_1_3->n55_a_history_of_qed__1_1_3_1_3_1 n55_a_history_of_qed__1_1_3_1_3_1->n55_a_history_of_qed__1_1_3_1_3_1_1 n55_a_history_of_qed__1_1_3_1_4_1 TO n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_1 n55_a_history_of_qed__1_1_3_1_4_2 BE;_ex_cat_VePASS_ n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_2 n55_a_history_of_qed__1_1_3_1_4_3 NP-ESBJ n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_3 n55_a_history_of_qed__1_1_3_1_4_4 IP-PPL-CAT n55_a_history_of_qed__1_1_3_1_4->n55_a_history_of_qed__1_1_3_1_4_4 n55_a_history_of_qed__1_1_3_1_4_1->n55_a_history_of_qed__1_1_3_1_4_1_1 n55_a_history_of_qed__1_1_3_1_4_2->n55_a_history_of_qed__1_1_3_1_4_2_1 n55_a_history_of_qed__1_1_3_1_4_3_1 D n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_1 n55_a_history_of_qed__1_1_3_1_4_3_2 PULQ n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_2 n55_a_history_of_qed__1_1_3_1_4_3_3 ADJP n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_3 n55_a_history_of_qed__1_1_3_1_4_3_4 PURQ n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_4 n55_a_history_of_qed__1_1_3_1_4_3_5 N n55_a_history_of_qed__1_1_3_1_4_3->n55_a_history_of_qed__1_1_3_1_4_3_5 n55_a_history_of_qed__1_1_3_1_4_3_1->n55_a_history_of_qed__1_1_3_1_4_3_1_1 n55_a_history_of_qed__1_1_3_1_4_3_2->n55_a_history_of_qed__1_1_3_1_4_3_2_1 n55_a_history_of_qed__1_1_3_1_4_3_3_1 ADVP n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_1 n55_a_history_of_qed__1_1_3_1_4_3_3_2 N n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_2 n55_a_history_of_qed__1_1_3_1_4_3_3_3 PUNC n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_3 n55_a_history_of_qed__1_1_3_1_4_3_3_4 ADJ n55_a_history_of_qed__1_1_3_1_4_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_4 n55_a_history_of_qed__1_1_3_1_4_3_3_1_1 ADVR n55_a_history_of_qed__1_1_3_1_4_3_3_1->n55_a_history_of_qed__1_1_3_1_4_3_3_1_1 n55_a_history_of_qed__1_1_3_1_4_3_3_1_1->n55_a_history_of_qed__1_1_3_1_4_3_3_1_1_1 n55_a_history_of_qed__1_1_3_1_4_3_3_2->n55_a_history_of_qed__1_1_3_1_4_3_3_2_1 n55_a_history_of_qed__1_1_3_1_4_3_3_3->n55_a_history_of_qed__1_1_3_1_4_3_3_3_1 n55_a_history_of_qed__1_1_3_1_4_3_3_4->n55_a_history_of_qed__1_1_3_1_4_3_3_4_1 n55_a_history_of_qed__1_1_3_1_4_3_4->n55_a_history_of_qed__1_1_3_1_4_3_4_1 n55_a_history_of_qed__1_1_3_1_4_3_5->n55_a_history_of_qed__1_1_3_1_4_3_5_1 n55_a_history_of_qed__1_1_3_1_4_4_1 NP-LGS n55_a_history_of_qed__1_1_3_1_4_4->n55_a_history_of_qed__1_1_3_1_4_4_1 n55_a_history_of_qed__1_1_3_1_4_4_2 VVN;_Cn.n_ n55_a_history_of_qed__1_1_3_1_4_4->n55_a_history_of_qed__1_1_3_1_4_4_2 n55_a_history_of_qed__1_1_3_1_4_4_3 NP-PRD n55_a_history_of_qed__1_1_3_1_4_4->n55_a_history_of_qed__1_1_3_1_4_4_3 n55_a_history_of_qed__1_1_3_1_4_4_1->n55_a_history_of_qed__1_1_3_1_4_4_1_1 n55_a_history_of_qed__1_1_3_1_4_4_2->n55_a_history_of_qed__1_1_3_1_4_4_2_1 n55_a_history_of_qed__1_1_3_1_4_4_3_1 NPR n55_a_history_of_qed__1_1_3_1_4_4_3->n55_a_history_of_qed__1_1_3_1_4_4_3_1 n55_a_history_of_qed__1_1_3_1_4_4_3_1->n55_a_history_of_qed__1_1_3_1_4_4_3_1_1 n55_a_history_of_qed__1_2->n55_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Indeed;{indeed}))
                      (PUNC ,)
                      (EX there;{there})
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_ex_V_ been;{be})
                                  (NP-ESBJ (ADJP (ADJ many;{many}))
                                           (ADJP (ADJ approximate;{approximate}))
                                           (NS reimplementations;{reimplementations})
                                           (PP (P-ROLE of;{of})
                                               (NP;{STANDARD_ED} (NPR ed;{ed})))
                                           (PUNC ,)
                                           (PP (VAG;__ including;{include})
                                               (NP (NLYR (NLYR (D a;{a})
                                                               (ADJP (AJLYR (AJLYR (ADJ basic;{basic}))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (AJLYR (ADJ didactic;{didactic})))))
                                                               (N one;{one})
                                                               (PP (P-ROLE by;{by})
                                                                   (NP (NLYR (NLYR (NPR Kernighan;{Kernighan}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (NLYR (NPR Plauger;{Plauger}))))))
                                                               (PP (P-ROLE in;{in})
                                                                   (NP (NPR Software;{Software})
                                                                       (NPRS Tools;{Tools})
                                                                       (PULB -LRB-)
                                                                       (PRN (NP (NPR 1976)))
                                                                       (PURB -RRB-))))
                                                         (PUNC ,)
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (ADVP (ADV eventually;{eventually}))
                                                                      (D the;{the})
                                                                      (ADJP (ADJ expectable;{expectable}))
                                                                      (NPR GNU;{GNU})
                                                                      (N version;{version})))))))))
                (PUNC ;)
                (CONJP (ILYR (EX there;{there})
                             (VBP;_cat_Vt_ seems;{seem})
                             (ADVP-NIM (ADV also;{also}))
                             (IP-INF-CAT (TO to;{to})
                                         (BE;_ex_cat_VePASS_ be;{be})
                                         (NP-ESBJ (D a;{a})
                                                  (PULQ <ldquo>)
                                                  (ADJP (ADVP (ADVR more;{more}))
                                                        (N user;{user})
                                                        (PUNC <hyphen>)
                                                        (ADJ friendly;{friendly}))
                                                  (PURQ <rdquo>)
                                                  (N rendition;{rendition}))
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;_Cn.n_ called;{call})
                                                     (NP-PRD (NPR bole;{bole})))))))
          (PUNC .))
  (ID 55_a_history_of_qed))


%3 z_0055_5017 r_0055_0026__1976 1976 z_0055_5017->r_0055_0026__1976 [prd] r_0055_0023__Software_r_0055_0024__Tools Software Tools z_0055_5017->r_0055_0023__Software_r_0055_0024__Tools [arg0] z_0055_5003 r_0055_0037__seems seems z_0055_5003->r_0055_0037__seems [conj2] r_0055_0004__have have z_0055_5003->r_0055_0004__have [conj1] r_0055_0040__be be r_0055_0037__seems->r_0055_0040__be [scope] r_0055_0038__also also r_0055_0037__seems->r_0055_0038__also [nim] r_0055_0005__been been r_0055_0004__have->r_0055_0005__been [scope] r_0055_0001__Indeed Indeed r_0055_0004__have->r_0055_0001__Indeed [nim] r_0055_0049__called called z_0055_5030___star_ * r_0055_0049__called->z_0055_5030___star_ [arg0] r_0055_0050__bole bole r_0055_0049__called->r_0055_0050__bole [prd] r_0055_0041__a_r_0055_0048__rendition a rendition r_0055_0049__called->r_0055_0041__a_r_0055_0048__rendition [arg1] r_0055_0046__friendly friendly r_0055_0041__a_r_0055_0048__rendition->r_0055_0046__friendly [attrib] r_0055_0043__more more r_0055_0046__friendly->r_0055_0043__more [qual] r_0055_0040__be->r_0055_0049__called [scope] r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version the GNU version r_0055_0032__expectable expectable r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version->r_0055_0032__expectable [attrib] r_0055_0030__eventually eventually r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version->r_0055_0030__eventually [qual] r_0055_0029__and and r_0055_0029__and->r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version [conj2] r_0055_0013__a_r_0055_0017__one a one r_0055_0029__and->r_0055_0013__a_r_0055_0017__one [conj1] r_0055_0013__a_r_0055_0017__one->r_0055_0023__Software_r_0055_0024__Tools in r_0055_0020__and and r_0055_0013__a_r_0055_0017__one->r_0055_0020__and by r_0055_0015__and and r_0055_0013__a_r_0055_0017__one->r_0055_0015__and [attrib] r_0055_0021__Plauger Plauger r_0055_0020__and->r_0055_0021__Plauger [conj2] r_0055_0019__Kernighan Kernighan r_0055_0020__and->r_0055_0019__Kernighan [conj1] r_0055_0016__didactic didactic r_0055_0015__and->r_0055_0016__didactic [conj2] r_0055_0014__basic basic r_0055_0015__and->r_0055_0014__basic [conj1] r_0055_0008__reimplementations reimplementations r_0055_0008__reimplementations->r_0055_0029__and r_0055_0010__ed ed r_0055_0008__reimplementations->r_0055_0010__ed of r_0055_0007__approximate approximate r_0055_0008__reimplementations->r_0055_0007__approximate [attrib] r_0055_0006__many many r_0055_0008__reimplementations->r_0055_0006__many [attrib] r_0055_0005__been->r_0055_0008__reimplementations [arg0] 
arc(r_0055_0004__have,r_0055_0001__Indeed,nim).
arc(r_0055_0004__have,r_0055_0005__been,scope).
arc(r_0055_0005__been,r_0055_0008__reimplementations,arg0).
arc(r_0055_0008__reimplementations,r_0055_0006__many,attrib).
arc(r_0055_0008__reimplementations,r_0055_0007__approximate,attrib).
arc(r_0055_0008__reimplementations,r_0055_0010__ed,r_0055_0009__of).
arc(r_0055_0008__reimplementations,r_0055_0029__and,z_0055_5010).
arc(r_0055_0013__a_r_0055_0017__one,r_0055_0015__and,attrib).
arc(r_0055_0013__a_r_0055_0017__one,r_0055_0020__and,r_0055_0018__by).
arc(r_0055_0013__a_r_0055_0017__one,r_0055_0023__Software_r_0055_0024__Tools,r_0055_0022__in).
arc(r_0055_0015__and,r_0055_0014__basic,conj1).
arc(r_0055_0015__and,r_0055_0016__didactic,conj2).
arc(r_0055_0020__and,r_0055_0019__Kernighan,conj1).
arc(r_0055_0020__and,r_0055_0021__Plauger,conj2).
arc(r_0055_0029__and,r_0055_0013__a_r_0055_0017__one,conj1).
arc(r_0055_0029__and,r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version,conj2).
arc(r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version,r_0055_0030__eventually,qual).
arc(r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version,r_0055_0032__expectable,attrib).
arc(r_0055_0037__seems,r_0055_0038__also,nim).
arc(r_0055_0037__seems,r_0055_0040__be,scope).
arc(r_0055_0040__be,r_0055_0049__called,scope).
arc(r_0055_0041__a_r_0055_0048__rendition,r_0055_0046__friendly,attrib).
arc(r_0055_0046__friendly,r_0055_0043__more,qual).
arc(r_0055_0049__called,r_0055_0041__a_r_0055_0048__rendition,arg1).
arc(r_0055_0049__called,r_0055_0050__bole,prd).
arc(r_0055_0049__called,z_0055_5030___star_,arg0).
arc(z_0055_5003,r_0055_0004__have,conj1).
arc(z_0055_5003,r_0055_0037__seems,conj2).
arc(z_0055_5017,r_0055_0023__Software_r_0055_0024__Tools,arg0).
arc(z_0055_5017,r_0055_0026__1976,prd).


%3 r_0055_0004__have_r_0055_0005__been have been r_0055_0001__Indeed Indeed r_0055_0004__have_r_0055_0005__been->r_0055_0001__Indeed [nim] r_0055_0008__reimplementations reimplementations r_0055_0004__have_r_0055_0005__been->r_0055_0008__reimplementations [arg0] r_0055_0006__many many r_0055_0008__reimplementations->r_0055_0006__many [attrib] r_0055_0007__approximate approximate r_0055_0008__reimplementations->r_0055_0007__approximate [attrib] r_0055_0010__ed ed r_0055_0008__reimplementations->r_0055_0010__ed of r_0055_0029__and and r_0055_0008__reimplementations->r_0055_0029__and r_0055_0013__a_r_0055_0017__one a one r_0055_0029__and->r_0055_0013__a_r_0055_0017__one [conj1] r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version the GNU version r_0055_0029__and->r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version [conj2] r_0055_0015__and and r_0055_0013__a_r_0055_0017__one->r_0055_0015__and [attrib] r_0055_0020__and and r_0055_0013__a_r_0055_0017__one->r_0055_0020__and by r_0055_0023__Software_r_0055_0024__Tools Software Tools r_0055_0013__a_r_0055_0017__one->r_0055_0023__Software_r_0055_0024__Tools in r_0055_0014__basic basic r_0055_0015__and->r_0055_0014__basic [conj1] r_0055_0016__didactic didactic r_0055_0015__and->r_0055_0016__didactic [conj2] r_0055_0019__Kernighan Kernighan r_0055_0020__and->r_0055_0019__Kernighan [conj1] r_0055_0021__Plauger Plauger r_0055_0020__and->r_0055_0021__Plauger [conj2] r_0055_0030__eventually eventually r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version->r_0055_0030__eventually [qual] r_0055_0032__expectable expectable r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version->r_0055_0032__expectable [attrib] r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called seems be called r_0055_0038__also also r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called->r_0055_0038__also [nim] r_0055_0041__a_r_0055_0048__rendition a rendition r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called->r_0055_0041__a_r_0055_0048__rendition [arg1] r_0055_0050__bole bole r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called->r_0055_0050__bole [prd] z_0055_5030___star_ * r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called->z_0055_5030___star_ [arg0] r_0055_0046__friendly friendly r_0055_0041__a_r_0055_0048__rendition->r_0055_0046__friendly [attrib] r_0055_0043__more more r_0055_0046__friendly->r_0055_0043__more [qual] z_0055_5003 z_0055_5003->r_0055_0004__have_r_0055_0005__been [conj1] z_0055_5003->r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called [conj2] z_0055_5017 z_0055_5017->r_0055_0023__Software_r_0055_0024__Tools [arg0] r_0055_0026__1976 1976 z_0055_5017->r_0055_0026__1976 [prd] 
fof(formula,axiom,
    ? [R_0055_0001__INDEED,R_0055_0006__MANY,R_0055_0007__APPROXIMATE,R_0055_0010__ED,R_0055_0014__BASIC,R_0055_0016__DIDACTIC,R_0055_0015__AND,R_0055_0019__KERNIGHAN,R_0055_0021__PLAUGER,R_0055_0020__AND,R_0055_0023__SOFTWARE_R_0055_0024__TOOLS,R_0055_0013__A_R_0055_0017__ONE,R_0055_0030__EVENTUALLY,R_0055_0032__EXPECTABLE,R_0055_0031__THE_R_0055_0033__GNU_R_0055_0034__VERSION,R_0055_0029__AND,R_0055_0008__REIMPLEMENTATIONS,R_0055_0004__HAVE_R_0055_0005__BEEN,R_0055_0038__ALSO,R_0055_0043__MORE,R_0055_0046__FRIENDLY,R_0055_0041__A_R_0055_0048__RENDITION,R_0055_0050__BOLE,Z_0055_5030___STAR_,R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED,Z_0055_5003,R_0055_0026__1976,Z_0055_5017] :
      ( r_0055_0001__Indeed(R_0055_0001__INDEED)
      & r_0055_0006__many(R_0055_0006__MANY)
      & r_0055_0007__approximate(R_0055_0007__APPROXIMATE)
      & r_0055_0010__ed(R_0055_0010__ED)
      & r_0055_0014__basic(R_0055_0014__BASIC)
      & r_0055_0016__didactic(R_0055_0016__DIDACTIC)
      & r_0055_0019__Kernighan(R_0055_0019__KERNIGHAN)
      & r_0055_0021__Plauger(R_0055_0021__PLAUGER)
      & r_0055_0023__Software_r_0055_0024__Tools(R_0055_0023__SOFTWARE_R_0055_0024__TOOLS)
      & r_0055_0026__1976(R_0055_0026__1976)
      & r_0055_0030__eventually(R_0055_0030__EVENTUALLY)
      & r_0055_0032__expectable(R_0055_0032__EXPECTABLE)
      & r_0055_0038__also(R_0055_0038__ALSO)
      & r_0055_0043__more(R_0055_0043__MORE)
      & r_0055_0050__bole(R_0055_0050__BOLE)
      & z_0055_5030___star_(Z_0055_5030___STAR_)
      & z_0055_5017(Z_0055_5017)
      & has_prd(Z_0055_5017,R_0055_0026__1976)
      & has_arg0(Z_0055_5017,R_0055_0023__SOFTWARE_R_0055_0024__TOOLS)
      & z_0055_5003(Z_0055_5003)
      & has_conj2(Z_0055_5003,R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED)
      & r_0055_0037__seems_r_0055_0040__be_r_0055_0049__called(R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED)
      & has_arg0(R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED,Z_0055_5030___STAR_)
      & has_prd(R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED,R_0055_0050__BOLE)
      & has_arg1(R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED,R_0055_0041__A_R_0055_0048__RENDITION)
      & r_0055_0041__a_r_0055_0048__rendition(R_0055_0041__A_R_0055_0048__RENDITION)
      & has_attrib(R_0055_0041__A_R_0055_0048__RENDITION,R_0055_0046__FRIENDLY)
      & r_0055_0046__friendly(R_0055_0046__FRIENDLY)
      & has_qual(R_0055_0046__FRIENDLY,R_0055_0043__MORE)
      & has_nim(R_0055_0037__SEEMS_R_0055_0040__BE_R_0055_0049__CALLED,R_0055_0038__ALSO)
      & has_conj1(Z_0055_5003,R_0055_0004__HAVE_R_0055_0005__BEEN)
      & r_0055_0004__have_r_0055_0005__been(R_0055_0004__HAVE_R_0055_0005__BEEN)
      & has_arg0(R_0055_0004__HAVE_R_0055_0005__BEEN,R_0055_0008__REIMPLEMENTATIONS)
      & r_0055_0008__reimplementations(R_0055_0008__REIMPLEMENTATIONS)
      & has_z_0055_5010(R_0055_0008__REIMPLEMENTATIONS,R_0055_0029__AND)
      & r_0055_0029__and(R_0055_0029__AND)
      & has_conj2(R_0055_0029__AND,R_0055_0031__THE_R_0055_0033__GNU_R_0055_0034__VERSION)
      & r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version(R_0055_0031__THE_R_0055_0033__GNU_R_0055_0034__VERSION)
      & has_attrib(R_0055_0031__THE_R_0055_0033__GNU_R_0055_0034__VERSION,R_0055_0032__EXPECTABLE)
      & has_qual(R_0055_0031__THE_R_0055_0033__GNU_R_0055_0034__VERSION,R_0055_0030__EVENTUALLY)
      & has_conj1(R_0055_0029__AND,R_0055_0013__A_R_0055_0017__ONE)
      & r_0055_0013__a_r_0055_0017__one(R_0055_0013__A_R_0055_0017__ONE)
      & has_r_0055_0022__in(R_0055_0013__A_R_0055_0017__ONE,R_0055_0023__SOFTWARE_R_0055_0024__TOOLS)
      & has_r_0055_0018__by(R_0055_0013__A_R_0055_0017__ONE,R_0055_0020__AND)
      & r_0055_0020__and(R_0055_0020__AND)
      & has_conj2(R_0055_0020__AND,R_0055_0021__PLAUGER)
      & has_conj1(R_0055_0020__AND,R_0055_0019__KERNIGHAN)
      & has_attrib(R_0055_0013__A_R_0055_0017__ONE,R_0055_0015__AND)
      & r_0055_0015__and(R_0055_0015__AND)
      & has_conj2(R_0055_0015__AND,R_0055_0016__DIDACTIC)
      & has_conj1(R_0055_0015__AND,R_0055_0014__BASIC)
      & has_r_0055_0009__of(R_0055_0008__REIMPLEMENTATIONS,R_0055_0010__ED)
      & has_attrib(R_0055_0008__REIMPLEMENTATIONS,R_0055_0007__APPROXIMATE)
      & has_attrib(R_0055_0008__REIMPLEMENTATIONS,R_0055_0006__MANY)
      & has_nim(R_0055_0004__HAVE_R_0055_0005__BEEN,R_0055_0001__INDEED) ) ).