Context                Previous, Next                Top


53_a_history_of_qed
We've done some fairly elaborate versions of grep that construct DFAs dynamically on demand, use Boyer - Moore techniques for fast searching of fixed strings, and so on.

%3 r_0053_0002___apos_ve 've r_0053_0003__done done r_0053_0002___apos_ve->r_0053_0003__done [scope] r_0053_0001__We We r_0053_0003__done->r_0053_0001__We [arg0] r_0053_0004__some_r_0053_0007__versions some versions r_0053_0003__done->r_0053_0004__some_r_0053_0007__versions [arg1] r_0053_0006__elaborate elaborate r_0053_0004__some_r_0053_0007__versions->r_0053_0006__elaborate [attrib] r_0053_0009__grep grep r_0053_0004__some_r_0053_0007__versions->r_0053_0009__grep of r_0053_0005__fairly fairly r_0053_0006__elaborate->r_0053_0005__fairly [qual] r_0053_0011__construct construct r_0053_0011__construct->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0012__DFAs DFAs r_0053_0011__construct->r_0053_0012__DFAs [arg1] r_0053_0013__dynamically dynamically r_0053_0011__construct->r_0053_0013__dynamically [nim] r_0053_0015__demand demand r_0053_0011__construct->r_0053_0015__demand on [nim] r_0053_0017__use use r_0053_0017__use->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques Boyer Moore techniques r_0053_0017__use->r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques [arg1] r_0053_0024__searching searching r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques->r_0053_0024__searching for r_0053_0023__fast fast r_0053_0024__searching->r_0053_0023__fast [attrib] r_0053_0027__strings strings r_0053_0024__searching->r_0053_0027__strings of r_0053_0026__fixed fixed r_0053_0027__strings->r_0053_0026__fixed [attrib] r_0053_0029__and and r_0053_0029__and->r_0053_0011__construct [conj1] r_0053_0029__and->r_0053_0017__use [conj2] z_000_53_a_history_of_qed_86 r_0053_0029__and->z_000_53_a_history_of_qed_86 [conj3] z_000_53_a_history_of_qed_86->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0030__so_on so on z_000_53_a_history_of_qed_86->r_0053_0030__so_on [nim] 
arc(r_0053_0002___apos_ve, r_0053_0003__done, scope).
arc(r_0053_0003__done, r_0053_0001__We, arg0).
arc(r_0053_0003__done, r_0053_0004__some_r_0053_0007__versions, arg1).
arc(r_0053_0004__some_r_0053_0007__versions, r_0053_0006__elaborate, attrib13).
arc(r_0053_0004__some_r_0053_0007__versions, r_0053_0009__grep, r_0053_0008__of).
arc(r_0053_0006__elaborate, r_0053_0005__fairly, qual14).
arc(r_0053_0011__construct, r_0053_0004__some_r_0053_0007__versions, arg0).
arc(r_0053_0011__construct, r_0053_0012__DFAs, arg1).
arc(r_0053_0011__construct, r_0053_0013__dynamically, nim39).
arc(r_0053_0011__construct, r_0053_0015__demand, r_0053_0014__on_nim45).
arc(r_0053_0017__use, r_0053_0004__some_r_0053_0007__versions, arg0).
arc(r_0053_0017__use, r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques, arg1).
arc(r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques, r_0053_0024__searching, r_0053_0022__for).
arc(r_0053_0024__searching, r_0053_0023__fast, attrib67).
arc(r_0053_0024__searching, r_0053_0027__strings, r_0053_0025__of).
arc(r_0053_0027__strings, r_0053_0026__fixed, attrib76).
arc(r_0053_0029__and, r_0053_0011__construct, conj1).
arc(r_0053_0029__and, r_0053_0017__use, conj2).
arc(r_0053_0029__and, z_000_53_a_history_of_qed_86, conj3).
arc(z_000_53_a_history_of_qed_86, r_0053_0004__some_r_0053_0007__versions, arg0).
arc(z_000_53_a_history_of_qed_86, r_0053_0030__so_on, nim87).


%3 z_000_53_a_history_of_qed_86 r_0053_0030__so_on so on z_000_53_a_history_of_qed_86->r_0053_0030__so_on [nim] r_0053_0004__some_r_0053_0007__versions some versions z_000_53_a_history_of_qed_86->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0006__elaborate elaborate r_0053_0004__some_r_0053_0007__versions->r_0053_0006__elaborate [attrib] r_0053_0009__grep grep r_0053_0004__some_r_0053_0007__versions->r_0053_0009__grep of r_0053_0029__and and r_0053_0029__and->z_000_53_a_history_of_qed_86 [conj3] r_0053_0017__use use r_0053_0029__and->r_0053_0017__use [conj2] r_0053_0011__construct construct r_0053_0029__and->r_0053_0011__construct [conj1] r_0053_0017__use->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques Boyer Moore techniques r_0053_0017__use->r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques [arg1] r_0053_0011__construct->r_0053_0004__some_r_0053_0007__versions [arg0] r_0053_0015__demand demand r_0053_0011__construct->r_0053_0015__demand on [nim] r_0053_0013__dynamically dynamically r_0053_0011__construct->r_0053_0013__dynamically [nim] r_0053_0012__DFAs DFAs r_0053_0011__construct->r_0053_0012__DFAs [arg1] r_0053_0027__strings strings r_0053_0026__fixed fixed r_0053_0027__strings->r_0053_0026__fixed [attrib] r_0053_0024__searching searching r_0053_0024__searching->r_0053_0027__strings of r_0053_0023__fast fast r_0053_0024__searching->r_0053_0023__fast [attrib] r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques->r_0053_0024__searching for r_0053_0005__fairly fairly r_0053_0006__elaborate->r_0053_0005__fairly [qual] r_0053_0002___apos_ve_r_0053_0003__done 've done r_0053_0002___apos_ve_r_0053_0003__done->r_0053_0004__some_r_0053_0007__versions [arg1] r_0053_0001__We We r_0053_0002___apos_ve_r_0053_0003__done->r_0053_0001__We [arg0] 
fof(formula,axiom,
    ? [R_0053_0001__WE,R_0053_0005__FAIRLY,R_0053_0006__ELABORATE,R_0053_0009__GREP,R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0002___APOS_VE_R_0053_0003__DONE,R_0053_0012__DFAS,R_0053_0013__DYNAMICALLY,R_0053_0015__DEMAND,R_0053_0011__CONSTRUCT,R_0053_0023__FAST,R_0053_0026__FIXED,R_0053_0027__STRINGS,R_0053_0024__SEARCHING,R_0053_0018__BOYER_R_0053_0020__MOORE_R_0053_0021__TECHNIQUES,R_0053_0017__USE,R_0053_0030__SO_ON,Z_000_53_A_HISTORY_OF_QED_86,R_0053_0029__AND] :
      ( r_0053_0001__We(R_0053_0001__WE)
      & r_0053_0005__fairly(R_0053_0005__FAIRLY)
      & r_0053_0009__grep(R_0053_0009__GREP)
      & r_0053_0012__DFAs(R_0053_0012__DFAS)
      & r_0053_0013__dynamically(R_0053_0013__DYNAMICALLY)
      & r_0053_0015__demand(R_0053_0015__DEMAND)
      & r_0053_0023__fast(R_0053_0023__FAST)
      & r_0053_0026__fixed(R_0053_0026__FIXED)
      & r_0053_0030__so_on(R_0053_0030__SO_ON)
      & r_0053_0029__and(R_0053_0029__AND)
      & has_conj3(R_0053_0029__AND,Z_000_53_A_HISTORY_OF_QED_86)
      & z_000_53_a_history_of_qed_86(Z_000_53_A_HISTORY_OF_QED_86)
      & has_nim87(Z_000_53_A_HISTORY_OF_QED_86,R_0053_0030__SO_ON)
      & has_arg0(Z_000_53_A_HISTORY_OF_QED_86,R_0053_0004__SOME_R_0053_0007__VERSIONS)
      & r_0053_0004__some_r_0053_0007__versions(R_0053_0004__SOME_R_0053_0007__VERSIONS)
      & has_r_0053_0008__of(R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0009__GREP)
      & has_attrib13(R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0006__ELABORATE)
      & r_0053_0006__elaborate(R_0053_0006__ELABORATE)
      & has_qual14(R_0053_0006__ELABORATE,R_0053_0005__FAIRLY)
      & has_conj2(R_0053_0029__AND,R_0053_0017__USE)
      & r_0053_0017__use(R_0053_0017__USE)
      & has_arg1(R_0053_0017__USE,R_0053_0018__BOYER_R_0053_0020__MOORE_R_0053_0021__TECHNIQUES)
      & r_0053_0018__Boyer_r_0053_0020__Moore_r_0053_0021__techniques(R_0053_0018__BOYER_R_0053_0020__MOORE_R_0053_0021__TECHNIQUES)
      & has_r_0053_0022__for(R_0053_0018__BOYER_R_0053_0020__MOORE_R_0053_0021__TECHNIQUES,R_0053_0024__SEARCHING)
      & r_0053_0024__searching(R_0053_0024__SEARCHING)
      & has_r_0053_0025__of(R_0053_0024__SEARCHING,R_0053_0027__STRINGS)
      & r_0053_0027__strings(R_0053_0027__STRINGS)
      & has_attrib76(R_0053_0027__STRINGS,R_0053_0026__FIXED)
      & has_attrib67(R_0053_0024__SEARCHING,R_0053_0023__FAST)
      & has_arg0(R_0053_0017__USE,R_0053_0004__SOME_R_0053_0007__VERSIONS)
      & has_conj1(R_0053_0029__AND,R_0053_0011__CONSTRUCT)
      & r_0053_0011__construct(R_0053_0011__CONSTRUCT)
      & has_r_0053_0014__on_nim45(R_0053_0011__CONSTRUCT,R_0053_0015__DEMAND)
      & has_nim39(R_0053_0011__CONSTRUCT,R_0053_0013__DYNAMICALLY)
      & has_arg1(R_0053_0011__CONSTRUCT,R_0053_0012__DFAS)
      & has_arg0(R_0053_0011__CONSTRUCT,R_0053_0004__SOME_R_0053_0007__VERSIONS)
      & r_0053_0002___apos_ve_r_0053_0003__done(R_0053_0002___APOS_VE_R_0053_0003__DONE)
      & has_arg1(R_0053_0002___APOS_VE_R_0053_0003__DONE,R_0053_0004__SOME_R_0053_0007__VERSIONS)
      & has_arg0(R_0053_0002___APOS_VE_R_0053_0003__DONE,R_0053_0001__WE) ) ).


n53_a_history_of_qed n53_a_history_of_qed__1_1_1_1 We n53_a_history_of_qed__1_2_1 've n53_a_history_of_qed__1_3_1_1 done n53_a_history_of_qed__1_3_2_1_1 some n53_a_history_of_qed__1_3_2_2_1_1_1 fairly n53_a_history_of_qed__1_3_2_2_2_1 elaborate n53_a_history_of_qed__1_3_2_3_1 versions n53_a_history_of_qed__1_3_2_4_1_1 of n53_a_history_of_qed__1_3_2_4_2_1_1 grep n53_a_history_of_qed__1_3_2_5_1_1 that n53_a_history_of_qed__1_3_2_5_2_1 *T* n53_a_history_of_qed__1_3_2_5_3_1_1_1 construct n53_a_history_of_qed__1_3_2_5_3_1_2_1_1 DFAs n53_a_history_of_qed__1_3_2_5_3_1_3_1_1 dynamically n53_a_history_of_qed__1_3_2_5_3_1_4_1_1 on n53_a_history_of_qed__1_3_2_5_3_1_4_2_1_1 demand n53_a_history_of_qed__1_3_2_5_3_2_1 , n53_a_history_of_qed__1_3_2_5_3_3_1_1_1 use n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_1 Boyer n53_a_history_of_qed__1_3_2_5_3_3_1_2_2_1 - n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_1 Moore n53_a_history_of_qed__1_3_2_5_3_3_1_2_4_1 techniques n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_1_1 for n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1_1_1 fast n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_2_1 searching n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_1_1 of n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1_1_1 fixed n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_2_1 strings n53_a_history_of_qed__1_3_2_5_3_4_1 , n53_a_history_of_qed__1_3_2_5_3_5_1_1 and n53_a_history_of_qed__1_3_2_5_3_5_2_1_1_1 so_on n53_a_history_of_qed__1_4_1 . n53_a_history_of_qed__1 IP-MAT n53_a_history_of_qed__1_1 NP-SBJ n53_a_history_of_qed__1->n53_a_history_of_qed__1_1 n53_a_history_of_qed__1_2 HVP;_cat_Ve_ n53_a_history_of_qed__1->n53_a_history_of_qed__1_2 n53_a_history_of_qed__1_3 IP-PPL-CAT n53_a_history_of_qed__1->n53_a_history_of_qed__1_3 n53_a_history_of_qed__1_4 PUNC n53_a_history_of_qed__1->n53_a_history_of_qed__1_4 n53_a_history_of_qed__1_1_1 PRO n53_a_history_of_qed__1_1->n53_a_history_of_qed__1_1_1 n53_a_history_of_qed__1_1_1->n53_a_history_of_qed__1_1_1_1 n53_a_history_of_qed__1_2->n53_a_history_of_qed__1_2_1 n53_a_history_of_qed__1_3_1 DON;_Tn_ n53_a_history_of_qed__1_3->n53_a_history_of_qed__1_3_1 n53_a_history_of_qed__1_3_2 NP-OB1 n53_a_history_of_qed__1_3->n53_a_history_of_qed__1_3_2 n53_a_history_of_qed__1_3_1->n53_a_history_of_qed__1_3_1_1 n53_a_history_of_qed__1_3_2_1 D n53_a_history_of_qed__1_3_2->n53_a_history_of_qed__1_3_2_1 n53_a_history_of_qed__1_3_2_2 ADJP n53_a_history_of_qed__1_3_2->n53_a_history_of_qed__1_3_2_2 n53_a_history_of_qed__1_3_2_3 NS n53_a_history_of_qed__1_3_2->n53_a_history_of_qed__1_3_2_3 n53_a_history_of_qed__1_3_2_4 PP n53_a_history_of_qed__1_3_2->n53_a_history_of_qed__1_3_2_4 n53_a_history_of_qed__1_3_2_5 IP-REL n53_a_history_of_qed__1_3_2->n53_a_history_of_qed__1_3_2_5 n53_a_history_of_qed__1_3_2_1->n53_a_history_of_qed__1_3_2_1_1 n53_a_history_of_qed__1_3_2_2_1 ADVP n53_a_history_of_qed__1_3_2_2->n53_a_history_of_qed__1_3_2_2_1 n53_a_history_of_qed__1_3_2_2_2 ADJ n53_a_history_of_qed__1_3_2_2->n53_a_history_of_qed__1_3_2_2_2 n53_a_history_of_qed__1_3_2_2_1_1 ADV n53_a_history_of_qed__1_3_2_2_1->n53_a_history_of_qed__1_3_2_2_1_1 n53_a_history_of_qed__1_3_2_2_1_1->n53_a_history_of_qed__1_3_2_2_1_1_1 n53_a_history_of_qed__1_3_2_2_2->n53_a_history_of_qed__1_3_2_2_2_1 n53_a_history_of_qed__1_3_2_3->n53_a_history_of_qed__1_3_2_3_1 n53_a_history_of_qed__1_3_2_4_1 P-ROLE n53_a_history_of_qed__1_3_2_4->n53_a_history_of_qed__1_3_2_4_1 n53_a_history_of_qed__1_3_2_4_2 NP n53_a_history_of_qed__1_3_2_4->n53_a_history_of_qed__1_3_2_4_2 n53_a_history_of_qed__1_3_2_4_1->n53_a_history_of_qed__1_3_2_4_1_1 n53_a_history_of_qed__1_3_2_4_2_1 NPR n53_a_history_of_qed__1_3_2_4_2->n53_a_history_of_qed__1_3_2_4_2_1 n53_a_history_of_qed__1_3_2_4_2_1->n53_a_history_of_qed__1_3_2_4_2_1_1 n53_a_history_of_qed__1_3_2_5_1 C n53_a_history_of_qed__1_3_2_5->n53_a_history_of_qed__1_3_2_5_1 n53_a_history_of_qed__1_3_2_5_2 NP-SBJ n53_a_history_of_qed__1_3_2_5->n53_a_history_of_qed__1_3_2_5_2 n53_a_history_of_qed__1_3_2_5_3 ILYR n53_a_history_of_qed__1_3_2_5->n53_a_history_of_qed__1_3_2_5_3 n53_a_history_of_qed__1_3_2_5_1->n53_a_history_of_qed__1_3_2_5_1_1 n53_a_history_of_qed__1_3_2_5_2->n53_a_history_of_qed__1_3_2_5_2_1 n53_a_history_of_qed__1_3_2_5_3_1 ILYR n53_a_history_of_qed__1_3_2_5_3->n53_a_history_of_qed__1_3_2_5_3_1 n53_a_history_of_qed__1_3_2_5_3_2 PUNC n53_a_history_of_qed__1_3_2_5_3->n53_a_history_of_qed__1_3_2_5_3_2 n53_a_history_of_qed__1_3_2_5_3_3 CONJP n53_a_history_of_qed__1_3_2_5_3->n53_a_history_of_qed__1_3_2_5_3_3 n53_a_history_of_qed__1_3_2_5_3_4 PUNC n53_a_history_of_qed__1_3_2_5_3->n53_a_history_of_qed__1_3_2_5_3_4 n53_a_history_of_qed__1_3_2_5_3_5 CONJP n53_a_history_of_qed__1_3_2_5_3->n53_a_history_of_qed__1_3_2_5_3_5 n53_a_history_of_qed__1_3_2_5_3_1_1 VBP;__ n53_a_history_of_qed__1_3_2_5_3_1->n53_a_history_of_qed__1_3_2_5_3_1_1 n53_a_history_of_qed__1_3_2_5_3_1_2 NP-OB1 n53_a_history_of_qed__1_3_2_5_3_1->n53_a_history_of_qed__1_3_2_5_3_1_2 n53_a_history_of_qed__1_3_2_5_3_1_3 ADVP-NIM n53_a_history_of_qed__1_3_2_5_3_1->n53_a_history_of_qed__1_3_2_5_3_1_3 n53_a_history_of_qed__1_3_2_5_3_1_4 PP-NIM n53_a_history_of_qed__1_3_2_5_3_1->n53_a_history_of_qed__1_3_2_5_3_1_4 n53_a_history_of_qed__1_3_2_5_3_1_1->n53_a_history_of_qed__1_3_2_5_3_1_1_1 n53_a_history_of_qed__1_3_2_5_3_1_2_1 NS n53_a_history_of_qed__1_3_2_5_3_1_2->n53_a_history_of_qed__1_3_2_5_3_1_2_1 n53_a_history_of_qed__1_3_2_5_3_1_2_1->n53_a_history_of_qed__1_3_2_5_3_1_2_1_1 n53_a_history_of_qed__1_3_2_5_3_1_3_1 ADV n53_a_history_of_qed__1_3_2_5_3_1_3->n53_a_history_of_qed__1_3_2_5_3_1_3_1 n53_a_history_of_qed__1_3_2_5_3_1_3_1->n53_a_history_of_qed__1_3_2_5_3_1_3_1_1 n53_a_history_of_qed__1_3_2_5_3_1_4_1 P-ROLE n53_a_history_of_qed__1_3_2_5_3_1_4->n53_a_history_of_qed__1_3_2_5_3_1_4_1 n53_a_history_of_qed__1_3_2_5_3_1_4_2 NP n53_a_history_of_qed__1_3_2_5_3_1_4->n53_a_history_of_qed__1_3_2_5_3_1_4_2 n53_a_history_of_qed__1_3_2_5_3_1_4_1->n53_a_history_of_qed__1_3_2_5_3_1_4_1_1 n53_a_history_of_qed__1_3_2_5_3_1_4_2_1 N n53_a_history_of_qed__1_3_2_5_3_1_4_2->n53_a_history_of_qed__1_3_2_5_3_1_4_2_1 n53_a_history_of_qed__1_3_2_5_3_1_4_2_1->n53_a_history_of_qed__1_3_2_5_3_1_4_2_1_1 n53_a_history_of_qed__1_3_2_5_3_2->n53_a_history_of_qed__1_3_2_5_3_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1 ILYR n53_a_history_of_qed__1_3_2_5_3_3->n53_a_history_of_qed__1_3_2_5_3_3_1 n53_a_history_of_qed__1_3_2_5_3_3_1_1 VBP;__ n53_a_history_of_qed__1_3_2_5_3_3_1->n53_a_history_of_qed__1_3_2_5_3_3_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2 NP-OB1 n53_a_history_of_qed__1_3_2_5_3_3_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2 n53_a_history_of_qed__1_3_2_5_3_3_1_1->n53_a_history_of_qed__1_3_2_5_3_3_1_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_1 NPR n53_a_history_of_qed__1_3_2_5_3_3_1_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_2 PUNC n53_a_history_of_qed__1_3_2_5_3_3_1_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3 NPR n53_a_history_of_qed__1_3_2_5_3_3_1_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3 n53_a_history_of_qed__1_3_2_5_3_3_1_2_4 NS n53_a_history_of_qed__1_3_2_5_3_3_1_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_4 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5 PP n53_a_history_of_qed__1_3_2_5_3_3_1_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5 n53_a_history_of_qed__1_3_2_5_3_3_1_2_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_4->n53_a_history_of_qed__1_3_2_5_3_3_1_2_4_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_1 P-ROLE n53_a_history_of_qed__1_3_2_5_3_3_1_2_5->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2 NP n53_a_history_of_qed__1_3_2_5_3_3_1_2_5->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1 ADJP n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_2 N n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3 PP n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1_1 ADJ n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_1_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_1 P-ROLE n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2 NP n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1 ADJP n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_2 NS n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1_1 ADJ n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_1_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_5_2_3_2_2_1 n53_a_history_of_qed__1_3_2_5_3_4->n53_a_history_of_qed__1_3_2_5_3_4_1 n53_a_history_of_qed__1_3_2_5_3_5_1 CONJ n53_a_history_of_qed__1_3_2_5_3_5->n53_a_history_of_qed__1_3_2_5_3_5_1 n53_a_history_of_qed__1_3_2_5_3_5_2 ILYR n53_a_history_of_qed__1_3_2_5_3_5->n53_a_history_of_qed__1_3_2_5_3_5_2 n53_a_history_of_qed__1_3_2_5_3_5_1->n53_a_history_of_qed__1_3_2_5_3_5_1_1 n53_a_history_of_qed__1_3_2_5_3_5_2_1 ADVP-NIM n53_a_history_of_qed__1_3_2_5_3_5_2->n53_a_history_of_qed__1_3_2_5_3_5_2_1 n53_a_history_of_qed__1_3_2_5_3_5_2_1_1 ADV n53_a_history_of_qed__1_3_2_5_3_5_2_1->n53_a_history_of_qed__1_3_2_5_3_5_2_1_1 n53_a_history_of_qed__1_3_2_5_3_5_2_1_1->n53_a_history_of_qed__1_3_2_5_3_5_2_1_1_1 n53_a_history_of_qed__1_4->n53_a_history_of_qed__1_4_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (DON;_Tn_ done;{do})
                      (NP-OB1 (D some;{some})
                              (ADJP (ADVP (ADV fairly;{fairly}))
                                    (ADJ elaborate;{elaborate}))
                              (NS versions;{version})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR grep;{grep})))
                              (IP-REL (C that;{that})
                                      (NP-SBJ *T*)
                                      (ILYR (ILYR (VBP;__ construct;{construct})
                                                  (NP-OB1 (NS DFAs;{dfas}))
                                                  (ADVP-NIM (ADV dynamically;{dynamically}))
                                                  (PP-NIM (P-ROLE on;{on})
                                                          (NP (N demand;{demand}))))
                                            (PUNC ,)
                                            (CONJP (ILYR (VBP;__ use;{use})
                                                         (NP-OB1 (NPR Boyer;{Boyer})
                                                                 (PUNC <hyphen>)
                                                                 (NPR Moore;{Moore})
                                                                 (NS techniques;{technique})
                                                                 (PP (P-ROLE for;{for})
                                                                     (NP (ADJP (ADJ fast;{fast}))
                                                                         (N searching;{searching})
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (ADJP (ADJ fixed;{fixed}))
                                                                                 (NS strings;{string}))))))))
                                            (PUNC ,)
                                            (CONJP (CONJ and;{and})
                                                   (ILYR (ADVP-NIM (ADV so_on;{so_on}))))))))
          (PUNC .))
  (ID 53_a_history_of_qed))