8_a_history_of_qed
Ken not only introduced a new idea , he found an inventive implementation : on - the - fly compiling .
arc(r_0008_0003__only_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_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_0011__an_r_0008_0013__implementation,prn).
arc(r_0008_0020__compiling,r_0008_0017__the_r_0008_0019__fly,r_0008_0015__on).
arc(z_0008_1001,r_0008_0003__only_r_0008_0002__not,coord_conj1).
arc(z_0008_1001,r_0008_0010__found,coord_conj2).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{KEN} (NPR Ken;{Ken}))
(NEG not;{not})
(ADVP-MOD (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 -)
(NP (D the;{the})
(PUNC -)
(N fly;{fly})))
(N compiling;{compiling})))))))
(PUNC .))
(ID 8_a_history_of_qed))