41_a_history_of_qed
Subsequent versions of ed for Unix (now written in C) began to add back some of the complexity (e.g. back - referencing in “regular” expressions, which now didn't quite include all the regular languages nor context - free languages, but did intrude a bit on the context - sensitive languages.)

%3 r_0041_0002__versions versions r_0041_0001__Subsequent Subsequent r_0041_0002__versions->r_0041_0001__Subsequent [attrib] r_0041_0004__ed ed r_0041_0002__versions->r_0041_0004__ed of r_0041_0006__Unix Unix r_0041_0004__ed->r_0041_0006__Unix for r_0041_0009__written written r_0041_0009__written->r_0041_0004__ed [arg1] r_0041_0008__now now r_0041_0009__written->r_0041_0008__now [nim] r_0041_0011__C C r_0041_0009__written->r_0041_0011__C in [nim] z_000_41_a_history_of_qed_23 r_0041_0009__written->z_000_41_a_history_of_qed_23 [arg0] r_0041_0013__began began r_0041_0013__began->r_0041_0002__versions [arg0] r_0041_0014__to_r_0041_0015__add to add r_0041_0013__began->r_0041_0014__to_r_0041_0015__add [arg1] r_0041_0014__to_r_0041_0015__add->r_0041_0002__versions [arg0] r_0041_0016__back back r_0041_0014__to_r_0041_0015__add->r_0041_0016__back [nim] r_0041_0017__some_r_0041_0022__e_dot_g_dot_ some e.g. r_0041_0014__to_r_0041_0015__add->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg1] r_0041_0019__the_r_0041_0020__complexity the complexity r_0041_0017__some_r_0041_0022__e_dot_g_dot_->r_0041_0019__the_r_0041_0020__complexity of r_0041_0025__referencing referencing r_0041_0023__back back r_0041_0025__referencing->r_0041_0023__back [qual] r_0041_0030__expressions expressions r_0041_0025__referencing->r_0041_0030__expressions in r_0041_0028__regular regular r_0041_0030__expressions->r_0041_0028__regular [attrib] r_0041_0034__did_r_0041_0037__include did include r_0041_0034__did_r_0041_0037__include->r_0041_0030__expressions [arg0] r_0041_0033__now now r_0041_0034__did_r_0041_0037__include->r_0041_0033__now [nim] r_0041_0036__quite quite r_0041_0034__did_r_0041_0037__include->r_0041_0036__quite [nim] r_0041_0042__nor nor r_0041_0034__did_r_0041_0037__include->r_0041_0042__nor [arg1] r_0041_0039__the_r_0041_0041__languages the languages r_0041_0042__nor->r_0041_0039__the_r_0041_0041__languages [conj1] r_0041_0046__languages languages r_0041_0042__nor->r_0041_0046__languages [conj2] r_0041_0035__n_apos_t n't r_0041_0035__n_apos_t->r_0041_0034__did_r_0041_0037__include [keep_scope] r_0041_0038__all_quant all [quant] r_0041_0038__all_quant->r_0041_0042__nor [scope] r_0041_0038__all_quant->r_0041_0039__the_r_0041_0041__languages [restriction] r_0041_0040__regular regular r_0041_0039__the_r_0041_0041__languages->r_0041_0040__regular [attrib] r_0041_0045__free free r_0041_0046__languages->r_0041_0045__free [attrib] r_0041_0043__context context r_0041_0045__free->r_0041_0043__context [nim] r_0041_0048__but but r_0041_0048__but->r_0041_0035__n_apos_t [conj1] r_0041_0049__did_r_0041_0050__intrude did intrude r_0041_0048__but->r_0041_0049__did_r_0041_0050__intrude [conj2] r_0041_0049__did_r_0041_0050__intrude->r_0041_0030__expressions [arg0] r_0041_0049__did_r_0041_0050__intrude->r_0041_0033__now [nim] r_0041_0051__a_r_0041_0052__bit a bit r_0041_0049__did_r_0041_0050__intrude->r_0041_0051__a_r_0041_0052__bit [nim] r_0041_0054__the_r_0041_0058__languages the languages r_0041_0049__did_r_0041_0050__intrude->r_0041_0054__the_r_0041_0058__languages on [clr] r_0041_0057__sensitive sensitive r_0041_0054__the_r_0041_0058__languages->r_0041_0057__sensitive [attrib] r_0041_0055__context context r_0041_0057__sensitive->r_0041_0055__context [nim] z_000_41_a_history_of_qed_63 z_000_41_a_history_of_qed_63->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg0] z_000_41_a_history_of_qed_63->r_0041_0025__referencing [prd]
arc(r_0041_0002__versions, r_0041_0001__Subsequent, attrib3).
arc(r_0041_0002__versions, r_0041_0004__ed, r_0041_0003__of).
arc(r_0041_0004__ed, r_0041_0006__Unix, r_0041_0005__for).
arc(r_0041_0009__written, r_0041_0004__ed, arg1).
arc(r_0041_0009__written, r_0041_0008__now, nim25).
arc(r_0041_0009__written, r_0041_0011__C, r_0041_0010__in_nim33).
arc(r_0041_0009__written, z_000_41_a_history_of_qed_23, arg0).
arc(r_0041_0013__began, r_0041_0002__versions, arg0).
arc(r_0041_0013__began, r_0041_0014__to_r_0041_0015__add, arg1).
arc(r_0041_0014__to_r_0041_0015__add, r_0041_0002__versions, arg0).
arc(r_0041_0014__to_r_0041_0015__add, r_0041_0016__back, nim45).
arc(r_0041_0014__to_r_0041_0015__add, r_0041_0017__some_r_0041_0022__e_dot_g_dot_, arg1).
arc(r_0041_0017__some_r_0041_0022__e_dot_g_dot_, r_0041_0019__the_r_0041_0020__complexity, r_0041_0018__of).
arc(r_0041_0025__referencing, r_0041_0023__back, qual65).
arc(r_0041_0025__referencing, r_0041_0030__expressions, r_0041_0026__in).
arc(r_0041_0030__expressions, r_0041_0028__regular, attrib78).
arc(r_0041_0034__did_r_0041_0037__include, r_0041_0030__expressions, arg0).
arc(r_0041_0034__did_r_0041_0037__include, r_0041_0033__now, nim91).
arc(r_0041_0034__did_r_0041_0037__include, r_0041_0036__quite, nim100).
arc(r_0041_0034__did_r_0041_0037__include, r_0041_0042__nor, arg1).
arc(r_0041_0035__n_apos_t, r_0041_0034__did_r_0041_0037__include, keep_scope).
arc(r_0041_0038__all_quant, r_0041_0039__the_r_0041_0041__languages, restriction).
arc(r_0041_0038__all_quant, r_0041_0042__nor, scope).
arc(r_0041_0039__the_r_0041_0041__languages, r_0041_0040__regular, attrib112).
arc(r_0041_0042__nor, r_0041_0039__the_r_0041_0041__languages, conj1).
arc(r_0041_0042__nor, r_0041_0046__languages, conj2).
arc(r_0041_0045__free, r_0041_0043__context, nim122).
arc(r_0041_0046__languages, r_0041_0045__free, attrib121).
arc(r_0041_0048__but, r_0041_0035__n_apos_t, conj1).
arc(r_0041_0048__but, r_0041_0049__did_r_0041_0050__intrude, conj2).
arc(r_0041_0049__did_r_0041_0050__intrude, r_0041_0030__expressions, arg0).
arc(r_0041_0049__did_r_0041_0050__intrude, r_0041_0033__now, nim91).
arc(r_0041_0049__did_r_0041_0050__intrude, r_0041_0051__a_r_0041_0052__bit, nim141).
arc(r_0041_0049__did_r_0041_0050__intrude, r_0041_0054__the_r_0041_0058__languages, r_0041_0053__on_clr149).
arc(r_0041_0054__the_r_0041_0058__languages, r_0041_0057__sensitive, attrib152).
arc(r_0041_0057__sensitive, r_0041_0055__context, nim153).
arc(z_000_41_a_history_of_qed_63, r_0041_0017__some_r_0041_0022__e_dot_g_dot_, arg0).
arc(z_000_41_a_history_of_qed_63, r_0041_0025__referencing, prd).



%3 z_000_41_a_history_of_qed_63 r_0041_0025__referencing referencing z_000_41_a_history_of_qed_63->r_0041_0025__referencing [prd] r_0041_0017__some_r_0041_0022__e_dot_g_dot_ some e.g. z_000_41_a_history_of_qed_63->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg0] r_0041_0030__expressions expressions r_0041_0025__referencing->r_0041_0030__expressions in r_0041_0023__back back r_0041_0025__referencing->r_0041_0023__back [qual] r_0041_0019__the_r_0041_0020__complexity the complexity r_0041_0017__some_r_0041_0022__e_dot_g_dot_->r_0041_0019__the_r_0041_0020__complexity of r_0041_0057__sensitive sensitive r_0041_0055__context context r_0041_0057__sensitive->r_0041_0055__context [nim] r_0041_0054__the_r_0041_0058__languages the languages r_0041_0054__the_r_0041_0058__languages->r_0041_0057__sensitive [attrib] r_0041_0049__did_r_0041_0050__intrude did intrude r_0041_0049__did_r_0041_0050__intrude->r_0041_0054__the_r_0041_0058__languages on [clr] r_0041_0051__a_r_0041_0052__bit a bit r_0041_0049__did_r_0041_0050__intrude->r_0041_0051__a_r_0041_0052__bit [nim] r_0041_0033__now now r_0041_0049__did_r_0041_0050__intrude->r_0041_0033__now [nim] r_0041_0049__did_r_0041_0050__intrude->r_0041_0030__expressions [arg0] r_0041_0028__regular regular r_0041_0030__expressions->r_0041_0028__regular [attrib] r_0041_0048__but but r_0041_0048__but->r_0041_0049__did_r_0041_0050__intrude [conj2] r_0041_0035__n_apos_t n't r_0041_0048__but->r_0041_0035__n_apos_t [conj1] r_0041_0034__did_r_0041_0037__include did include r_0041_0035__n_apos_t->r_0041_0034__did_r_0041_0037__include [keep_scope] r_0041_0046__languages languages r_0041_0045__free free r_0041_0046__languages->r_0041_0045__free [attrib] r_0041_0043__context context r_0041_0045__free->r_0041_0043__context [nim] r_0041_0042__nor nor r_0041_0042__nor->r_0041_0046__languages [conj2] r_0041_0039__the_r_0041_0041__languages the languages r_0041_0042__nor->r_0041_0039__the_r_0041_0041__languages [conj1] r_0041_0040__regular regular r_0041_0039__the_r_0041_0041__languages->r_0041_0040__regular [attrib] r_0041_0038__all_quant all [quant] r_0041_0038__all_quant->r_0041_0039__the_r_0041_0041__languages [restriction] r_0041_0038__all_quant->r_0041_0034__did_r_0041_0037__include [scope] r_0041_0034__did_r_0041_0037__include->r_0041_0033__now [nim] r_0041_0034__did_r_0041_0037__include->r_0041_0030__expressions [arg0] r_0041_0034__did_r_0041_0037__include->r_0041_0042__nor [arg1] r_0041_0036__quite quite r_0041_0034__did_r_0041_0037__include->r_0041_0036__quite [nim] r_0041_0014__to_r_0041_0015__add to add r_0041_0014__to_r_0041_0015__add->r_0041_0017__some_r_0041_0022__e_dot_g_dot_ [arg1] r_0041_0016__back back r_0041_0014__to_r_0041_0015__add->r_0041_0016__back [nim] r_0041_0002__versions versions r_0041_0014__to_r_0041_0015__add->r_0041_0002__versions [arg0] r_0041_0004__ed ed r_0041_0002__versions->r_0041_0004__ed of r_0041_0001__Subsequent Subsequent r_0041_0002__versions->r_0041_0001__Subsequent [attrib] r_0041_0013__began began r_0041_0013__began->r_0041_0014__to_r_0041_0015__add [arg1] r_0041_0013__began->r_0041_0002__versions [arg0] r_0041_0009__written written z_000_41_a_history_of_qed_23 r_0041_0009__written->z_000_41_a_history_of_qed_23 [arg0] r_0041_0011__C C r_0041_0009__written->r_0041_0011__C in [nim] r_0041_0008__now now r_0041_0009__written->r_0041_0008__now [nim] r_0041_0009__written->r_0041_0004__ed [arg1] r_0041_0006__Unix Unix r_0041_0004__ed->r_0041_0006__Unix for
fof(formula,axiom,
    ? [R_41_9_WRITTEN,Z_41_A_HISTORY_OF_QED_23,R_41_8_NOW,R_41_11_C,R_41_13_BEGAN,R_41_14_TO_ADD,R_41_2_VERSIONS,R_41_1_SUBSEQUENT,R_41_4_ED,R_41_6_UNIX,R_41_16_BACK,R_41_48_BUT,R_41_49_DID_INTRUDE,R_41_51_A_BIT,R_41_33_NOW,R_41_54_THE_LANGUAGES,R_41_57_SENSITIVE,R_41_55_CONTEXT,Z_41_A_HISTORY_OF_QED_63,R_41_17_SOME_E_DOT_G_DOT_,R_41_19_THE_COMPLEXITY,R_41_25_REFERENCING,R_41_23_BACK,R_41_30_EXPRESSIONS,R_41_28_REGULAR] :
      ( now(R_41_8_NOW)
      & c(R_41_11_C)
      & subsequent(R_41_1_SUBSEQUENT)
      & unix(R_41_6_UNIX)
      & back(R_41_16_BACK)
      & a_bit(R_41_51_A_BIT)
      & now(R_41_33_NOW)
      & context(R_41_55_CONTEXT)
      & the_complexity(R_41_19_THE_COMPLEXITY)
      & back(R_41_23_BACK)
      & regular(R_41_28_REGULAR)
      & written(R_41_9_WRITTEN,Z_41_A_HISTORY_OF_QED_23,R_41_4_ED)
      & ed(R_41_4_ED)
      & for(R_41_4_ED,R_41_6_UNIX)
      & nim25(R_41_9_WRITTEN,R_41_8_NOW)
      & in_nim33(R_41_9_WRITTEN,R_41_11_C)
      & began(R_41_13_BEGAN,R_41_2_VERSIONS,R_41_14_TO_ADD)
      & versions(R_41_2_VERSIONS)
      & attrib3(R_41_2_VERSIONS,R_41_1_SUBSEQUENT)
      & of(R_41_2_VERSIONS,R_41_4_ED)
      & to_add(R_41_14_TO_ADD,R_41_2_VERSIONS,R_41_17_SOME_E_DOT_G_DOT_)
      & some_e_dot_g_dot_(R_41_17_SOME_E_DOT_G_DOT_)
      & of(R_41_17_SOME_E_DOT_G_DOT_,R_41_19_THE_COMPLEXITY)
      & nim45(R_41_14_TO_ADD,R_41_16_BACK)
      & ! [R_41_39_THE_LANGUAGES,R_41_40_REGULAR] :
          ( ( regular(R_41_40_REGULAR)
            & the_languages(R_41_39_THE_LANGUAGES)
            & attrib112(R_41_39_THE_LANGUAGES,R_41_40_REGULAR) )
         => ? [R_41_34_DID_INCLUDE,R_41_42_NOR,R_41_46_LANGUAGES,R_41_45_FREE,R_41_43_CONTEXT,R_41_36_QUITE] :
              ( context(R_41_43_CONTEXT)
              & quite(R_41_36_QUITE)
              & did_include(R_41_34_DID_INCLUDE,R_41_30_EXPRESSIONS,R_41_42_NOR)
              & nor(R_41_42_NOR)
              & conj1(R_41_42_NOR,R_41_39_THE_LANGUAGES)
              & conj2(R_41_42_NOR,R_41_46_LANGUAGES)
              & languages(R_41_46_LANGUAGES)
              & attrib121(R_41_46_LANGUAGES,R_41_45_FREE)
              & free(R_41_45_FREE)
              & nim122(R_41_45_FREE,R_41_43_CONTEXT)
              & nim100(R_41_34_DID_INCLUDE,R_41_36_QUITE)
              & nim91(R_41_34_DID_INCLUDE,R_41_33_NOW) ) )
      & but(R_41_48_BUT)
      & conj1(R_41_48_BUT,R_41_35_N_APOS_T)
      & ~ ? [R_41_34_DID_INCLUDE,R_41_42_NOR,R_41_39_THE_LANGUAGES,R_41_40_REGULAR,R_41_46_LANGUAGES,R_41_45_FREE,R_41_43_CONTEXT,R_41_36_QUITE] :
            ( regular(R_41_40_REGULAR)
            & context(R_41_43_CONTEXT)
            & quite(R_41_36_QUITE)
            & did_include(R_41_34_DID_INCLUDE,R_41_30_EXPRESSIONS,R_41_42_NOR)
            & nor(R_41_42_NOR)
            & conj1(R_41_42_NOR,R_41_39_THE_LANGUAGES)
            & the_languages(R_41_39_THE_LANGUAGES)
            & attrib112(R_41_39_THE_LANGUAGES,R_41_40_REGULAR)
            & conj2(R_41_42_NOR,R_41_46_LANGUAGES)
            & languages(R_41_46_LANGUAGES)
            & attrib121(R_41_46_LANGUAGES,R_41_45_FREE)
            & free(R_41_45_FREE)
            & nim122(R_41_45_FREE,R_41_43_CONTEXT)
            & nim100(R_41_34_DID_INCLUDE,R_41_36_QUITE)
            & nim91(R_41_34_DID_INCLUDE,R_41_33_NOW) )
      & conj2(R_41_48_BUT,R_41_49_DID_INTRUDE)
      & did_intrude(R_41_49_DID_INTRUDE,R_41_30_EXPRESSIONS)
      & expressions(R_41_30_EXPRESSIONS)
      & attrib78(R_41_30_EXPRESSIONS,R_41_28_REGULAR)
      & nim141(R_41_49_DID_INTRUDE,R_41_51_A_BIT)
      & nim91(R_41_49_DID_INTRUDE,R_41_33_NOW)
      & on_clr149(R_41_49_DID_INTRUDE,R_41_54_THE_LANGUAGES)
      & the_languages(R_41_54_THE_LANGUAGES)
      & attrib152(R_41_54_THE_LANGUAGES,R_41_57_SENSITIVE)
      & sensitive(R_41_57_SENSITIVE)
      & nim153(R_41_57_SENSITIVE,R_41_55_CONTEXT)
      & z_41_a_history_of_qed_63(Z_41_A_HISTORY_OF_QED_63,R_41_17_SOME_E_DOT_G_DOT_,R_41_25_REFERENCING)
      & referencing(R_41_25_REFERENCING)
      & qual65(R_41_25_REFERENCING,R_41_23_BACK)
      & in(R_41_25_REFERENCING,R_41_30_EXPRESSIONS) ) ).



n41_a_history_of_qed n41_a_history_of_qed__1_1_1_1_1 Subsequent n41_a_history_of_qed__1_1_2_1 versions n41_a_history_of_qed__1_1_3_1_1 of n41_a_history_of_qed__1_1_3_2_1_1 ed n41_a_history_of_qed__1_1_3_2_2_1_1 for n41_a_history_of_qed__1_1_3_2_2_2_1_1 Unix n41_a_history_of_qed__1_1_3_2_3_1 -LRB- n41_a_history_of_qed__1_1_3_2_4_1_1 * n41_a_history_of_qed__1_1_3_2_4_2_1_1 now n41_a_history_of_qed__1_1_3_2_4_3_1 written n41_a_history_of_qed__1_1_3_2_4_4_1_1 in n41_a_history_of_qed__1_1_3_2_4_4_2_1_1 C n41_a_history_of_qed__1_1_3_2_5_1 -RRB- n41_a_history_of_qed__1_2_1 began n41_a_history_of_qed__1_3_1_1 to n41_a_history_of_qed__1_3_2_1 add n41_a_history_of_qed__1_3_3_1_1 back n41_a_history_of_qed__1_3_4_1_1 some n41_a_history_of_qed__1_3_4_2_1_1 of n41_a_history_of_qed__1_3_4_2_2_1_1 the n41_a_history_of_qed__1_3_4_2_2_2_1 complexity n41_a_history_of_qed__1_3_4_3_1 -LRB- n41_a_history_of_qed__1_3_4_4_1 e.g. n41_a_history_of_qed__1_3_4_5_1_1_1_1 back n41_a_history_of_qed__1_3_4_5_1_2_1 - n41_a_history_of_qed__1_3_4_5_1_3_1 referencing n41_a_history_of_qed__1_3_4_5_1_4_1_1 in n41_a_history_of_qed__1_3_4_5_1_4_2_1_1 <ldquo> n41_a_history_of_qed__1_3_4_5_1_4_2_2_1_1 regular n41_a_history_of_qed__1_3_4_5_1_4_2_3_1 <rdquo> n41_a_history_of_qed__1_3_4_5_1_4_2_4_1 expressions n41_a_history_of_qed__1_3_4_5_1_4_2_5_1 , n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1_1 which n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1_1 now n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1_1 did n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2_1 n't n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1_1 quite n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4_1 include n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1_1 all n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1 the n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3_1_1 regular n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_4_1 languages n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1_1 nor n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1_1 context n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2_1 - n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3_1 free n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2_1 languages n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2_1 , n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1_1 but n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1_1 did n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2_1 intrude n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1_1 a n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2_1 bit n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1_1 on n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1_1 the n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1_1 context n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2_1 - n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3_1 sensitive n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3_1 languages n41_a_history_of_qed__1_4_1 . n41_a_history_of_qed__1_5_1 -RRB- n41_a_history_of_qed__1 IP-MAT n41_a_history_of_qed__1_1 NP-SBJ n41_a_history_of_qed__1->n41_a_history_of_qed__1_1 n41_a_history_of_qed__1_2 VBD;__ n41_a_history_of_qed__1->n41_a_history_of_qed__1_2 n41_a_history_of_qed__1_3 IP-INF-OB1 n41_a_history_of_qed__1->n41_a_history_of_qed__1_3 n41_a_history_of_qed__1_4 PUNC n41_a_history_of_qed__1->n41_a_history_of_qed__1_4 n41_a_history_of_qed__1_5 PURB n41_a_history_of_qed__1->n41_a_history_of_qed__1_5 n41_a_history_of_qed__1_1_1 ADJP n41_a_history_of_qed__1_1->n41_a_history_of_qed__1_1_1 n41_a_history_of_qed__1_1_2 NS n41_a_history_of_qed__1_1->n41_a_history_of_qed__1_1_2 n41_a_history_of_qed__1_1_3 PP n41_a_history_of_qed__1_1->n41_a_history_of_qed__1_1_3 n41_a_history_of_qed__1_1_1_1 ADJ n41_a_history_of_qed__1_1_1->n41_a_history_of_qed__1_1_1_1 n41_a_history_of_qed__1_1_1_1->n41_a_history_of_qed__1_1_1_1_1 n41_a_history_of_qed__1_1_2->n41_a_history_of_qed__1_1_2_1 n41_a_history_of_qed__1_1_3_1 P-ROLE n41_a_history_of_qed__1_1_3->n41_a_history_of_qed__1_1_3_1 n41_a_history_of_qed__1_1_3_2 NP n41_a_history_of_qed__1_1_3->n41_a_history_of_qed__1_1_3_2 n41_a_history_of_qed__1_1_3_1->n41_a_history_of_qed__1_1_3_1_1 n41_a_history_of_qed__1_1_3_2_1 NPR n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_1 n41_a_history_of_qed__1_1_3_2_2 PP n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_2 n41_a_history_of_qed__1_1_3_2_3 PULB n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_3 n41_a_history_of_qed__1_1_3_2_4 IP-PPL n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_4 n41_a_history_of_qed__1_1_3_2_5 PURB n41_a_history_of_qed__1_1_3_2->n41_a_history_of_qed__1_1_3_2_5 n41_a_history_of_qed__1_1_3_2_1->n41_a_history_of_qed__1_1_3_2_1_1 n41_a_history_of_qed__1_1_3_2_2_1 P-ROLE n41_a_history_of_qed__1_1_3_2_2->n41_a_history_of_qed__1_1_3_2_2_1 n41_a_history_of_qed__1_1_3_2_2_2 NP n41_a_history_of_qed__1_1_3_2_2->n41_a_history_of_qed__1_1_3_2_2_2 n41_a_history_of_qed__1_1_3_2_2_1->n41_a_history_of_qed__1_1_3_2_2_1_1 n41_a_history_of_qed__1_1_3_2_2_2_1 NPR n41_a_history_of_qed__1_1_3_2_2_2->n41_a_history_of_qed__1_1_3_2_2_2_1 n41_a_history_of_qed__1_1_3_2_2_2_1->n41_a_history_of_qed__1_1_3_2_2_2_1_1 n41_a_history_of_qed__1_1_3_2_3->n41_a_history_of_qed__1_1_3_2_3_1 n41_a_history_of_qed__1_1_3_2_4_1 NP-LGS n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_1 n41_a_history_of_qed__1_1_3_2_4_2 ADVP-NIM n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_2 n41_a_history_of_qed__1_1_3_2_4_3 VVN;__ n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_3 n41_a_history_of_qed__1_1_3_2_4_4 PP n41_a_history_of_qed__1_1_3_2_4->n41_a_history_of_qed__1_1_3_2_4_4 n41_a_history_of_qed__1_1_3_2_4_1->n41_a_history_of_qed__1_1_3_2_4_1_1 n41_a_history_of_qed__1_1_3_2_4_2_1 ADV n41_a_history_of_qed__1_1_3_2_4_2->n41_a_history_of_qed__1_1_3_2_4_2_1 n41_a_history_of_qed__1_1_3_2_4_2_1->n41_a_history_of_qed__1_1_3_2_4_2_1_1 n41_a_history_of_qed__1_1_3_2_4_3->n41_a_history_of_qed__1_1_3_2_4_3_1 n41_a_history_of_qed__1_1_3_2_4_4_1 P-ROLE n41_a_history_of_qed__1_1_3_2_4_4->n41_a_history_of_qed__1_1_3_2_4_4_1 n41_a_history_of_qed__1_1_3_2_4_4_2 NP n41_a_history_of_qed__1_1_3_2_4_4->n41_a_history_of_qed__1_1_3_2_4_4_2 n41_a_history_of_qed__1_1_3_2_4_4_1->n41_a_history_of_qed__1_1_3_2_4_4_1_1 n41_a_history_of_qed__1_1_3_2_4_4_2_1 NPR n41_a_history_of_qed__1_1_3_2_4_4_2->n41_a_history_of_qed__1_1_3_2_4_4_2_1 n41_a_history_of_qed__1_1_3_2_4_4_2_1->n41_a_history_of_qed__1_1_3_2_4_4_2_1_1 n41_a_history_of_qed__1_1_3_2_5->n41_a_history_of_qed__1_1_3_2_5_1 n41_a_history_of_qed__1_2->n41_a_history_of_qed__1_2_1 n41_a_history_of_qed__1_3_1 TO n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_1 n41_a_history_of_qed__1_3_2 VB;__ n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_2 n41_a_history_of_qed__1_3_3 ADVP-NIM n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_3 n41_a_history_of_qed__1_3_4 NP-OB1 n41_a_history_of_qed__1_3->n41_a_history_of_qed__1_3_4 n41_a_history_of_qed__1_3_1->n41_a_history_of_qed__1_3_1_1 n41_a_history_of_qed__1_3_2->n41_a_history_of_qed__1_3_2_1 n41_a_history_of_qed__1_3_3_1 ADV n41_a_history_of_qed__1_3_3->n41_a_history_of_qed__1_3_3_1 n41_a_history_of_qed__1_3_3_1->n41_a_history_of_qed__1_3_3_1_1 n41_a_history_of_qed__1_3_4_1 D;_nphd_ n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_1 n41_a_history_of_qed__1_3_4_2 PP n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_2 n41_a_history_of_qed__1_3_4_3 PULB n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_3 n41_a_history_of_qed__1_3_4_4 FW n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_4 n41_a_history_of_qed__1_3_4_5 IP-PPL n41_a_history_of_qed__1_3_4->n41_a_history_of_qed__1_3_4_5 n41_a_history_of_qed__1_3_4_1->n41_a_history_of_qed__1_3_4_1_1 n41_a_history_of_qed__1_3_4_2_1 P-ROLE n41_a_history_of_qed__1_3_4_2->n41_a_history_of_qed__1_3_4_2_1 n41_a_history_of_qed__1_3_4_2_2 NP n41_a_history_of_qed__1_3_4_2->n41_a_history_of_qed__1_3_4_2_2 n41_a_history_of_qed__1_3_4_2_1->n41_a_history_of_qed__1_3_4_2_1_1 n41_a_history_of_qed__1_3_4_2_2_1 D n41_a_history_of_qed__1_3_4_2_2->n41_a_history_of_qed__1_3_4_2_2_1 n41_a_history_of_qed__1_3_4_2_2_2 N n41_a_history_of_qed__1_3_4_2_2->n41_a_history_of_qed__1_3_4_2_2_2 n41_a_history_of_qed__1_3_4_2_2_1->n41_a_history_of_qed__1_3_4_2_2_1_1 n41_a_history_of_qed__1_3_4_2_2_2->n41_a_history_of_qed__1_3_4_2_2_2_1 n41_a_history_of_qed__1_3_4_3->n41_a_history_of_qed__1_3_4_3_1 n41_a_history_of_qed__1_3_4_4->n41_a_history_of_qed__1_3_4_4_1 n41_a_history_of_qed__1_3_4_5_1 NP-PRD n41_a_history_of_qed__1_3_4_5->n41_a_history_of_qed__1_3_4_5_1 n41_a_history_of_qed__1_3_4_5_1_1 ADVP n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_1 n41_a_history_of_qed__1_3_4_5_1_2 PUNC n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_2 n41_a_history_of_qed__1_3_4_5_1_3 N n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_3 n41_a_history_of_qed__1_3_4_5_1_4 PP n41_a_history_of_qed__1_3_4_5_1->n41_a_history_of_qed__1_3_4_5_1_4 n41_a_history_of_qed__1_3_4_5_1_1_1 ADV n41_a_history_of_qed__1_3_4_5_1_1->n41_a_history_of_qed__1_3_4_5_1_1_1 n41_a_history_of_qed__1_3_4_5_1_1_1->n41_a_history_of_qed__1_3_4_5_1_1_1_1 n41_a_history_of_qed__1_3_4_5_1_2->n41_a_history_of_qed__1_3_4_5_1_2_1 n41_a_history_of_qed__1_3_4_5_1_3->n41_a_history_of_qed__1_3_4_5_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_1 P-ROLE n41_a_history_of_qed__1_3_4_5_1_4->n41_a_history_of_qed__1_3_4_5_1_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2 NP n41_a_history_of_qed__1_3_4_5_1_4->n41_a_history_of_qed__1_3_4_5_1_4_2 n41_a_history_of_qed__1_3_4_5_1_4_1->n41_a_history_of_qed__1_3_4_5_1_4_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_1 PULQ n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_2 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_3 PURQ n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_4 NS n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_4 n41_a_history_of_qed__1_3_4_5_1_4_2_5 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_5 n41_a_history_of_qed__1_3_4_5_1_4_2_6 IP-REL n41_a_history_of_qed__1_3_4_5_1_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6 n41_a_history_of_qed__1_3_4_5_1_4_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_2_1 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_4->n41_a_history_of_qed__1_3_4_5_1_4_2_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_5->n41_a_history_of_qed__1_3_4_5_1_4_2_5_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_1 NP-SBJ n41_a_history_of_qed__1_3_4_5_1_4_2_6->n41_a_history_of_qed__1_3_4_5_1_4_2_6_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_2 ADVP-NIM n41_a_history_of_qed__1_3_4_5_1_4_2_6->n41_a_history_of_qed__1_3_4_5_1_4_2_6_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3 ILYR n41_a_history_of_qed__1_3_4_5_1_4_2_6->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1 RPRO n41_a_history_of_qed__1_3_4_5_1_4_2_6_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1 ADV n41_a_history_of_qed__1_3_4_5_1_4_2_6_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1 ILYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2_6_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3 CONJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1 DOD n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2 NEG;_clitic_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3 ADVP-NIM n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4 VB;_Tn_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5 NP-OB1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1 ADV n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2 CONJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1 Q;_nphd_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2 D n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_4 NS n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_4 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3_1 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_1_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1 CONJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2 NLYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2 NS n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1 NP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1 N n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_1_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_1_5_1_2_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1 CONJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2 ILYR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1 DOD n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2 VB;_Ipr_ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3 NP-NIM n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4 PP-CLR n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1 D n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2 N n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_3_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1 P-ROLE n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2 NP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1 D n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2 ADJP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3 NS n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1 NP n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2 PUNC n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3 ADJ n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1 N n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_1_1_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_2_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_2_3_1 n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3->n41_a_history_of_qed__1_3_4_5_1_4_2_6_3_3_2_4_2_3_1 n41_a_history_of_qed__1_4->n41_a_history_of_qed__1_4_1 n41_a_history_of_qed__1_5->n41_a_history_of_qed__1_5_1
( (IP-MAT (NP-SBJ (ADJP (ADJ Subsequent;{subsequent}))
                  (NS versions;{version})
                  (PP (P-ROLE of;{of})
                      (NP (NPR ed;{ed})
                          (PP (P-ROLE for;{for})
                              (NP (NPR Unix;{Unix})))
                          (PULB -LRB-)
                          (IP-PPL (NP-LGS *)
                                  (ADVP-NIM (ADV now;{now}))
                                  (VVN;__ written;{write})
                                  (PP (P-ROLE in;{in})
                                      (NP (NPR C;{C}))))
                          (PURB -RRB-))))
          (VBD;__ began;{begin})
          (IP-INF-OB1 (TO to;{to})
                      (VB;__ add;{add})
                      (ADVP-NIM (ADV back;{back}))
                      (NP-OB1 (D;_nphd_ some;{some})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N complexity;{complexity})))
                              (PULB -LRB-)
                              (FW e<dot>g<dot>)
                              (IP-PPL (NP-PRD (ADVP (ADV back;{back}))
                                              (PUNC <hyphen>)
                                              (N referencing;{referencing})
                                              (PP (P-ROLE in;{in})
                                                  (NP (PULQ <ldquo>)
                                                      (ADJP (ADJ regular;{regular}))
                                                      (PURQ <rdquo>)
                                                      (NS expressions;{expression})
                                                      (PUNC ,)
                                                      (IP-REL (NP-SBJ (RPRO which;{which}))
                                                              (ADVP-NIM (ADV now;{now}))
                                                              (ILYR (ILYR (DOD did;{do})
                                                                          (NEG;_clitic_ n<apos>t;{not})
                                                                          (ADVP-NIM (ADV quite;{quite}))
                                                                          (VB;_Tn_ include;{include})
                                                                          (NP-OB1 (NLYR (NLYR (Q;_nphd_ all;{all})
                                                                                              (D the;{the})
                                                                                              (ADJP (ADJ regular;{regular}))
                                                                                              (NS languages;{language}))
                                                                                        (CONJP (CONJ nor;{nor})
                                                                                               (NLYR (ADJP (NP (N context;{context}))
                                                                                                           (PUNC <hyphen>)
                                                                                                           (ADJ free;{free}))
                                                                                                     (NS languages;{language}))))))
                                                                    (PUNC ,)
                                                                    (CONJP (CONJ but;{but})
                                                                           (ILYR (DOD did;{do})
                                                                                 (VB;_Ipr_ intrude;{intrude[on]})
                                                                                 (NP-NIM (D a;{a})
                                                                                         (N bit;{bit}))
                                                                                 (PP-CLR (P-ROLE on;{on})
                                                                                         (NP (D the;{the})
                                                                                             (ADJP (NP (N context;{context}))
                                                                                                   (PUNC <hyphen>)
                                                                                                   (ADJ sensitive;{sensitive}))
                                                                                             (NS languages;{language})))))))))))))
          (PUNC .)
          (PURB -RRB-))
  (ID 41_a_history_of_qed))