59_a_history_of_qed
An offspring of qedx , ted , was later done by Jim Falksen of Honeywell and became a Multics product .
arc(r_0059_0001__An_r_0059_0002__offspring,r_0059_0004__qedx,r_0059_0003__of).
arc(r_0059_0006__ted,r_0059_0001__An_r_0059_0002__offspring,prn).
arc(r_0059_0008__was_r_0059_0010__done,r_0059_0001__An_r_0059_0002__offspring,arg1).
arc(r_0059_0008__was_r_0059_0010__done,r_0059_0009__later,tmp).
arc(r_0059_0008__was_r_0059_0010__done,r_0059_0012__Jim_r_0059_0013__Falksen,arg0_r_0059_0011__by__lgs).
arc(r_0059_0012__Jim_r_0059_0013__Falksen,r_0059_0015__Honeywell,r_0059_0014__of).
arc(r_0059_0016__and,r_0059_0008__was_r_0059_0010__done,coord_conj1).
arc(r_0059_0016__and,r_0059_0017__became,coord_conj2).
arc(r_0059_0017__became,r_0059_0001__An_r_0059_0002__offspring,arg0).
arc(r_0059_0017__became,r_0059_0018__a_r_0059_0019__Multics_r_0059_0020__product,arg1).
( (IP-MAT (NP-SBJ (D An;{an})
(N offspring;{offspring})
(PP (P-ROLE of;{of})
(NP (NPR qedx;{qedx})))
(PUNC ,)
(PRN (NP (NPR ted;{ted}))))
(PUNC ,)
(ILYR (ILYR (BED;~cat_Ve_passive_ was;{be})
(IP-PPL-CAT (ADVP-TMP (ADV later;{later}))
(DON done;{do})
(PP-LGS (P-ROLE by;{by})
(NP (NPR Jim;{Jim})
(NPR Falksen;{Falksen})
(PP (P-ROLE of;{of})
(NP (NPR Honeywell;{Honeywell})))))))
(CONJP (CONJ and;{and})
(ILYR (VBD became;{become})
(NP-OB1 (D a;{a})
(NPR Multics;{Multics})
(N product;{product})))))
(PUNC .))
(ID 59_a_history_of_qed))