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.

%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_000_8_a_history_of_qed_2 z_000_8_a_history_of_qed_2->r_0008_0002__not [conj1] z_000_8_a_history_of_qed_2->r_0008_0010__found [conj2] z_000_8_a_history_of_qed_41 z_000_8_a_history_of_qed_41->r_0008_0011__an_r_0008_0013__implementation [arg0] z_000_8_a_history_of_qed_41->r_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, nim9).
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, attrib17).
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, attrib34).
arc(r_0008_0020__compiling, r_0008_0017__the_r_0008_0019__fly, r_0008_0015__on).
arc(z_000_8_a_history_of_qed_2, r_0008_0002__not, conj1).
arc(z_000_8_a_history_of_qed_2, r_0008_0010__found, conj2).
arc(z_000_8_a_history_of_qed_41, r_0008_0011__an_r_0008_0013__implementation, arg0).
arc(z_000_8_a_history_of_qed_41, r_0008_0020__compiling, prd).


%3 z_000_8_a_history_of_qed_41 r_0008_0020__compiling compiling z_000_8_a_history_of_qed_41->r_0008_0020__compiling [prd] r_0008_0011__an_r_0008_0013__implementation an implementation z_000_8_a_history_of_qed_41->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_000_8_a_history_of_qed_2 r_0008_0010__found found z_000_8_a_history_of_qed_2->r_0008_0010__found [conj2] r_0008_0002__not not z_000_8_a_history_of_qed_2->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] 
fof(formula,axiom,
    ? [Z_8_A_HISTORY_OF_QED_2,R_8_10_FOUND,R_8_1_KEN,Z_8_A_HISTORY_OF_QED_41,R_8_11_AN_IMPLEMENTATION,R_8_12_INVENTIVE,R_8_20_COMPILING,R_8_17_THE_FLY] :
      ( ken(R_8_1_KEN)
      & inventive(R_8_12_INVENTIVE)
      & the_fly(R_8_17_THE_FLY)
      & z_8_a_history_of_qed_2(Z_8_A_HISTORY_OF_QED_2)
      & conj1(Z_8_A_HISTORY_OF_QED_2,R_8_2_NOT)
      & ~ ? [R_8_4_INTRODUCED,R_8_5_A_IDEA,R_8_6_NEW,R_8_3_ONLY] :
            ( new(R_8_6_NEW)
            & only(R_8_3_ONLY)
            & introduced(R_8_4_INTRODUCED,R_8_1_KEN,R_8_5_A_IDEA)
            & a_idea(R_8_5_A_IDEA)
            & attrib17(R_8_5_A_IDEA,R_8_6_NEW)
            & nim9(R_8_4_INTRODUCED,R_8_3_ONLY) )
      & conj2(Z_8_A_HISTORY_OF_QED_2,R_8_10_FOUND)
      & found(R_8_10_FOUND,R_8_1_KEN,R_8_11_AN_IMPLEMENTATION)
      & an_implementation(R_8_11_AN_IMPLEMENTATION)
      & attrib34(R_8_11_AN_IMPLEMENTATION,R_8_12_INVENTIVE)
      & z_8_a_history_of_qed_41(Z_8_A_HISTORY_OF_QED_41,R_8_11_AN_IMPLEMENTATION,R_8_20_COMPILING)
      & compiling(R_8_20_COMPILING)
      & on(R_8_20_COMPILING,R_8_17_THE_FLY) ) ).


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 IP-PPL 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-PRD 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 :)
                                     (IP-PPL (NP-PRD (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))