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 z_000_55_a_history_of_qed_78 r_0055_0026__1976 1976 z_000_55_a_history_of_qed_78->r_0055_0026__1976 [prd] r_0055_0023__Software_r_0055_0024__Tools Software Tools z_000_55_a_history_of_qed_78->r_0055_0023__Software_r_0055_0024__Tools [arg0] 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 there seems to be called 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] r_0055_0003__there_r_0055_0004__have_r_0055_0005__been there have been 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_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_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] 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_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_0008__reimplementations reimplementations r_0055_0003__there_r_0055_0004__have_r_0055_0005__been->r_0055_0008__reimplementations [arg0] r_0055_0001__Indeed Indeed r_0055_0003__there_r_0055_0004__have_r_0055_0005__been->r_0055_0001__Indeed [nim] 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] 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->r_0055_0029__and including 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] 
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__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 IP-PPL 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-PRD 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-)
                                                                       (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))