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.

%3 r_0055_0003__there_r_0055_0004__have there have r_0055_0001__Indeed Indeed r_0055_0003__there_r_0055_0004__have->r_0055_0001__Indeed [nim] r_0055_0005__been been r_0055_0003__there_r_0055_0004__have->r_0055_0005__been [scope] r_0055_0008__reimplementations reimplementations 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 including 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_0036__there_r_0055_0037__seems there seems r_0055_0038__also also r_0055_0036__there_r_0055_0037__seems->r_0055_0038__also [nim] r_0055_0039__to_r_0055_0040__be to be r_0055_0036__there_r_0055_0037__seems->r_0055_0039__to_r_0055_0040__be [scope] r_0055_0049__called called r_0055_0039__to_r_0055_0040__be->r_0055_0049__called [scope] 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_0050__bole bole r_0055_0049__called->r_0055_0050__bole [prd] z_000_55_a_history_of_qed_138 r_0055_0049__called->z_000_55_a_history_of_qed_138 [arg0] r_0055_0044__user_r_0055_0046__friendly user friendly r_0055_0041__a_r_0055_0048__rendition->r_0055_0044__user_r_0055_0046__friendly [attrib] r_0055_0043__more more r_0055_0044__user_r_0055_0046__friendly->r_0055_0043__more [qual] z_000_55_a_history_of_qed_2 z_000_55_a_history_of_qed_2->r_0055_0003__there_r_0055_0004__have [conj1] z_000_55_a_history_of_qed_2->r_0055_0036__there_r_0055_0037__seems [conj2] z_000_55_a_history_of_qed_78 z_000_55_a_history_of_qed_78->r_0055_0023__Software_r_0055_0024__Tools [arg0] r_0055_0026__1976 1976 z_000_55_a_history_of_qed_78->r_0055_0026__1976 [prd] 
arc(r_0055_0003__there_r_0055_0004__have, r_0055_0001__Indeed, nim4).
arc(r_0055_0003__there_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, attrib17).
arc(r_0055_0008__reimplementations, r_0055_0007__approximate, attrib20).
arc(r_0055_0008__reimplementations, r_0055_0010__ed, r_0055_0009__of).
arc(r_0055_0008__reimplementations, r_0055_0029__and, r_0055_0012__including).
arc(r_0055_0013__a_r_0055_0017__one, r_0055_0015__and, attrib41).
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, qual90).
arc(r_0055_0031__the_r_0055_0033__GNU_r_0055_0034__version, r_0055_0032__expectable, attrib95).
arc(r_0055_0036__there_r_0055_0037__seems, r_0055_0038__also, nim110).
arc(r_0055_0036__there_r_0055_0037__seems, r_0055_0039__to_r_0055_0040__be, scope).
arc(r_0055_0039__to_r_0055_0040__be, r_0055_0049__called, scope).
arc(r_0055_0041__a_r_0055_0048__rendition, r_0055_0044__user_r_0055_0046__friendly, attrib123).
arc(r_0055_0044__user_r_0055_0046__friendly, r_0055_0043__more, qual124).
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_000_55_a_history_of_qed_138, arg0).
arc(z_000_55_a_history_of_qed_2, r_0055_0003__there_r_0055_0004__have, conj1).
arc(z_000_55_a_history_of_qed_2, r_0055_0036__there_r_0055_0037__seems, conj2).
arc(z_000_55_a_history_of_qed_78, r_0055_0023__Software_r_0055_0024__Tools, arg0).
arc(z_000_55_a_history_of_qed_78, r_0055_0026__1976, prd).


%3 r_0055_0003__there_r_0055_0004__have_r_0055_0005__been there have been r_0055_0001__Indeed Indeed r_0055_0003__there_r_0055_0004__have_r_0055_0005__been->r_0055_0001__Indeed [nim] r_0055_0008__reimplementations reimplementations r_0055_0003__there_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 including 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_0036__there_r_0055_0037__seems_r_0055_0039__to_r_0055_0040__be_r_0055_0049__called there seems to be called r_0055_0038__also also r_0055_0036__there_r_0055_0037__seems_r_0055_0039__to_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_0036__there_r_0055_0037__seems_r_0055_0039__to_r_0055_0040__be_r_0055_0049__called->r_0055_0041__a_r_0055_0048__rendition [arg1] r_0055_0050__bole bole r_0055_0036__there_r_0055_0037__seems_r_0055_0039__to_r_0055_0040__be_r_0055_0049__called->r_0055_0050__bole [prd] z_000_55_a_history_of_qed_138 r_0055_0036__there_r_0055_0037__seems_r_0055_0039__to_r_0055_0040__be_r_0055_0049__called->z_000_55_a_history_of_qed_138 [arg0] r_0055_0044__user_r_0055_0046__friendly user friendly r_0055_0041__a_r_0055_0048__rendition->r_0055_0044__user_r_0055_0046__friendly [attrib] r_0055_0043__more more r_0055_0044__user_r_0055_0046__friendly->r_0055_0043__more [qual] z_000_55_a_history_of_qed_2 z_000_55_a_history_of_qed_2->r_0055_0003__there_r_0055_0004__have_r_0055_0005__been [conj1] z_000_55_a_history_of_qed_2->r_0055_0036__there_r_0055_0037__seems_r_0055_0039__to_r_0055_0040__be_r_0055_0049__called [conj2] z_000_55_a_history_of_qed_78 z_000_55_a_history_of_qed_78->r_0055_0023__Software_r_0055_0024__Tools [arg0] r_0055_0026__1976 1976 z_000_55_a_history_of_qed_78->r_0055_0026__1976 [prd] 
fof(formula,axiom,
    ? [Z_55_A_HISTORY_OF_QED_2,R_55_3_THERE_HAVE_BEEN,R_55_8_REIMPLEMENTATIONS,R_55_6_MANY,R_55_7_APPROXIMATE,R_55_10_ED,R_55_29_AND,R_55_13_A_ONE,R_55_15_AND,R_55_14_BASIC,R_55_16_DIDACTIC,R_55_20_AND,R_55_19_KERNIGHAN,R_55_21_PLAUGER,R_55_31_THE_GNU_VERSION,R_55_32_EXPECTABLE,R_55_30_EVENTUALLY,R_55_1_INDEED,R_55_36_THERE_SEEMS_TO_BE_CALLED,Z_55_A_HISTORY_OF_QED_138,R_55_41_A_RENDITION,R_55_44_USER_FRIENDLY,R_55_43_MORE,R_55_38_ALSO,R_55_50_BOLE,Z_55_A_HISTORY_OF_QED_78,R_55_23_SOFTWARE_TOOLS,R_55_26_1976] :
      ( many(R_55_6_MANY)
      & approximate(R_55_7_APPROXIMATE)
      & ed(R_55_10_ED)
      & basic(R_55_14_BASIC)
      & didactic(R_55_16_DIDACTIC)
      & kernighan(R_55_19_KERNIGHAN)
      & plauger(R_55_21_PLAUGER)
      & expectable(R_55_32_EXPECTABLE)
      & eventually(R_55_30_EVENTUALLY)
      & indeed(R_55_1_INDEED)
      & more(R_55_43_MORE)
      & also(R_55_38_ALSO)
      & bole(R_55_50_BOLE)
      & software_Tools(R_55_23_SOFTWARE_TOOLS)
      & 1976(R_55_26_1976)
      & z_55_a_history_of_qed_2(Z_55_A_HISTORY_OF_QED_2)
      & conj1(Z_55_A_HISTORY_OF_QED_2,R_55_3_THERE_HAVE_BEEN)
      & there_have_been(R_55_3_THERE_HAVE_BEEN,R_55_8_REIMPLEMENTATIONS)
      & reimplementations(R_55_8_REIMPLEMENTATIONS)
      & attrib17(R_55_8_REIMPLEMENTATIONS,R_55_6_MANY)
      & attrib20(R_55_8_REIMPLEMENTATIONS,R_55_7_APPROXIMATE)
      & of(R_55_8_REIMPLEMENTATIONS,R_55_10_ED)
      & including(R_55_8_REIMPLEMENTATIONS,R_55_29_AND)
      & and(R_55_29_AND)
      & conj1(R_55_29_AND,R_55_13_A_ONE)
      & a_one(R_55_13_A_ONE)
      & attrib41(R_55_13_A_ONE,R_55_15_AND)
      & and(R_55_15_AND)
      & conj1(R_55_15_AND,R_55_14_BASIC)
      & conj2(R_55_15_AND,R_55_16_DIDACTIC)
      & by(R_55_13_A_ONE,R_55_20_AND)
      & and(R_55_20_AND)
      & conj1(R_55_20_AND,R_55_19_KERNIGHAN)
      & conj2(R_55_20_AND,R_55_21_PLAUGER)
      & in(R_55_13_A_ONE,R_55_23_SOFTWARE_TOOLS)
      & conj2(R_55_29_AND,R_55_31_THE_GNU_VERSION)
      & the_GNU_version(R_55_31_THE_GNU_VERSION)
      & attrib95(R_55_31_THE_GNU_VERSION,R_55_32_EXPECTABLE)
      & qual90(R_55_31_THE_GNU_VERSION,R_55_30_EVENTUALLY)
      & nim4(R_55_3_THERE_HAVE_BEEN,R_55_1_INDEED)
      & conj2(Z_55_A_HISTORY_OF_QED_2,R_55_36_THERE_SEEMS_TO_BE_CALLED)
      & there_seems_to_be_called(R_55_36_THERE_SEEMS_TO_BE_CALLED,Z_55_A_HISTORY_OF_QED_138,R_55_41_A_RENDITION,R_55_50_BOLE)
      & a_rendition(R_55_41_A_RENDITION)
      & attrib123(R_55_41_A_RENDITION,R_55_44_USER_FRIENDLY)
      & user_friendly(R_55_44_USER_FRIENDLY)
      & qual124(R_55_44_USER_FRIENDLY,R_55_43_MORE)
      & nim110(R_55_36_THERE_SEEMS_TO_BE_CALLED,R_55_38_ALSO)
      & z_55_a_history_of_qed_78(Z_55_A_HISTORY_OF_QED_78,R_55_23_SOFTWARE_TOOLS,R_55_26_1976) ) ).


n55_a_history_of_qed n55_a_history_of_qed_6 Indeed n55_a_history_of_qed_8 , n55_a_history_of_qed_10 there n55_a_history_of_qed_12 have n55_a_history_of_qed_15 been n55_a_history_of_qed_19 many n55_a_history_of_qed_22 approximate n55_a_history_of_qed_24 reimplementations n55_a_history_of_qed_27 of n55_a_history_of_qed_30 ed n55_a_history_of_qed_32 , n55_a_history_of_qed_35 including n55_a_history_of_qed_40 a n55_a_history_of_qed_45 basic n55_a_history_of_qed_48 and n55_a_history_of_qed_51 didactic n55_a_history_of_qed_53 one n55_a_history_of_qed_56 by n55_a_history_of_qed_61 Kernighan n55_a_history_of_qed_64 and n55_a_history_of_qed_67 Plauger n55_a_history_of_qed_70 in n55_a_history_of_qed_73 Software n55_a_history_of_qed_75 Tools n55_a_history_of_qed_77 -LRB- n55_a_history_of_qed_81 1976 n55_a_history_of_qed_83 -RRB- n55_a_history_of_qed_85 , n55_a_history_of_qed_88 and n55_a_history_of_qed_92 eventually n55_a_history_of_qed_94 the n55_a_history_of_qed_97 expectable n55_a_history_of_qed_99 GNU n55_a_history_of_qed_101 version n55_a_history_of_qed_103 ; n55_a_history_of_qed_107 there n55_a_history_of_qed_109 seems n55_a_history_of_qed_112 also n55_a_history_of_qed_115 to n55_a_history_of_qed_117 be n55_a_history_of_qed_120 a n55_a_history_of_qed_122 <ldquo> n55_a_history_of_qed_126 more n55_a_history_of_qed_128 user n55_a_history_of_qed_130 - n55_a_history_of_qed_132 friendly n55_a_history_of_qed_134 <rdquo> n55_a_history_of_qed_136 rendition n55_a_history_of_qed_139 * n55_a_history_of_qed_141 called n55_a_history_of_qed_144 bole n55_a_history_of_qed_146 . n55_a_history_of_qed_1 IP-MAT n55_a_history_of_qed_2 ILYR n55_a_history_of_qed_1->n55_a_history_of_qed_2 n55_a_history_of_qed_145 PUNC n55_a_history_of_qed_1->n55_a_history_of_qed_145 n55_a_history_of_qed_3 ILYR n55_a_history_of_qed_2->n55_a_history_of_qed_3 n55_a_history_of_qed_102 PUNC n55_a_history_of_qed_2->n55_a_history_of_qed_102 n55_a_history_of_qed_104 CONJP n55_a_history_of_qed_2->n55_a_history_of_qed_104 n55_a_history_of_qed_4 ADVP-NIM n55_a_history_of_qed_3->n55_a_history_of_qed_4 n55_a_history_of_qed_7 PUNC n55_a_history_of_qed_3->n55_a_history_of_qed_7 n55_a_history_of_qed_9 EX n55_a_history_of_qed_3->n55_a_history_of_qed_9 n55_a_history_of_qed_11 HVP;_cat_Ve_ n55_a_history_of_qed_3->n55_a_history_of_qed_11 n55_a_history_of_qed_13 IP-PPL-CAT n55_a_history_of_qed_3->n55_a_history_of_qed_13 n55_a_history_of_qed_5 ADV n55_a_history_of_qed_4->n55_a_history_of_qed_5 n55_a_history_of_qed_5->n55_a_history_of_qed_6 n55_a_history_of_qed_7->n55_a_history_of_qed_8 n55_a_history_of_qed_9->n55_a_history_of_qed_10 n55_a_history_of_qed_11->n55_a_history_of_qed_12 n55_a_history_of_qed_14 BEN;_ex_V_ n55_a_history_of_qed_13->n55_a_history_of_qed_14 n55_a_history_of_qed_16 NP-ESBJ n55_a_history_of_qed_13->n55_a_history_of_qed_16 n55_a_history_of_qed_14->n55_a_history_of_qed_15 n55_a_history_of_qed_17 ADJP n55_a_history_of_qed_16->n55_a_history_of_qed_17 n55_a_history_of_qed_20 ADJP n55_a_history_of_qed_16->n55_a_history_of_qed_20 n55_a_history_of_qed_23 NS n55_a_history_of_qed_16->n55_a_history_of_qed_23 n55_a_history_of_qed_25 PP n55_a_history_of_qed_16->n55_a_history_of_qed_25 n55_a_history_of_qed_31 PUNC n55_a_history_of_qed_16->n55_a_history_of_qed_31 n55_a_history_of_qed_33 PP n55_a_history_of_qed_16->n55_a_history_of_qed_33 n55_a_history_of_qed_18 ADJ n55_a_history_of_qed_17->n55_a_history_of_qed_18 n55_a_history_of_qed_18->n55_a_history_of_qed_19 n55_a_history_of_qed_21 ADJ n55_a_history_of_qed_20->n55_a_history_of_qed_21 n55_a_history_of_qed_21->n55_a_history_of_qed_22 n55_a_history_of_qed_23->n55_a_history_of_qed_24 n55_a_history_of_qed_26 P-ROLE n55_a_history_of_qed_25->n55_a_history_of_qed_26 n55_a_history_of_qed_28 NP n55_a_history_of_qed_25->n55_a_history_of_qed_28 n55_a_history_of_qed_26->n55_a_history_of_qed_27 n55_a_history_of_qed_29 NPR n55_a_history_of_qed_28->n55_a_history_of_qed_29 n55_a_history_of_qed_29->n55_a_history_of_qed_30 n55_a_history_of_qed_31->n55_a_history_of_qed_32 n55_a_history_of_qed_34 VAG;__ n55_a_history_of_qed_33->n55_a_history_of_qed_34 n55_a_history_of_qed_36 NP n55_a_history_of_qed_33->n55_a_history_of_qed_36 n55_a_history_of_qed_34->n55_a_history_of_qed_35 n55_a_history_of_qed_37 NLYR n55_a_history_of_qed_36->n55_a_history_of_qed_37 n55_a_history_of_qed_38 NLYR n55_a_history_of_qed_37->n55_a_history_of_qed_38 n55_a_history_of_qed_84 PUNC n55_a_history_of_qed_37->n55_a_history_of_qed_84 n55_a_history_of_qed_86 CONJP n55_a_history_of_qed_37->n55_a_history_of_qed_86 n55_a_history_of_qed_39 D n55_a_history_of_qed_38->n55_a_history_of_qed_39 n55_a_history_of_qed_41 ADJP n55_a_history_of_qed_38->n55_a_history_of_qed_41 n55_a_history_of_qed_52 N n55_a_history_of_qed_38->n55_a_history_of_qed_52 n55_a_history_of_qed_54 PP n55_a_history_of_qed_38->n55_a_history_of_qed_54 n55_a_history_of_qed_68 PP n55_a_history_of_qed_38->n55_a_history_of_qed_68 n55_a_history_of_qed_39->n55_a_history_of_qed_40 n55_a_history_of_qed_42 AJLYR n55_a_history_of_qed_41->n55_a_history_of_qed_42 n55_a_history_of_qed_43 AJLYR n55_a_history_of_qed_42->n55_a_history_of_qed_43 n55_a_history_of_qed_46 CONJP n55_a_history_of_qed_42->n55_a_history_of_qed_46 n55_a_history_of_qed_44 ADJ n55_a_history_of_qed_43->n55_a_history_of_qed_44 n55_a_history_of_qed_44->n55_a_history_of_qed_45 n55_a_history_of_qed_47 CONJ n55_a_history_of_qed_46->n55_a_history_of_qed_47 n55_a_history_of_qed_49 AJLYR n55_a_history_of_qed_46->n55_a_history_of_qed_49 n55_a_history_of_qed_47->n55_a_history_of_qed_48 n55_a_history_of_qed_50 ADJ n55_a_history_of_qed_49->n55_a_history_of_qed_50 n55_a_history_of_qed_50->n55_a_history_of_qed_51 n55_a_history_of_qed_52->n55_a_history_of_qed_53 n55_a_history_of_qed_55 P-ROLE n55_a_history_of_qed_54->n55_a_history_of_qed_55 n55_a_history_of_qed_57 NP n55_a_history_of_qed_54->n55_a_history_of_qed_57 n55_a_history_of_qed_55->n55_a_history_of_qed_56 n55_a_history_of_qed_58 NLYR n55_a_history_of_qed_57->n55_a_history_of_qed_58 n55_a_history_of_qed_59 NLYR n55_a_history_of_qed_58->n55_a_history_of_qed_59 n55_a_history_of_qed_62 CONJP n55_a_history_of_qed_58->n55_a_history_of_qed_62 n55_a_history_of_qed_60 NPR n55_a_history_of_qed_59->n55_a_history_of_qed_60 n55_a_history_of_qed_60->n55_a_history_of_qed_61 n55_a_history_of_qed_63 CONJ n55_a_history_of_qed_62->n55_a_history_of_qed_63 n55_a_history_of_qed_65 NLYR n55_a_history_of_qed_62->n55_a_history_of_qed_65 n55_a_history_of_qed_63->n55_a_history_of_qed_64 n55_a_history_of_qed_66 NPR n55_a_history_of_qed_65->n55_a_history_of_qed_66 n55_a_history_of_qed_66->n55_a_history_of_qed_67 n55_a_history_of_qed_69 P-ROLE n55_a_history_of_qed_68->n55_a_history_of_qed_69 n55_a_history_of_qed_71 NP n55_a_history_of_qed_68->n55_a_history_of_qed_71 n55_a_history_of_qed_69->n55_a_history_of_qed_70 n55_a_history_of_qed_72 NPR n55_a_history_of_qed_71->n55_a_history_of_qed_72 n55_a_history_of_qed_74 NPRS n55_a_history_of_qed_71->n55_a_history_of_qed_74 n55_a_history_of_qed_76 PULB n55_a_history_of_qed_71->n55_a_history_of_qed_76 n55_a_history_of_qed_78 IP-PPL n55_a_history_of_qed_71->n55_a_history_of_qed_78 n55_a_history_of_qed_82 PURB n55_a_history_of_qed_71->n55_a_history_of_qed_82 n55_a_history_of_qed_72->n55_a_history_of_qed_73 n55_a_history_of_qed_74->n55_a_history_of_qed_75 n55_a_history_of_qed_76->n55_a_history_of_qed_77 n55_a_history_of_qed_79 NP-PRD n55_a_history_of_qed_78->n55_a_history_of_qed_79 n55_a_history_of_qed_80 NPR n55_a_history_of_qed_79->n55_a_history_of_qed_80 n55_a_history_of_qed_80->n55_a_history_of_qed_81 n55_a_history_of_qed_82->n55_a_history_of_qed_83 n55_a_history_of_qed_84->n55_a_history_of_qed_85 n55_a_history_of_qed_87 CONJ n55_a_history_of_qed_86->n55_a_history_of_qed_87 n55_a_history_of_qed_89 NLYR n55_a_history_of_qed_86->n55_a_history_of_qed_89 n55_a_history_of_qed_87->n55_a_history_of_qed_88 n55_a_history_of_qed_90 ADVP n55_a_history_of_qed_89->n55_a_history_of_qed_90 n55_a_history_of_qed_93 D n55_a_history_of_qed_89->n55_a_history_of_qed_93 n55_a_history_of_qed_95 ADJP n55_a_history_of_qed_89->n55_a_history_of_qed_95 n55_a_history_of_qed_98 NPR n55_a_history_of_qed_89->n55_a_history_of_qed_98 n55_a_history_of_qed_100 N n55_a_history_of_qed_89->n55_a_history_of_qed_100 n55_a_history_of_qed_91 ADV n55_a_history_of_qed_90->n55_a_history_of_qed_91 n55_a_history_of_qed_91->n55_a_history_of_qed_92 n55_a_history_of_qed_93->n55_a_history_of_qed_94 n55_a_history_of_qed_96 ADJ n55_a_history_of_qed_95->n55_a_history_of_qed_96 n55_a_history_of_qed_96->n55_a_history_of_qed_97 n55_a_history_of_qed_98->n55_a_history_of_qed_99 n55_a_history_of_qed_100->n55_a_history_of_qed_101 n55_a_history_of_qed_102->n55_a_history_of_qed_103 n55_a_history_of_qed_105 ILYR n55_a_history_of_qed_104->n55_a_history_of_qed_105 n55_a_history_of_qed_106 EX n55_a_history_of_qed_105->n55_a_history_of_qed_106 n55_a_history_of_qed_108 VBP;_cat_Vt_ n55_a_history_of_qed_105->n55_a_history_of_qed_108 n55_a_history_of_qed_110 ADVP-NIM n55_a_history_of_qed_105->n55_a_history_of_qed_110 n55_a_history_of_qed_113 IP-INF-CAT n55_a_history_of_qed_105->n55_a_history_of_qed_113 n55_a_history_of_qed_106->n55_a_history_of_qed_107 n55_a_history_of_qed_108->n55_a_history_of_qed_109 n55_a_history_of_qed_111 ADV n55_a_history_of_qed_110->n55_a_history_of_qed_111 n55_a_history_of_qed_111->n55_a_history_of_qed_112 n55_a_history_of_qed_114 TO n55_a_history_of_qed_113->n55_a_history_of_qed_114 n55_a_history_of_qed_116 BE;_ex_cat_VePASS_ n55_a_history_of_qed_113->n55_a_history_of_qed_116 n55_a_history_of_qed_118 NP-ESBJ n55_a_history_of_qed_113->n55_a_history_of_qed_118 n55_a_history_of_qed_137 IP-PPL-CAT n55_a_history_of_qed_113->n55_a_history_of_qed_137 n55_a_history_of_qed_114->n55_a_history_of_qed_115 n55_a_history_of_qed_116->n55_a_history_of_qed_117 n55_a_history_of_qed_119 D n55_a_history_of_qed_118->n55_a_history_of_qed_119 n55_a_history_of_qed_121 PULQ n55_a_history_of_qed_118->n55_a_history_of_qed_121 n55_a_history_of_qed_123 ADJP n55_a_history_of_qed_118->n55_a_history_of_qed_123 n55_a_history_of_qed_133 PURQ n55_a_history_of_qed_118->n55_a_history_of_qed_133 n55_a_history_of_qed_135 N n55_a_history_of_qed_118->n55_a_history_of_qed_135 n55_a_history_of_qed_119->n55_a_history_of_qed_120 n55_a_history_of_qed_121->n55_a_history_of_qed_122 n55_a_history_of_qed_124 ADVP n55_a_history_of_qed_123->n55_a_history_of_qed_124 n55_a_history_of_qed_127 N n55_a_history_of_qed_123->n55_a_history_of_qed_127 n55_a_history_of_qed_129 PUNC n55_a_history_of_qed_123->n55_a_history_of_qed_129 n55_a_history_of_qed_131 ADJ n55_a_history_of_qed_123->n55_a_history_of_qed_131 n55_a_history_of_qed_125 ADVR n55_a_history_of_qed_124->n55_a_history_of_qed_125 n55_a_history_of_qed_125->n55_a_history_of_qed_126 n55_a_history_of_qed_127->n55_a_history_of_qed_128 n55_a_history_of_qed_129->n55_a_history_of_qed_130 n55_a_history_of_qed_131->n55_a_history_of_qed_132 n55_a_history_of_qed_133->n55_a_history_of_qed_134 n55_a_history_of_qed_135->n55_a_history_of_qed_136 n55_a_history_of_qed_138 NP-LGS n55_a_history_of_qed_137->n55_a_history_of_qed_138 n55_a_history_of_qed_140 VVN;_Cn.n_ n55_a_history_of_qed_137->n55_a_history_of_qed_140 n55_a_history_of_qed_142 NP-PRD n55_a_history_of_qed_137->n55_a_history_of_qed_142 n55_a_history_of_qed_138->n55_a_history_of_qed_139 n55_a_history_of_qed_140->n55_a_history_of_qed_141 n55_a_history_of_qed_143 NPR n55_a_history_of_qed_142->n55_a_history_of_qed_143 n55_a_history_of_qed_143->n55_a_history_of_qed_144 n55_a_history_of_qed_145->n55_a_history_of_qed_146 
( (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-)
                                                                       (IP-PPL (NP-PRD (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))