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 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_0034__did_r_0041_0037__include [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] 
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_5 Subsequent n41_a_history_of_qed_7 versions n41_a_history_of_qed_10 of n41_a_history_of_qed_13 ed n41_a_history_of_qed_16 for n41_a_history_of_qed_19 Unix n41_a_history_of_qed_21 -LRB- n41_a_history_of_qed_24 * n41_a_history_of_qed_27 now n41_a_history_of_qed_29 written n41_a_history_of_qed_32 in n41_a_history_of_qed_35 C n41_a_history_of_qed_37 -RRB- n41_a_history_of_qed_39 began n41_a_history_of_qed_42 to n41_a_history_of_qed_44 add n41_a_history_of_qed_47 back n41_a_history_of_qed_50 some n41_a_history_of_qed_53 of n41_a_history_of_qed_56 the n41_a_history_of_qed_58 complexity n41_a_history_of_qed_60 -LRB- n41_a_history_of_qed_62 e.g. n41_a_history_of_qed_67 back n41_a_history_of_qed_69 - n41_a_history_of_qed_71 referencing n41_a_history_of_qed_74 in n41_a_history_of_qed_77 <ldquo> n41_a_history_of_qed_80 regular n41_a_history_of_qed_82 <rdquo> n41_a_history_of_qed_84 expressions n41_a_history_of_qed_86 , n41_a_history_of_qed_90 which n41_a_history_of_qed_93 now n41_a_history_of_qed_97 did n41_a_history_of_qed_99 n't n41_a_history_of_qed_102 quite n41_a_history_of_qed_104 include n41_a_history_of_qed_109 all n41_a_history_of_qed_111 the n41_a_history_of_qed_114 regular n41_a_history_of_qed_116 languages n41_a_history_of_qed_119 nor n41_a_history_of_qed_124 context n41_a_history_of_qed_126 - n41_a_history_of_qed_128 free n41_a_history_of_qed_130 languages n41_a_history_of_qed_132 , n41_a_history_of_qed_135 but n41_a_history_of_qed_138 did n41_a_history_of_qed_140 intrude n41_a_history_of_qed_143 a n41_a_history_of_qed_145 bit n41_a_history_of_qed_148 on n41_a_history_of_qed_151 the n41_a_history_of_qed_155 context n41_a_history_of_qed_157 - n41_a_history_of_qed_159 sensitive n41_a_history_of_qed_161 languages n41_a_history_of_qed_163 . n41_a_history_of_qed_165 -RRB- n41_a_history_of_qed_1 IP-MAT n41_a_history_of_qed_2 NP-SBJ n41_a_history_of_qed_1->n41_a_history_of_qed_2 n41_a_history_of_qed_38 VBD;__ n41_a_history_of_qed_1->n41_a_history_of_qed_38 n41_a_history_of_qed_40 IP-INF-OB1 n41_a_history_of_qed_1->n41_a_history_of_qed_40 n41_a_history_of_qed_162 PUNC n41_a_history_of_qed_1->n41_a_history_of_qed_162 n41_a_history_of_qed_164 PURB n41_a_history_of_qed_1->n41_a_history_of_qed_164 n41_a_history_of_qed_3 ADJP n41_a_history_of_qed_2->n41_a_history_of_qed_3 n41_a_history_of_qed_6 NS n41_a_history_of_qed_2->n41_a_history_of_qed_6 n41_a_history_of_qed_8 PP n41_a_history_of_qed_2->n41_a_history_of_qed_8 n41_a_history_of_qed_4 ADJ n41_a_history_of_qed_3->n41_a_history_of_qed_4 n41_a_history_of_qed_4->n41_a_history_of_qed_5 n41_a_history_of_qed_6->n41_a_history_of_qed_7 n41_a_history_of_qed_9 P-ROLE n41_a_history_of_qed_8->n41_a_history_of_qed_9 n41_a_history_of_qed_11 NP n41_a_history_of_qed_8->n41_a_history_of_qed_11 n41_a_history_of_qed_9->n41_a_history_of_qed_10 n41_a_history_of_qed_12 NPR n41_a_history_of_qed_11->n41_a_history_of_qed_12 n41_a_history_of_qed_14 PP n41_a_history_of_qed_11->n41_a_history_of_qed_14 n41_a_history_of_qed_20 PULB n41_a_history_of_qed_11->n41_a_history_of_qed_20 n41_a_history_of_qed_22 IP-PPL n41_a_history_of_qed_11->n41_a_history_of_qed_22 n41_a_history_of_qed_36 PURB n41_a_history_of_qed_11->n41_a_history_of_qed_36 n41_a_history_of_qed_12->n41_a_history_of_qed_13 n41_a_history_of_qed_15 P-ROLE n41_a_history_of_qed_14->n41_a_history_of_qed_15 n41_a_history_of_qed_17 NP n41_a_history_of_qed_14->n41_a_history_of_qed_17 n41_a_history_of_qed_15->n41_a_history_of_qed_16 n41_a_history_of_qed_18 NPR n41_a_history_of_qed_17->n41_a_history_of_qed_18 n41_a_history_of_qed_18->n41_a_history_of_qed_19 n41_a_history_of_qed_20->n41_a_history_of_qed_21 n41_a_history_of_qed_23 NP-LGS n41_a_history_of_qed_22->n41_a_history_of_qed_23 n41_a_history_of_qed_25 ADVP-NIM n41_a_history_of_qed_22->n41_a_history_of_qed_25 n41_a_history_of_qed_28 VVN;__ n41_a_history_of_qed_22->n41_a_history_of_qed_28 n41_a_history_of_qed_30 PP n41_a_history_of_qed_22->n41_a_history_of_qed_30 n41_a_history_of_qed_23->n41_a_history_of_qed_24 n41_a_history_of_qed_26 ADV n41_a_history_of_qed_25->n41_a_history_of_qed_26 n41_a_history_of_qed_26->n41_a_history_of_qed_27 n41_a_history_of_qed_28->n41_a_history_of_qed_29 n41_a_history_of_qed_31 P-ROLE n41_a_history_of_qed_30->n41_a_history_of_qed_31 n41_a_history_of_qed_33 NP n41_a_history_of_qed_30->n41_a_history_of_qed_33 n41_a_history_of_qed_31->n41_a_history_of_qed_32 n41_a_history_of_qed_34 NPR n41_a_history_of_qed_33->n41_a_history_of_qed_34 n41_a_history_of_qed_34->n41_a_history_of_qed_35 n41_a_history_of_qed_36->n41_a_history_of_qed_37 n41_a_history_of_qed_38->n41_a_history_of_qed_39 n41_a_history_of_qed_41 TO n41_a_history_of_qed_40->n41_a_history_of_qed_41 n41_a_history_of_qed_43 VB;__ n41_a_history_of_qed_40->n41_a_history_of_qed_43 n41_a_history_of_qed_45 ADVP-NIM n41_a_history_of_qed_40->n41_a_history_of_qed_45 n41_a_history_of_qed_48 NP-OB1 n41_a_history_of_qed_40->n41_a_history_of_qed_48 n41_a_history_of_qed_41->n41_a_history_of_qed_42 n41_a_history_of_qed_43->n41_a_history_of_qed_44 n41_a_history_of_qed_46 ADV n41_a_history_of_qed_45->n41_a_history_of_qed_46 n41_a_history_of_qed_46->n41_a_history_of_qed_47 n41_a_history_of_qed_49 D;_nphd_ n41_a_history_of_qed_48->n41_a_history_of_qed_49 n41_a_history_of_qed_51 PP n41_a_history_of_qed_48->n41_a_history_of_qed_51 n41_a_history_of_qed_59 PULB n41_a_history_of_qed_48->n41_a_history_of_qed_59 n41_a_history_of_qed_61 FW n41_a_history_of_qed_48->n41_a_history_of_qed_61 n41_a_history_of_qed_63 IP-PPL n41_a_history_of_qed_48->n41_a_history_of_qed_63 n41_a_history_of_qed_49->n41_a_history_of_qed_50 n41_a_history_of_qed_52 P-ROLE n41_a_history_of_qed_51->n41_a_history_of_qed_52 n41_a_history_of_qed_54 NP n41_a_history_of_qed_51->n41_a_history_of_qed_54 n41_a_history_of_qed_52->n41_a_history_of_qed_53 n41_a_history_of_qed_55 D n41_a_history_of_qed_54->n41_a_history_of_qed_55 n41_a_history_of_qed_57 N n41_a_history_of_qed_54->n41_a_history_of_qed_57 n41_a_history_of_qed_55->n41_a_history_of_qed_56 n41_a_history_of_qed_57->n41_a_history_of_qed_58 n41_a_history_of_qed_59->n41_a_history_of_qed_60 n41_a_history_of_qed_61->n41_a_history_of_qed_62 n41_a_history_of_qed_64 NP-PRD n41_a_history_of_qed_63->n41_a_history_of_qed_64 n41_a_history_of_qed_65 ADVP n41_a_history_of_qed_64->n41_a_history_of_qed_65 n41_a_history_of_qed_68 PUNC n41_a_history_of_qed_64->n41_a_history_of_qed_68 n41_a_history_of_qed_70 N n41_a_history_of_qed_64->n41_a_history_of_qed_70 n41_a_history_of_qed_72 PP n41_a_history_of_qed_64->n41_a_history_of_qed_72 n41_a_history_of_qed_66 ADV n41_a_history_of_qed_65->n41_a_history_of_qed_66 n41_a_history_of_qed_66->n41_a_history_of_qed_67 n41_a_history_of_qed_68->n41_a_history_of_qed_69 n41_a_history_of_qed_70->n41_a_history_of_qed_71 n41_a_history_of_qed_73 P-ROLE n41_a_history_of_qed_72->n41_a_history_of_qed_73 n41_a_history_of_qed_75 NP n41_a_history_of_qed_72->n41_a_history_of_qed_75 n41_a_history_of_qed_73->n41_a_history_of_qed_74 n41_a_history_of_qed_76 PULQ n41_a_history_of_qed_75->n41_a_history_of_qed_76 n41_a_history_of_qed_78 ADJP n41_a_history_of_qed_75->n41_a_history_of_qed_78 n41_a_history_of_qed_81 PURQ n41_a_history_of_qed_75->n41_a_history_of_qed_81 n41_a_history_of_qed_83 NS n41_a_history_of_qed_75->n41_a_history_of_qed_83 n41_a_history_of_qed_85 PUNC n41_a_history_of_qed_75->n41_a_history_of_qed_85 n41_a_history_of_qed_87 IP-REL n41_a_history_of_qed_75->n41_a_history_of_qed_87 n41_a_history_of_qed_76->n41_a_history_of_qed_77 n41_a_history_of_qed_79 ADJ n41_a_history_of_qed_78->n41_a_history_of_qed_79 n41_a_history_of_qed_79->n41_a_history_of_qed_80 n41_a_history_of_qed_81->n41_a_history_of_qed_82 n41_a_history_of_qed_83->n41_a_history_of_qed_84 n41_a_history_of_qed_85->n41_a_history_of_qed_86 n41_a_history_of_qed_88 NP-SBJ n41_a_history_of_qed_87->n41_a_history_of_qed_88 n41_a_history_of_qed_91 ADVP-NIM n41_a_history_of_qed_87->n41_a_history_of_qed_91 n41_a_history_of_qed_94 ILYR n41_a_history_of_qed_87->n41_a_history_of_qed_94 n41_a_history_of_qed_89 RPRO n41_a_history_of_qed_88->n41_a_history_of_qed_89 n41_a_history_of_qed_89->n41_a_history_of_qed_90 n41_a_history_of_qed_92 ADV n41_a_history_of_qed_91->n41_a_history_of_qed_92 n41_a_history_of_qed_92->n41_a_history_of_qed_93 n41_a_history_of_qed_95 ILYR n41_a_history_of_qed_94->n41_a_history_of_qed_95 n41_a_history_of_qed_131 PUNC n41_a_history_of_qed_94->n41_a_history_of_qed_131 n41_a_history_of_qed_133 CONJP n41_a_history_of_qed_94->n41_a_history_of_qed_133 n41_a_history_of_qed_96 DOD n41_a_history_of_qed_95->n41_a_history_of_qed_96 n41_a_history_of_qed_98 NEG;_clitic_ n41_a_history_of_qed_95->n41_a_history_of_qed_98 n41_a_history_of_qed_100 ADVP-NIM n41_a_history_of_qed_95->n41_a_history_of_qed_100 n41_a_history_of_qed_103 VB;_Tn_ n41_a_history_of_qed_95->n41_a_history_of_qed_103 n41_a_history_of_qed_105 NP-OB1 n41_a_history_of_qed_95->n41_a_history_of_qed_105 n41_a_history_of_qed_96->n41_a_history_of_qed_97 n41_a_history_of_qed_98->n41_a_history_of_qed_99 n41_a_history_of_qed_101 ADV n41_a_history_of_qed_100->n41_a_history_of_qed_101 n41_a_history_of_qed_101->n41_a_history_of_qed_102 n41_a_history_of_qed_103->n41_a_history_of_qed_104 n41_a_history_of_qed_106 NLYR n41_a_history_of_qed_105->n41_a_history_of_qed_106 n41_a_history_of_qed_107 NLYR n41_a_history_of_qed_106->n41_a_history_of_qed_107 n41_a_history_of_qed_117 CONJP n41_a_history_of_qed_106->n41_a_history_of_qed_117 n41_a_history_of_qed_108 Q;_nphd_ n41_a_history_of_qed_107->n41_a_history_of_qed_108 n41_a_history_of_qed_110 D n41_a_history_of_qed_107->n41_a_history_of_qed_110 n41_a_history_of_qed_112 ADJP n41_a_history_of_qed_107->n41_a_history_of_qed_112 n41_a_history_of_qed_115 NS n41_a_history_of_qed_107->n41_a_history_of_qed_115 n41_a_history_of_qed_108->n41_a_history_of_qed_109 n41_a_history_of_qed_110->n41_a_history_of_qed_111 n41_a_history_of_qed_113 ADJ n41_a_history_of_qed_112->n41_a_history_of_qed_113 n41_a_history_of_qed_113->n41_a_history_of_qed_114 n41_a_history_of_qed_115->n41_a_history_of_qed_116 n41_a_history_of_qed_118 CONJ n41_a_history_of_qed_117->n41_a_history_of_qed_118 n41_a_history_of_qed_120 NLYR n41_a_history_of_qed_117->n41_a_history_of_qed_120 n41_a_history_of_qed_118->n41_a_history_of_qed_119 n41_a_history_of_qed_121 ADJP n41_a_history_of_qed_120->n41_a_history_of_qed_121 n41_a_history_of_qed_129 NS n41_a_history_of_qed_120->n41_a_history_of_qed_129 n41_a_history_of_qed_122 NP n41_a_history_of_qed_121->n41_a_history_of_qed_122 n41_a_history_of_qed_125 PUNC n41_a_history_of_qed_121->n41_a_history_of_qed_125 n41_a_history_of_qed_127 ADJ n41_a_history_of_qed_121->n41_a_history_of_qed_127 n41_a_history_of_qed_123 N n41_a_history_of_qed_122->n41_a_history_of_qed_123 n41_a_history_of_qed_123->n41_a_history_of_qed_124 n41_a_history_of_qed_125->n41_a_history_of_qed_126 n41_a_history_of_qed_127->n41_a_history_of_qed_128 n41_a_history_of_qed_129->n41_a_history_of_qed_130 n41_a_history_of_qed_131->n41_a_history_of_qed_132 n41_a_history_of_qed_134 CONJ n41_a_history_of_qed_133->n41_a_history_of_qed_134 n41_a_history_of_qed_136 ILYR n41_a_history_of_qed_133->n41_a_history_of_qed_136 n41_a_history_of_qed_134->n41_a_history_of_qed_135 n41_a_history_of_qed_137 DOD n41_a_history_of_qed_136->n41_a_history_of_qed_137 n41_a_history_of_qed_139 VB;_Ipr_ n41_a_history_of_qed_136->n41_a_history_of_qed_139 n41_a_history_of_qed_141 NP-NIM n41_a_history_of_qed_136->n41_a_history_of_qed_141 n41_a_history_of_qed_146 PP-CLR n41_a_history_of_qed_136->n41_a_history_of_qed_146 n41_a_history_of_qed_137->n41_a_history_of_qed_138 n41_a_history_of_qed_139->n41_a_history_of_qed_140 n41_a_history_of_qed_142 D n41_a_history_of_qed_141->n41_a_history_of_qed_142 n41_a_history_of_qed_144 N n41_a_history_of_qed_141->n41_a_history_of_qed_144 n41_a_history_of_qed_142->n41_a_history_of_qed_143 n41_a_history_of_qed_144->n41_a_history_of_qed_145 n41_a_history_of_qed_147 P-ROLE n41_a_history_of_qed_146->n41_a_history_of_qed_147 n41_a_history_of_qed_149 NP n41_a_history_of_qed_146->n41_a_history_of_qed_149 n41_a_history_of_qed_147->n41_a_history_of_qed_148 n41_a_history_of_qed_150 D n41_a_history_of_qed_149->n41_a_history_of_qed_150 n41_a_history_of_qed_152 ADJP n41_a_history_of_qed_149->n41_a_history_of_qed_152 n41_a_history_of_qed_160 NS n41_a_history_of_qed_149->n41_a_history_of_qed_160 n41_a_history_of_qed_150->n41_a_history_of_qed_151 n41_a_history_of_qed_153 NP n41_a_history_of_qed_152->n41_a_history_of_qed_153 n41_a_history_of_qed_156 PUNC n41_a_history_of_qed_152->n41_a_history_of_qed_156 n41_a_history_of_qed_158 ADJ n41_a_history_of_qed_152->n41_a_history_of_qed_158 n41_a_history_of_qed_154 N n41_a_history_of_qed_153->n41_a_history_of_qed_154 n41_a_history_of_qed_154->n41_a_history_of_qed_155 n41_a_history_of_qed_156->n41_a_history_of_qed_157 n41_a_history_of_qed_158->n41_a_history_of_qed_159 n41_a_history_of_qed_160->n41_a_history_of_qed_161 n41_a_history_of_qed_162->n41_a_history_of_qed_163 n41_a_history_of_qed_164->n41_a_history_of_qed_165 
( (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))