Context                Previous, Next                Top


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

%3 r_0060_0001__An_r_0060_0002__offspring An offspring r_0060_0004__qedx qedx r_0060_0001__An_r_0060_0002__offspring->r_0060_0004__qedx of r_0060_0008__was was r_0060_0010__done done r_0060_0008__was->r_0060_0010__done [scope] r_0060_0010__done->r_0060_0001__An_r_0060_0002__offspring [arg1] r_0060_0009__later later r_0060_0010__done->r_0060_0009__later [nim] r_0060_0012__Jim_r_0060_0013__Falksen Jim Falksen r_0060_0010__done->r_0060_0012__Jim_r_0060_0013__Falksen [arg0] r_0060_0015__Honeywell Honeywell r_0060_0012__Jim_r_0060_0013__Falksen->r_0060_0015__Honeywell of r_0060_0016__and and r_0060_0016__and->r_0060_0008__was [conj1] r_0060_0017__became became r_0060_0016__and->r_0060_0017__became [conj2] r_0060_0017__became->r_0060_0001__An_r_0060_0002__offspring [arg0] r_0060_0018__a_r_0060_0019__Multics_r_0060_0020__product a Multics product r_0060_0017__became->r_0060_0018__a_r_0060_0019__Multics_r_0060_0020__product [arg1] z_000_60_a_history_of_qed_15 z_000_60_a_history_of_qed_15->r_0060_0001__An_r_0060_0002__offspring [arg0] r_0060_0006__ted ted z_000_60_a_history_of_qed_15->r_0060_0006__ted [prd] 
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, nim26).
arc(r_0060_0010__done, r_0060_0012__Jim_r_0060_0013__Falksen, 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_000_60_a_history_of_qed_15, r_0060_0001__An_r_0060_0002__offspring, arg0).
arc(z_000_60_a_history_of_qed_15, r_0060_0006__ted, prd).


%3 r_0060_0001__An_r_0060_0002__offspring An offspring r_0060_0004__qedx qedx r_0060_0001__An_r_0060_0002__offspring->r_0060_0004__qedx of r_0060_0008__was_r_0060_0010__done was done r_0060_0008__was_r_0060_0010__done->r_0060_0001__An_r_0060_0002__offspring [arg1] r_0060_0009__later later r_0060_0008__was_r_0060_0010__done->r_0060_0009__later [nim] r_0060_0012__Jim_r_0060_0013__Falksen Jim Falksen r_0060_0008__was_r_0060_0010__done->r_0060_0012__Jim_r_0060_0013__Falksen [arg0] r_0060_0015__Honeywell Honeywell r_0060_0012__Jim_r_0060_0013__Falksen->r_0060_0015__Honeywell of r_0060_0016__and and r_0060_0016__and->r_0060_0008__was_r_0060_0010__done [conj1] r_0060_0017__became became r_0060_0016__and->r_0060_0017__became [conj2] r_0060_0017__became->r_0060_0001__An_r_0060_0002__offspring [arg0] r_0060_0018__a_r_0060_0019__Multics_r_0060_0020__product a Multics product r_0060_0017__became->r_0060_0018__a_r_0060_0019__Multics_r_0060_0020__product [arg1] z_000_60_a_history_of_qed_15 z_000_60_a_history_of_qed_15->r_0060_0001__An_r_0060_0002__offspring [arg0] r_0060_0006__ted ted z_000_60_a_history_of_qed_15->r_0060_0006__ted [prd] 
fof(formula,axiom,
    ? [R_60_16_AND,R_60_8_WAS_DONE,R_60_12_JIM_FALKSEN,R_60_15_HONEYWELL,R_60_9_LATER,R_60_17_BECAME,R_60_18_A_MULTICS_PRODUCT,Z_60_A_HISTORY_OF_QED_15,R_60_1_AN_OFFSPRING,R_60_4_QEDX,R_60_6_TED] :
      ( honeywell(R_60_15_HONEYWELL)
      & later(R_60_9_LATER)
      & a_Multics_product(R_60_18_A_MULTICS_PRODUCT)
      & qedx(R_60_4_QEDX)
      & ted(R_60_6_TED)
      & and(R_60_16_AND)
      & conj1(R_60_16_AND,R_60_8_WAS_DONE)
      & was_done(R_60_8_WAS_DONE,R_60_12_JIM_FALKSEN,R_60_1_AN_OFFSPRING)
      & jim_Falksen(R_60_12_JIM_FALKSEN)
      & of(R_60_12_JIM_FALKSEN,R_60_15_HONEYWELL)
      & an_offspring(R_60_1_AN_OFFSPRING)
      & of(R_60_1_AN_OFFSPRING,R_60_4_QEDX)
      & nim26(R_60_8_WAS_DONE,R_60_9_LATER)
      & conj2(R_60_16_AND,R_60_17_BECAME)
      & became(R_60_17_BECAME,R_60_1_AN_OFFSPRING,R_60_18_A_MULTICS_PRODUCT)
      & z_60_a_history_of_qed_15(Z_60_A_HISTORY_OF_QED_15,R_60_1_AN_OFFSPRING,R_60_6_TED) ) ).


n60_a_history_of_qed n60_a_history_of_qed_4 An n60_a_history_of_qed_6 offspring n60_a_history_of_qed_9 of n60_a_history_of_qed_12 qedx n60_a_history_of_qed_14 , n60_a_history_of_qed_18 ted n60_a_history_of_qed_20 , n60_a_history_of_qed_24 was n60_a_history_of_qed_28 later n60_a_history_of_qed_30 done n60_a_history_of_qed_33 by n60_a_history_of_qed_36 Jim n60_a_history_of_qed_38 Falksen n60_a_history_of_qed_41 of n60_a_history_of_qed_44 Honeywell n60_a_history_of_qed_47 and n60_a_history_of_qed_50 became n60_a_history_of_qed_53 a n60_a_history_of_qed_55 Multics n60_a_history_of_qed_57 product n60_a_history_of_qed_59 . n60_a_history_of_qed_1 IP-MAT n60_a_history_of_qed_2 NP-SBJ n60_a_history_of_qed_1->n60_a_history_of_qed_2 n60_a_history_of_qed_19 PUNC n60_a_history_of_qed_1->n60_a_history_of_qed_19 n60_a_history_of_qed_21 ILYR n60_a_history_of_qed_1->n60_a_history_of_qed_21 n60_a_history_of_qed_58 PUNC n60_a_history_of_qed_1->n60_a_history_of_qed_58 n60_a_history_of_qed_3 D n60_a_history_of_qed_2->n60_a_history_of_qed_3 n60_a_history_of_qed_5 N n60_a_history_of_qed_2->n60_a_history_of_qed_5 n60_a_history_of_qed_7 PP n60_a_history_of_qed_2->n60_a_history_of_qed_7 n60_a_history_of_qed_13 PUNC n60_a_history_of_qed_2->n60_a_history_of_qed_13 n60_a_history_of_qed_15 IP-PPL n60_a_history_of_qed_2->n60_a_history_of_qed_15 n60_a_history_of_qed_3->n60_a_history_of_qed_4 n60_a_history_of_qed_5->n60_a_history_of_qed_6 n60_a_history_of_qed_8 P-ROLE n60_a_history_of_qed_7->n60_a_history_of_qed_8 n60_a_history_of_qed_10 NP n60_a_history_of_qed_7->n60_a_history_of_qed_10 n60_a_history_of_qed_8->n60_a_history_of_qed_9 n60_a_history_of_qed_11 NPR n60_a_history_of_qed_10->n60_a_history_of_qed_11 n60_a_history_of_qed_11->n60_a_history_of_qed_12 n60_a_history_of_qed_13->n60_a_history_of_qed_14 n60_a_history_of_qed_16 NP-PRD n60_a_history_of_qed_15->n60_a_history_of_qed_16 n60_a_history_of_qed_17 NPR n60_a_history_of_qed_16->n60_a_history_of_qed_17 n60_a_history_of_qed_17->n60_a_history_of_qed_18 n60_a_history_of_qed_19->n60_a_history_of_qed_20 n60_a_history_of_qed_22 ILYR n60_a_history_of_qed_21->n60_a_history_of_qed_22 n60_a_history_of_qed_45 CONJP n60_a_history_of_qed_21->n60_a_history_of_qed_45 n60_a_history_of_qed_23 BED;_cat_VePASS_ n60_a_history_of_qed_22->n60_a_history_of_qed_23 n60_a_history_of_qed_25 IP-PPL-CAT n60_a_history_of_qed_22->n60_a_history_of_qed_25 n60_a_history_of_qed_23->n60_a_history_of_qed_24 n60_a_history_of_qed_26 ADVP-NIM n60_a_history_of_qed_25->n60_a_history_of_qed_26 n60_a_history_of_qed_29 DON;_Tn_ n60_a_history_of_qed_25->n60_a_history_of_qed_29 n60_a_history_of_qed_31 PP-LGS n60_a_history_of_qed_25->n60_a_history_of_qed_31 n60_a_history_of_qed_27 ADV n60_a_history_of_qed_26->n60_a_history_of_qed_27 n60_a_history_of_qed_27->n60_a_history_of_qed_28 n60_a_history_of_qed_29->n60_a_history_of_qed_30 n60_a_history_of_qed_32 P-ROLE;_lgs_ n60_a_history_of_qed_31->n60_a_history_of_qed_32 n60_a_history_of_qed_34 NP n60_a_history_of_qed_31->n60_a_history_of_qed_34 n60_a_history_of_qed_32->n60_a_history_of_qed_33 n60_a_history_of_qed_35 NPR n60_a_history_of_qed_34->n60_a_history_of_qed_35 n60_a_history_of_qed_37 NPR n60_a_history_of_qed_34->n60_a_history_of_qed_37 n60_a_history_of_qed_39 PP n60_a_history_of_qed_34->n60_a_history_of_qed_39 n60_a_history_of_qed_35->n60_a_history_of_qed_36 n60_a_history_of_qed_37->n60_a_history_of_qed_38 n60_a_history_of_qed_40 P-ROLE n60_a_history_of_qed_39->n60_a_history_of_qed_40 n60_a_history_of_qed_42 NP n60_a_history_of_qed_39->n60_a_history_of_qed_42 n60_a_history_of_qed_40->n60_a_history_of_qed_41 n60_a_history_of_qed_43 NPR n60_a_history_of_qed_42->n60_a_history_of_qed_43 n60_a_history_of_qed_43->n60_a_history_of_qed_44 n60_a_history_of_qed_46 CONJ n60_a_history_of_qed_45->n60_a_history_of_qed_46 n60_a_history_of_qed_48 ILYR n60_a_history_of_qed_45->n60_a_history_of_qed_48 n60_a_history_of_qed_46->n60_a_history_of_qed_47 n60_a_history_of_qed_49 VBD;__ n60_a_history_of_qed_48->n60_a_history_of_qed_49 n60_a_history_of_qed_51 NP-OB1 n60_a_history_of_qed_48->n60_a_history_of_qed_51 n60_a_history_of_qed_49->n60_a_history_of_qed_50 n60_a_history_of_qed_52 D n60_a_history_of_qed_51->n60_a_history_of_qed_52 n60_a_history_of_qed_54 NPR n60_a_history_of_qed_51->n60_a_history_of_qed_54 n60_a_history_of_qed_56 N n60_a_history_of_qed_51->n60_a_history_of_qed_56 n60_a_history_of_qed_52->n60_a_history_of_qed_53 n60_a_history_of_qed_54->n60_a_history_of_qed_55 n60_a_history_of_qed_56->n60_a_history_of_qed_57 n60_a_history_of_qed_58->n60_a_history_of_qed_59 
( (IP-MAT (NP-SBJ (D An;{an})
                  (N offspring;{offspring})
                  (PP (P-ROLE of;{of})
                      (NP (NPR qedx;{qedx})))
                  (PUNC ,)
                  (IP-PPL (NP-PRD (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))