Context                Previous, Next                Top


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

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


%3 z_0008_5012 r_0008_0020__compiling compiling z_0008_5012->r_0008_0020__compiling [prd] r_0008_0011__an_r_0008_0013__implementation an implementation z_0008_5012->r_0008_0011__an_r_0008_0013__implementation [arg0] r_0008_0017__the_r_0008_0019__fly the fly r_0008_0020__compiling->r_0008_0017__the_r_0008_0019__fly on r_0008_0012__inventive inventive r_0008_0011__an_r_0008_0013__implementation->r_0008_0012__inventive [attrib] z_0008_5001 r_0008_0010__found found z_0008_5001->r_0008_0010__found [conj2] r_0008_0002__not not z_0008_5001->r_0008_0002__not [conj1] r_0008_0010__found->r_0008_0011__an_r_0008_0013__implementation [arg1] r_0008_0001__Ken Ken r_0008_0010__found->r_0008_0001__Ken [arg0] r_0008_0004__introduced introduced r_0008_0002__not->r_0008_0004__introduced [keep_scope] r_0008_0005__a_r_0008_0007__idea a idea r_0008_0006__new new r_0008_0005__a_r_0008_0007__idea->r_0008_0006__new [attrib] r_0008_0004__introduced->r_0008_0001__Ken [arg0] r_0008_0004__introduced->r_0008_0005__a_r_0008_0007__idea [arg1] r_0008_0003__only only r_0008_0004__introduced->r_0008_0003__only [nim] 
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).


%3 r_0008_0002__not not r_0008_0004__introduced introduced r_0008_0002__not->r_0008_0004__introduced [keep_scope] r_0008_0001__Ken Ken r_0008_0004__introduced->r_0008_0001__Ken [arg0] r_0008_0003__only only r_0008_0004__introduced->r_0008_0003__only [nim] r_0008_0005__a_r_0008_0007__idea a idea r_0008_0004__introduced->r_0008_0005__a_r_0008_0007__idea [arg1] r_0008_0006__new new r_0008_0005__a_r_0008_0007__idea->r_0008_0006__new [attrib] r_0008_0010__found found r_0008_0010__found->r_0008_0001__Ken [arg0] r_0008_0011__an_r_0008_0013__implementation an implementation r_0008_0010__found->r_0008_0011__an_r_0008_0013__implementation [arg1] r_0008_0012__inventive inventive r_0008_0011__an_r_0008_0013__implementation->r_0008_0012__inventive [attrib] r_0008_0020__compiling compiling r_0008_0017__the_r_0008_0019__fly the fly r_0008_0020__compiling->r_0008_0017__the_r_0008_0019__fly on z_0008_5001 z_0008_5001->r_0008_0002__not [conj1] z_0008_5001->r_0008_0010__found [conj2] z_0008_5012 z_0008_5012->r_0008_0011__an_r_0008_0013__implementation [arg0] z_0008_5012->r_0008_0020__compiling [prd] 
fof(formula,axiom,
    ? [R_0008_0001__KEN,R_0008_0012__INVENTIVE,R_0008_0011__AN_R_0008_0013__IMPLEMENTATION,R_0008_0010__FOUND,Z_0008_5001,R_0008_0017__THE_R_0008_0019__FLY,R_0008_0020__COMPILING,Z_0008_5012] :
      ( r_0008_0001__Ken(R_0008_0001__KEN)
      & r_0008_0012__inventive(R_0008_0012__INVENTIVE)
      & r_0008_0017__the_r_0008_0019__fly(R_0008_0017__THE_R_0008_0019__FLY)
      & z_0008_5012(Z_0008_5012)
      & has_prd(Z_0008_5012,R_0008_0020__COMPILING)
      & r_0008_0020__compiling(R_0008_0020__COMPILING)
      & has_r_0008_0015__on(R_0008_0020__COMPILING,R_0008_0017__THE_R_0008_0019__FLY)
      & has_arg0(Z_0008_5012,R_0008_0011__AN_R_0008_0013__IMPLEMENTATION)
      & r_0008_0011__an_r_0008_0013__implementation(R_0008_0011__AN_R_0008_0013__IMPLEMENTATION)
      & has_attrib(R_0008_0011__AN_R_0008_0013__IMPLEMENTATION,R_0008_0012__INVENTIVE)
      & z_0008_5001(Z_0008_5001)
      & has_conj2(Z_0008_5001,R_0008_0010__FOUND)
      & r_0008_0010__found(R_0008_0010__FOUND)
      & has_arg1(R_0008_0010__FOUND,R_0008_0011__AN_R_0008_0013__IMPLEMENTATION)
      & has_arg0(R_0008_0010__FOUND,R_0008_0001__KEN)
      & has_conj1(Z_0008_5001,R_0008_0002__NOT)
      & ~ ? [R_0008_0003__ONLY,R_0008_0006__NEW,R_0008_0005__A_R_0008_0007__IDEA,R_0008_0004__INTRODUCED] :
            ( r_0008_0003__only(R_0008_0003__ONLY)
            & r_0008_0006__new(R_0008_0006__NEW)
            & r_0008_0004__introduced(R_0008_0004__INTRODUCED)
            & has_arg1(R_0008_0004__INTRODUCED,R_0008_0005__A_R_0008_0007__IDEA)
            & r_0008_0005__a_r_0008_0007__idea(R_0008_0005__A_R_0008_0007__IDEA)
            & has_attrib(R_0008_0005__A_R_0008_0007__IDEA,R_0008_0006__NEW)
            & has_nim(R_0008_0004__INTRODUCED,R_0008_0003__ONLY)
            & has_arg0(R_0008_0004__INTRODUCED,R_0008_0001__KEN) ) ) ).