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.

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_1 Boyer n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_2_1 - n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_3_1 Moore n53_a_history_of_qed__1_3_2_5_3_3_1_2_2_1 techniques n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_1_1 for n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1_1_1 fast n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_2_1 searching n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_1_1 of n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1_1_1 fixed n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_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 NLYR 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 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_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3 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_3 n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_1 NPR 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_1_2 PUNC 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_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_3 NPR 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_3 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_1_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_3->n53_a_history_of_qed__1_3_2_5_3_3_1_2_1_3_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_1 P-ROLE 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_3_2 NP 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_2 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_3_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1 ADJP n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_2 N n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3 PP n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1_1 ADJ n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_1_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_1 P-ROLE n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2 NP n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1 ADJP n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_2 NS n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_2 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1_1 ADJ n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1_1->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_1_1_1 n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_2_3_2_2->n53_a_history_of_qed__1_3_2_5_3_3_1_2_3_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 (NLYR (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))


%3 z_0053_5016 r_0053_0030__so_on so_on z_0053_5016->r_0053_0030__so_on [nim] r_0053_0004__some_r_0053_0007__versions some versions z_0053_5016->r_0053_0004__some_r_0053_0007__versions [inv_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_0053_5016 [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 [inv_arg0] r_0053_0021__techniques techniques r_0053_0017__use->r_0053_0021__techniques [arg1] r_0053_0011__construct->r_0053_0004__some_r_0053_0007__versions [inv_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_0021__techniques->r_0053_0024__searching for r_0053_0018__Boyer_r_0053_0020__Moore Boyer Moore r_0053_0021__techniques->r_0053_0018__Boyer_r_0053_0020__Moore [nim] r_0053_0005__fairly fairly r_0053_0006__elaborate->r_0053_0005__fairly [qual] r_0053_0003__done done r_0053_0003__done->r_0053_0004__some_r_0053_0007__versions [arg1] r_0053_0001__We We r_0053_0003__done->r_0053_0001__We [arg0] r_0053_0002___apos_ve 've r_0053_0002___apos_ve->r_0053_0003__done [scope] 
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,attrib).
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,qual).
arc(r_0053_0011__construct,r_0053_0004__some_r_0053_0007__versions,inv_arg0).
arc(r_0053_0011__construct,r_0053_0012__DFAs,arg1).
arc(r_0053_0011__construct,r_0053_0013__dynamically,nim).
arc(r_0053_0011__construct,r_0053_0015__demand,r_0053_0014__on__nim).
arc(r_0053_0017__use,r_0053_0004__some_r_0053_0007__versions,inv_arg0).
arc(r_0053_0017__use,r_0053_0021__techniques,arg1).
arc(r_0053_0021__techniques,r_0053_0018__Boyer_r_0053_0020__Moore,nim).
arc(r_0053_0021__techniques,r_0053_0024__searching,r_0053_0022__for).
arc(r_0053_0024__searching,r_0053_0023__fast,attrib).
arc(r_0053_0024__searching,r_0053_0027__strings,r_0053_0025__of).
arc(r_0053_0027__strings,r_0053_0026__fixed,attrib).
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_0053_5016,conj3).
arc(z_0053_5016,r_0053_0004__some_r_0053_0007__versions,inv_arg0).
arc(z_0053_5016,r_0053_0030__so_on,nim).


%3 r_0053_0002___apos_ve_r_0053_0003__done 've done r_0053_0001__We We r_0053_0002___apos_ve_r_0053_0003__done->r_0053_0001__We [arg0] r_0053_0004__some_r_0053_0007__versions some versions r_0053_0002___apos_ve_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_0011__construct construct r_0053_0004__some_r_0053_0007__versions->r_0053_0011__construct [inv_arg0] r_0053_0017__use use r_0053_0004__some_r_0053_0007__versions->r_0053_0017__use [inv_arg0] z_0053_5016 r_0053_0004__some_r_0053_0007__versions->z_0053_5016 [inv_arg0] r_0053_0005__fairly fairly r_0053_0006__elaborate->r_0053_0005__fairly [qual] 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_0021__techniques techniques r_0053_0017__use->r_0053_0021__techniques [arg1] r_0053_0018__Boyer_r_0053_0020__Moore Boyer Moore r_0053_0021__techniques->r_0053_0018__Boyer_r_0053_0020__Moore [nim] r_0053_0024__searching searching 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] r_0053_0029__and->z_0053_5016 [conj3] r_0053_0030__so_on so_on z_0053_5016->r_0053_0030__so_on [nim] 
fof(formula,axiom,
    ? [R_0053_0001__WE,R_0053_0005__FAIRLY,R_0053_0006__ELABORATE,R_0053_0009__GREP,R_0053_0012__DFAS,R_0053_0013__DYNAMICALLY,R_0053_0015__DEMAND,R_0053_0011__CONSTRUCT,R_0053_0018__BOYER_R_0053_0020__MOORE,R_0053_0023__FAST,R_0053_0026__FIXED,R_0053_0027__STRINGS,R_0053_0024__SEARCHING,R_0053_0021__TECHNIQUES,R_0053_0017__USE,R_0053_0030__SO_ON,Z_0053_5016,R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0002___APOS_VE_R_0053_0003__DONE,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_0018__Boyer_r_0053_0020__Moore(R_0053_0018__BOYER_R_0053_0020__MOORE)
      & 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_0053_5016)
      & z_0053_5016(Z_0053_5016)
      & has_nim(Z_0053_5016,R_0053_0030__SO_ON)
      & 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_0021__TECHNIQUES)
      & r_0053_0021__techniques(R_0053_0021__TECHNIQUES)
      & has_r_0053_0022__for(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_attrib(R_0053_0027__STRINGS,R_0053_0026__FIXED)
      & has_attrib(R_0053_0024__SEARCHING,R_0053_0023__FAST)
      & has_nim(R_0053_0021__TECHNIQUES,R_0053_0018__BOYER_R_0053_0020__MOORE)
      & has_conj1(R_0053_0029__AND,R_0053_0011__CONSTRUCT)
      & r_0053_0011__construct(R_0053_0011__CONSTRUCT)
      & has_r_0053_0014__on__nim(R_0053_0011__CONSTRUCT,R_0053_0015__DEMAND)
      & has_nim(R_0053_0011__CONSTRUCT,R_0053_0013__DYNAMICALLY)
      & has_arg1(R_0053_0011__CONSTRUCT,R_0053_0012__DFAS)
      & 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)
      & r_0053_0004__some_r_0053_0007__versions(R_0053_0004__SOME_R_0053_0007__VERSIONS)
      & has_inv_arg0(R_0053_0004__SOME_R_0053_0007__VERSIONS,Z_0053_5016)
      & has_inv_arg0(R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0017__USE)
      & has_inv_arg0(R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0011__CONSTRUCT)
      & has_r_0053_0008__of(R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0009__GREP)
      & has_attrib(R_0053_0004__SOME_R_0053_0007__VERSIONS,R_0053_0006__ELABORATE)
      & r_0053_0006__elaborate(R_0053_0006__ELABORATE)
      & has_qual(R_0053_0006__ELABORATE,R_0053_0005__FAIRLY)
      & has_arg0(R_0053_0002___APOS_VE_R_0053_0003__DONE,R_0053_0001__WE) ) ).