Context                Previous, Next                Top


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_0041_0006__UNIX,R_0041_0004__ED,R_0041_0008__NOW,R_0041_0011__C,Z_000_41_A_HISTORY_OF_QED_23,R_0041_0009__WRITTEN,R_0041_0001__SUBSEQUENT,R_0041_0002__VERSIONS,R_0041_0016__BACK,R_0041_0019__THE_R_0041_0020__COMPLEXITY,R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_,R_0041_0014__TO_R_0041_0015__ADD,R_0041_0013__BEGAN,R_0041_0028__REGULAR,R_0041_0030__EXPRESSIONS,R_0041_0033__NOW,R_0041_0051__A_R_0041_0052__BIT,R_0041_0055__CONTEXT,R_0041_0057__SENSITIVE,R_0041_0054__THE_R_0041_0058__LANGUAGES,R_0041_0049__DID_R_0041_0050__INTRUDE,R_0041_0048__BUT,R_0041_0023__BACK,R_0041_0025__REFERENCING,Z_000_41_A_HISTORY_OF_QED_63] :
      ( r_0041_0001__Subsequent(R_0041_0001__SUBSEQUENT)
      & r_0041_0006__Unix(R_0041_0006__UNIX)
      & r_0041_0008__now(R_0041_0008__NOW)
      & r_0041_0011__C(R_0041_0011__C)
      & r_0041_0016__back(R_0041_0016__BACK)
      & r_0041_0019__the_r_0041_0020__complexity(R_0041_0019__THE_R_0041_0020__COMPLEXITY)
      & r_0041_0023__back(R_0041_0023__BACK)
      & r_0041_0028__regular(R_0041_0028__REGULAR)
      & r_0041_0033__now(R_0041_0033__NOW)
      & r_0041_0051__a_r_0041_0052__bit(R_0041_0051__A_R_0041_0052__BIT)
      & r_0041_0055__context(R_0041_0055__CONTEXT)
      & z_000_41_a_history_of_qed_23(Z_000_41_A_HISTORY_OF_QED_23)
      & z_000_41_a_history_of_qed_63(Z_000_41_A_HISTORY_OF_QED_63)
      & has_prd(Z_000_41_A_HISTORY_OF_QED_63,R_0041_0025__REFERENCING)
      & r_0041_0025__referencing(R_0041_0025__REFERENCING)
      & has_r_0041_0026__in(R_0041_0025__REFERENCING,R_0041_0030__EXPRESSIONS)
      & r_0041_0030__expressions(R_0041_0030__EXPRESSIONS)
      & has_attrib78(R_0041_0030__EXPRESSIONS,R_0041_0028__REGULAR)
      & has_qual65(R_0041_0025__REFERENCING,R_0041_0023__BACK)
      & has_arg0(Z_000_41_A_HISTORY_OF_QED_63,R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_)
      & r_0041_0017__some_r_0041_0022__e_dot_g_dot_(R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_)
      & has_r_0041_0018__of(R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_,R_0041_0019__THE_R_0041_0020__COMPLEXITY)
      & r_0041_0048__but(R_0041_0048__BUT)
      & has_conj2(R_0041_0048__BUT,R_0041_0049__DID_R_0041_0050__INTRUDE)
      & r_0041_0049__did_r_0041_0050__intrude(R_0041_0049__DID_R_0041_0050__INTRUDE)
      & has_r_0041_0053__on_clr149(R_0041_0049__DID_R_0041_0050__INTRUDE,R_0041_0054__THE_R_0041_0058__LANGUAGES)
      & r_0041_0054__the_r_0041_0058__languages(R_0041_0054__THE_R_0041_0058__LANGUAGES)
      & has_attrib152(R_0041_0054__THE_R_0041_0058__LANGUAGES,R_0041_0057__SENSITIVE)
      & r_0041_0057__sensitive(R_0041_0057__SENSITIVE)
      & has_nim153(R_0041_0057__SENSITIVE,R_0041_0055__CONTEXT)
      & has_nim141(R_0041_0049__DID_R_0041_0050__INTRUDE,R_0041_0051__A_R_0041_0052__BIT)
      & has_nim91(R_0041_0049__DID_R_0041_0050__INTRUDE,R_0041_0033__NOW)
      & has_arg0(R_0041_0049__DID_R_0041_0050__INTRUDE,R_0041_0030__EXPRESSIONS)
      & has_conj1(R_0041_0048__BUT,R_0041_0035__N_APOS_T)
      & ~ ? [R_0041_0036__QUITE,R_0041_0040__REGULAR,R_0041_0039__THE_R_0041_0041__LANGUAGES,R_0041_0043__CONTEXT,R_0041_0045__FREE,R_0041_0046__LANGUAGES,R_0041_0042__NOR,R_0041_0034__DID_R_0041_0037__INCLUDE] :
            ( r_0041_0036__quite(R_0041_0036__QUITE)
            & r_0041_0040__regular(R_0041_0040__REGULAR)
            & r_0041_0043__context(R_0041_0043__CONTEXT)
            & r_0041_0034__did_r_0041_0037__include(R_0041_0034__DID_R_0041_0037__INCLUDE)
            & has_arg1(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0042__NOR)
            & r_0041_0042__nor(R_0041_0042__NOR)
            & has_conj2(R_0041_0042__NOR,R_0041_0046__LANGUAGES)
            & r_0041_0046__languages(R_0041_0046__LANGUAGES)
            & has_attrib121(R_0041_0046__LANGUAGES,R_0041_0045__FREE)
            & r_0041_0045__free(R_0041_0045__FREE)
            & has_nim122(R_0041_0045__FREE,R_0041_0043__CONTEXT)
            & has_conj1(R_0041_0042__NOR,R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & r_0041_0039__the_r_0041_0041__languages(R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & has_attrib112(R_0041_0039__THE_R_0041_0041__LANGUAGES,R_0041_0040__REGULAR)
            & has_nim100(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0036__QUITE)
            & has_nim91(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0033__NOW)
            & has_arg0(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0030__EXPRESSIONS) )
      & ! [R_0041_0039__THE_R_0041_0041__LANGUAGES,R_0041_0040__REGULAR] :
          ( ( r_0041_0040__regular(R_0041_0040__REGULAR)
            & r_0041_0039__the_r_0041_0041__languages(R_0041_0039__THE_R_0041_0041__LANGUAGES)
            & has_attrib112(R_0041_0039__THE_R_0041_0041__LANGUAGES,R_0041_0040__REGULAR) )
         => ? [R_0041_0036__QUITE,R_0041_0043__CONTEXT,R_0041_0045__FREE,R_0041_0046__LANGUAGES,R_0041_0042__NOR,R_0041_0034__DID_R_0041_0037__INCLUDE] :
              ( r_0041_0036__quite(R_0041_0036__QUITE)
              & r_0041_0043__context(R_0041_0043__CONTEXT)
              & r_0041_0034__did_r_0041_0037__include(R_0041_0034__DID_R_0041_0037__INCLUDE)
              & has_arg1(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0042__NOR)
              & r_0041_0042__nor(R_0041_0042__NOR)
              & has_conj2(R_0041_0042__NOR,R_0041_0046__LANGUAGES)
              & r_0041_0046__languages(R_0041_0046__LANGUAGES)
              & has_attrib121(R_0041_0046__LANGUAGES,R_0041_0045__FREE)
              & r_0041_0045__free(R_0041_0045__FREE)
              & has_nim122(R_0041_0045__FREE,R_0041_0043__CONTEXT)
              & has_conj1(R_0041_0042__NOR,R_0041_0039__THE_R_0041_0041__LANGUAGES)
              & has_nim100(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0036__QUITE)
              & has_nim91(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0033__NOW)
              & has_arg0(R_0041_0034__DID_R_0041_0037__INCLUDE,R_0041_0030__EXPRESSIONS) ) )
      & r_0041_0013__began(R_0041_0013__BEGAN)
      & has_arg1(R_0041_0013__BEGAN,R_0041_0014__TO_R_0041_0015__ADD)
      & r_0041_0014__to_r_0041_0015__add(R_0041_0014__TO_R_0041_0015__ADD)
      & has_arg1(R_0041_0014__TO_R_0041_0015__ADD,R_0041_0017__SOME_R_0041_0022__E_DOT_G_DOT_)
      & has_nim45(R_0041_0014__TO_R_0041_0015__ADD,R_0041_0016__BACK)
      & has_arg0(R_0041_0014__TO_R_0041_0015__ADD,R_0041_0002__VERSIONS)
      & r_0041_0002__versions(R_0041_0002__VERSIONS)
      & has_r_0041_0003__of(R_0041_0002__VERSIONS,R_0041_0004__ED)
      & r_0041_0004__ed(R_0041_0004__ED)
      & has_r_0041_0005__for(R_0041_0004__ED,R_0041_0006__UNIX)
      & has_attrib3(R_0041_0002__VERSIONS,R_0041_0001__SUBSEQUENT)
      & has_arg0(R_0041_0013__BEGAN,R_0041_0002__VERSIONS)
      & r_0041_0009__written(R_0041_0009__WRITTEN)
      & has_arg0(R_0041_0009__WRITTEN,Z_000_41_A_HISTORY_OF_QED_23)
      & has_r_0041_0010__in_nim33(R_0041_0009__WRITTEN,R_0041_0011__C)
      & has_nim25(R_0041_0009__WRITTEN,R_0041_0008__NOW)
      & has_arg1(R_0041_0009__WRITTEN,R_0041_0004__ED) ) ).


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))