TSPC 60_a_history_of

60_a_history_of_qed
An offspring of qedx, ted, was later done by Jim Falksen of Honeywell and became a Multics product.

( (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_VePASS_ was;{be})
                      (IP-PPL-CAT (ADVP-NIM (ADV later;{later}))
                                  (DON;_Tn_ done;{do})
                                  (PP-LGS (P-ROLE;_lgs_ 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 60_a_history_of_qed))

arc(r_0060_0001__An_r_0060_0002__offspring,r_0060_0004__qedx,r_0060_0003__of).
arc(r_0060_0008__was,r_0060_0010__done,scope).
arc(r_0060_0010__done,r_0060_0001__An_r_0060_0002__offspring,arg1).
arc(r_0060_0010__done,r_0060_0009__later,nim).
arc(r_0060_0010__done,r_0060_0012__Jim_r_0060_0013__Falksen,r_0060_0011__by_arg0).
arc(r_0060_0012__Jim_r_0060_0013__Falksen,r_0060_0015__Honeywell,r_0060_0014__of).
arc(r_0060_0016__and,r_0060_0008__was,conj1).
arc(r_0060_0016__and,r_0060_0017__became,conj2).
arc(r_0060_0017__became,r_0060_0001__An_r_0060_0002__offspring,arg0).
arc(r_0060_0017__became,r_0060_0018__a_r_0060_0019__Multics_r_0060_0020__product,arg1).
arc(z_0060_5002,r_0060_0001__An_r_0060_0002__offspring,arg0).
arc(z_0060_5002,r_0060_0006__ted,prd).

fof(formula,axiom,
    ? [R_0060_0004__QEDX,R_0060_0001__AN_R_0060_0002__OFFSPRING,R_0060_0009__LATER,R_0060_0015__HONEYWELL,R_0060_0012__JIM_R_0060_0013__FALKSEN,R_0060_0008__WAS_R_0060_0010__DONE,R_0060_0018__A_R_0060_0019__MULTICS_R_0060_0020__PRODUCT,R_0060_0017__BECAME,R_0060_0016__AND,R_0060_0006__TED,Z_0060_5002] :
      ( r_0060_0004__qedx(R_0060_0004__QEDX)
      & r_0060_0006__ted(R_0060_0006__TED)
      & r_0060_0009__later(R_0060_0009__LATER)
      & r_0060_0015__Honeywell(R_0060_0015__HONEYWELL)
      & r_0060_0018__a_r_0060_0019__Multics_r_0060_0020__product(R_0060_0018__A_R_0060_0019__MULTICS_R_0060_0020__PRODUCT)
      & z_0060_5002(Z_0060_5002)
      & has_prd(Z_0060_5002,R_0060_0006__TED)
      & has_arg0(Z_0060_5002,R_0060_0001__AN_R_0060_0002__OFFSPRING)
      & r_0060_0001__An_r_0060_0002__offspring(R_0060_0001__AN_R_0060_0002__OFFSPRING)
      & has_r_0060_0003__of(R_0060_0001__AN_R_0060_0002__OFFSPRING,R_0060_0004__QEDX)
      & r_0060_0016__and(R_0060_0016__AND)
      & has_conj2(R_0060_0016__AND,R_0060_0017__BECAME)
      & r_0060_0017__became(R_0060_0017__BECAME)
      & has_arg1(R_0060_0017__BECAME,R_0060_0018__A_R_0060_0019__MULTICS_R_0060_0020__PRODUCT)
      & has_arg0(R_0060_0017__BECAME,R_0060_0001__AN_R_0060_0002__OFFSPRING)
      & has_conj1(R_0060_0016__AND,R_0060_0008__WAS_R_0060_0010__DONE)
      & r_0060_0008__was_r_0060_0010__done(R_0060_0008__WAS_R_0060_0010__DONE)
      & has_r_0060_0011__by_arg0(R_0060_0008__WAS_R_0060_0010__DONE,R_0060_0012__JIM_R_0060_0013__FALKSEN)
      & r_0060_0012__Jim_r_0060_0013__Falksen(R_0060_0012__JIM_R_0060_0013__FALKSEN)
      & has_r_0060_0014__of(R_0060_0012__JIM_R_0060_0013__FALKSEN,R_0060_0015__HONEYWELL)
      & has_nim(R_0060_0008__WAS_R_0060_0010__DONE,R_0060_0009__LATER)
      & has_arg1(R_0060_0008__WAS_R_0060_0010__DONE,R_0060_0001__AN_R_0060_0002__OFFSPRING) ) ).