8_a_history_of_qed
Ken not only introduced a new idea, he found an inventive implementation: on - the - fly compiling.

%3 0008_0002__not not 0008_0004__introduced introduced 0008_0002__not->0008_0004__introduced [scope] 0008_0001__Ken Ken 0008_0004__introduced->0008_0001__Ken [arg0] 0008_0003__only only 0008_0004__introduced->0008_0003__only [nim] 0008_0005__a_7__idea a_idea 0008_0004__introduced->0008_0005__a_7__idea [arg1] 0008_0006__new new 0008_0005__a_7__idea->0008_0006__new [attrib] 0008_0010__found found 0008_0010__found->0008_0001__Ken [arg0] 0008_0011__an_13__implementation an_implementation 0008_0010__found->0008_0011__an_13__implementation [arg1] 0008_0012__inventive inventive 0008_0011__an_13__implementation->0008_0012__inventive [attrib] 0008_0020__compiling compiling 0008_0017__the_19__fly the_fly 0008_0020__compiling->0008_0017__the_19__fly on 0008_5001 0008_5001->0008_0002__not [conj1] 0008_5001->0008_0010__found [conj2] 0008_5012 0008_5012->0008_0011__an_13__implementation [arg0] 0008_5012->0008_0020__compiling [prd]
arc(r_0008_0002__not,r_0008_0004__introduced,keep_scope).
arc(r_0008_0004__introduced,r_0008_0001__Ken,arg0).
arc(r_0008_0004__introduced,r_0008_0003__only,nim).
arc(r_0008_0004__introduced,r_0008_0005__a_r_0008_0007__idea,arg1).
arc(r_0008_0005__a_r_0008_0007__idea,r_0008_0006__new,attrib).
arc(r_0008_0010__found,r_0008_0001__Ken,arg0).
arc(r_0008_0010__found,r_0008_0011__an_r_0008_0013__implementation,arg1).
arc(r_0008_0011__an_r_0008_0013__implementation,r_0008_0012__inventive,attrib).
arc(r_0008_0020__compiling,r_0008_0017__the_r_0008_0019__fly,r_0008_0015__on).
arc(z_0008_5001,r_0008_0002__not,conj1).
arc(z_0008_5001,r_0008_0010__found,conj2).
arc(z_0008_5012,r_0008_0011__an_r_0008_0013__implementation,arg0).
arc(z_0008_5012,r_0008_0020__compiling,prd).

n8_a_history_of_qed n8_a_history_of_qed__1_1_1_1_1_1 Ken n8_a_history_of_qed__1_1_1_2_1 not n8_a_history_of_qed__1_1_1_3_1_1 only n8_a_history_of_qed__1_1_1_4_1 introduced n8_a_history_of_qed__1_1_1_5_1_1 a n8_a_history_of_qed__1_1_1_5_2_1_1 new n8_a_history_of_qed__1_1_1_5_3_1 idea n8_a_history_of_qed__1_1_2_1 , n8_a_history_of_qed__1_1_3_1_1_1_1 he n8_a_history_of_qed__1_1_3_1_2_1 found n8_a_history_of_qed__1_1_3_1_3_1_1 an n8_a_history_of_qed__1_1_3_1_3_2_1_1 inventive n8_a_history_of_qed__1_1_3_1_3_3_1 implementation n8_a_history_of_qed__1_1_3_1_3_4_1 : n8_a_history_of_qed__1_1_3_1_3_5_1_1_1_1 on n8_a_history_of_qed__1_1_3_1_3_5_1_1_2_1 - n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_1_1 the n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_2_1 - n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_3_1 fly n8_a_history_of_qed__1_1_3_1_3_5_1_2_1 compiling n8_a_history_of_qed__1_2_1 . n8_a_history_of_qed__1 IP-MAT n8_a_history_of_qed__1_1 ILYR n8_a_history_of_qed__1->n8_a_history_of_qed__1_1 n8_a_history_of_qed__1_2 PUNC n8_a_history_of_qed__1->n8_a_history_of_qed__1_2 n8_a_history_of_qed__1_1_1 ILYR n8_a_history_of_qed__1_1->n8_a_history_of_qed__1_1_1 n8_a_history_of_qed__1_1_2 PUNC n8_a_history_of_qed__1_1->n8_a_history_of_qed__1_1_2 n8_a_history_of_qed__1_1_3 CONJP n8_a_history_of_qed__1_1->n8_a_history_of_qed__1_1_3 n8_a_history_of_qed__1_1_1_1 NP-SBJ n8_a_history_of_qed__1_1_1->n8_a_history_of_qed__1_1_1_1 n8_a_history_of_qed__1_1_1_2 NEG n8_a_history_of_qed__1_1_1->n8_a_history_of_qed__1_1_1_2 n8_a_history_of_qed__1_1_1_3 ADVP-NIM n8_a_history_of_qed__1_1_1->n8_a_history_of_qed__1_1_1_3 n8_a_history_of_qed__1_1_1_4 VBD;~Tn n8_a_history_of_qed__1_1_1->n8_a_history_of_qed__1_1_1_4 n8_a_history_of_qed__1_1_1_5 NP-OB1 n8_a_history_of_qed__1_1_1->n8_a_history_of_qed__1_1_1_5 n8_a_history_of_qed__1_1_1_1_1 NPR n8_a_history_of_qed__1_1_1_1->n8_a_history_of_qed__1_1_1_1_1 n8_a_history_of_qed__1_1_1_1_1->n8_a_history_of_qed__1_1_1_1_1_1 n8_a_history_of_qed__1_1_1_2->n8_a_history_of_qed__1_1_1_2_1 n8_a_history_of_qed__1_1_1_3_1 ADV n8_a_history_of_qed__1_1_1_3->n8_a_history_of_qed__1_1_1_3_1 n8_a_history_of_qed__1_1_1_3_1->n8_a_history_of_qed__1_1_1_3_1_1 n8_a_history_of_qed__1_1_1_4->n8_a_history_of_qed__1_1_1_4_1 n8_a_history_of_qed__1_1_1_5_1 D n8_a_history_of_qed__1_1_1_5->n8_a_history_of_qed__1_1_1_5_1 n8_a_history_of_qed__1_1_1_5_2 ADJP n8_a_history_of_qed__1_1_1_5->n8_a_history_of_qed__1_1_1_5_2 n8_a_history_of_qed__1_1_1_5_3 N n8_a_history_of_qed__1_1_1_5->n8_a_history_of_qed__1_1_1_5_3 n8_a_history_of_qed__1_1_1_5_1->n8_a_history_of_qed__1_1_1_5_1_1 n8_a_history_of_qed__1_1_1_5_2_1 ADJ n8_a_history_of_qed__1_1_1_5_2->n8_a_history_of_qed__1_1_1_5_2_1 n8_a_history_of_qed__1_1_1_5_2_1->n8_a_history_of_qed__1_1_1_5_2_1_1 n8_a_history_of_qed__1_1_1_5_3->n8_a_history_of_qed__1_1_1_5_3_1 n8_a_history_of_qed__1_1_2->n8_a_history_of_qed__1_1_2_1 n8_a_history_of_qed__1_1_3_1 ILYR n8_a_history_of_qed__1_1_3->n8_a_history_of_qed__1_1_3_1 n8_a_history_of_qed__1_1_3_1_1 NP-SBJ n8_a_history_of_qed__1_1_3_1->n8_a_history_of_qed__1_1_3_1_1 n8_a_history_of_qed__1_1_3_1_2 VBD;~Tn n8_a_history_of_qed__1_1_3_1->n8_a_history_of_qed__1_1_3_1_2 n8_a_history_of_qed__1_1_3_1_3 NP-OB1 n8_a_history_of_qed__1_1_3_1->n8_a_history_of_qed__1_1_3_1_3 n8_a_history_of_qed__1_1_3_1_1_1 PRO n8_a_history_of_qed__1_1_3_1_1->n8_a_history_of_qed__1_1_3_1_1_1 n8_a_history_of_qed__1_1_3_1_1_1->n8_a_history_of_qed__1_1_3_1_1_1_1 n8_a_history_of_qed__1_1_3_1_2->n8_a_history_of_qed__1_1_3_1_2_1 n8_a_history_of_qed__1_1_3_1_3_1 D n8_a_history_of_qed__1_1_3_1_3->n8_a_history_of_qed__1_1_3_1_3_1 n8_a_history_of_qed__1_1_3_1_3_2 ADJP n8_a_history_of_qed__1_1_3_1_3->n8_a_history_of_qed__1_1_3_1_3_2 n8_a_history_of_qed__1_1_3_1_3_3 N n8_a_history_of_qed__1_1_3_1_3->n8_a_history_of_qed__1_1_3_1_3_3 n8_a_history_of_qed__1_1_3_1_3_4 PUNC n8_a_history_of_qed__1_1_3_1_3->n8_a_history_of_qed__1_1_3_1_3_4 n8_a_history_of_qed__1_1_3_1_3_5 PRN n8_a_history_of_qed__1_1_3_1_3->n8_a_history_of_qed__1_1_3_1_3_5 n8_a_history_of_qed__1_1_3_1_3_1->n8_a_history_of_qed__1_1_3_1_3_1_1 n8_a_history_of_qed__1_1_3_1_3_2_1 ADJ n8_a_history_of_qed__1_1_3_1_3_2->n8_a_history_of_qed__1_1_3_1_3_2_1 n8_a_history_of_qed__1_1_3_1_3_2_1->n8_a_history_of_qed__1_1_3_1_3_2_1_1 n8_a_history_of_qed__1_1_3_1_3_3->n8_a_history_of_qed__1_1_3_1_3_3_1 n8_a_history_of_qed__1_1_3_1_3_4->n8_a_history_of_qed__1_1_3_1_3_4_1 n8_a_history_of_qed__1_1_3_1_3_5_1 NP n8_a_history_of_qed__1_1_3_1_3_5->n8_a_history_of_qed__1_1_3_1_3_5_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1 PP n8_a_history_of_qed__1_1_3_1_3_5_1->n8_a_history_of_qed__1_1_3_1_3_5_1_1 n8_a_history_of_qed__1_1_3_1_3_5_1_2 N n8_a_history_of_qed__1_1_3_1_3_5_1->n8_a_history_of_qed__1_1_3_1_3_5_1_2 n8_a_history_of_qed__1_1_3_1_3_5_1_1_1 P-ROLE n8_a_history_of_qed__1_1_3_1_3_5_1_1->n8_a_history_of_qed__1_1_3_1_3_5_1_1_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1_2 PUNC n8_a_history_of_qed__1_1_3_1_3_5_1_1->n8_a_history_of_qed__1_1_3_1_3_5_1_1_2 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3 NP n8_a_history_of_qed__1_1_3_1_3_5_1_1->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3 n8_a_history_of_qed__1_1_3_1_3_5_1_1_1->n8_a_history_of_qed__1_1_3_1_3_5_1_1_1_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1_2->n8_a_history_of_qed__1_1_3_1_3_5_1_1_2_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_1 D n8_a_history_of_qed__1_1_3_1_3_5_1_1_3->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_2 PUNC n8_a_history_of_qed__1_1_3_1_3_5_1_1_3->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_2 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_3 N n8_a_history_of_qed__1_1_3_1_3_5_1_1_3->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_3 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_1->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_1_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_2->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_2_1 n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_3->n8_a_history_of_qed__1_1_3_1_3_5_1_1_3_3_1 n8_a_history_of_qed__1_1_3_1_3_5_1_2->n8_a_history_of_qed__1_1_3_1_3_5_1_2_1 n8_a_history_of_qed__1_2->n8_a_history_of_qed__1_2_1
( (IP-MAT (ILYR (ILYR (NP-SBJ;{KEN} (NPR Ken;{Ken}))
                      (NEG not;{not})
                      (ADVP-NIM (ADV only;{only}))
                      (VBD;~Tn introduced;{introduce})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ new;{new}))
                              (N idea;{idea})))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{KEN} (PRO he;{he}))
                             (VBD;~Tn found;{find})
                             (NP-OB1 (D an;{an})
                                     (ADJP (ADJ inventive;{inventive}))
                                     (N implementation;{implementation})
                                     (PUNC :)
                                     (PRN (NP (PP (P-ROLE on;{on})
                                                  (PUNC <hyphen>)
                                                  (NP (D the;{the})
                                                      (PUNC <hyphen>)
                                                      (N fly;{fly})))
                                              (N compiling;{compiling})))))))
          (PUNC .))
  (ID 8_a_history_of_qed))