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_53_2__APOS_VE_DONE,R_53_1_WE,R_53_29_AND,R_53_11_CONSTRUCT,R_53_12_DFAS,R_53_13_DYNAMICALLY,R_53_15_DEMAND,R_53_17_USE,R_53_18_BOYER_MOORE_TECHNIQUES,R_53_24_SEARCHING,R_53_23_FAST,R_53_27_STRINGS,R_53_26_FIXED,Z_53_A_HISTORY_OF_QED_86,R_53_4_SOME_VERSIONS,R_53_6_ELABORATE,R_53_5_FAIRLY,R_53_9_GREP,R_53_30_SO_ON] :
      ( we(R_53_1_WE)
      & dFAs(R_53_12_DFAS)
      & dynamically(R_53_13_DYNAMICALLY)
      & demand(R_53_15_DEMAND)
      & fast(R_53_23_FAST)
      & fixed(R_53_26_FIXED)
      & fairly(R_53_5_FAIRLY)
      & grep(R_53_9_GREP)
      & so_on(R_53_30_SO_ON)
      & _apos_ve_done(R_53_2__APOS_VE_DONE,R_53_1_WE,R_53_4_SOME_VERSIONS)
      & some_versions(R_53_4_SOME_VERSIONS)
      & attrib13(R_53_4_SOME_VERSIONS,R_53_6_ELABORATE)
      & elaborate(R_53_6_ELABORATE)
      & qual14(R_53_6_ELABORATE,R_53_5_FAIRLY)
      & of(R_53_4_SOME_VERSIONS,R_53_9_GREP)
      & and(R_53_29_AND)
      & conj1(R_53_29_AND,R_53_11_CONSTRUCT)
      & construct(R_53_11_CONSTRUCT,R_53_4_SOME_VERSIONS,R_53_12_DFAS)
      & nim39(R_53_11_CONSTRUCT,R_53_13_DYNAMICALLY)
      & on_nim45(R_53_11_CONSTRUCT,R_53_15_DEMAND)
      & conj2(R_53_29_AND,R_53_17_USE)
      & use(R_53_17_USE,R_53_4_SOME_VERSIONS,R_53_18_BOYER_MOORE_TECHNIQUES)
      & boyer_Moore_techniques(R_53_18_BOYER_MOORE_TECHNIQUES)
      & for(R_53_18_BOYER_MOORE_TECHNIQUES,R_53_24_SEARCHING)
      & searching(R_53_24_SEARCHING)
      & attrib67(R_53_24_SEARCHING,R_53_23_FAST)
      & of(R_53_24_SEARCHING,R_53_27_STRINGS)
      & strings(R_53_27_STRINGS)
      & attrib76(R_53_27_STRINGS,R_53_26_FIXED)
      & conj3(R_53_29_AND,Z_53_A_HISTORY_OF_QED_86)
      & z_53_a_history_of_qed_86(Z_53_A_HISTORY_OF_QED_86,R_53_4_SOME_VERSIONS)
      & nim87(Z_53_A_HISTORY_OF_QED_86,R_53_30_SO_ON) ) ).


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