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 z_000_60_a_history_of_qed_15 r_0060_0006__ted ted z_000_60_a_history_of_qed_15->r_0060_0006__ted [prd] r_0060_0001__An_r_0060_0002__offspring An offspring z_000_60_a_history_of_qed_15->r_0060_0001__An_r_0060_0002__offspring [arg0] r_0060_0004__qedx qedx r_0060_0001__An_r_0060_0002__offspring->r_0060_0004__qedx of r_0060_0017__became became 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] r_0060_0016__and and r_0060_0016__and->r_0060_0017__became [conj2] r_0060_0008__was_r_0060_0010__done was done r_0060_0016__and->r_0060_0008__was_r_0060_0010__done [conj1] r_0060_0008__was_r_0060_0010__done->r_0060_0001__An_r_0060_0002__offspring [arg1] 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_0009__later later r_0060_0008__was_r_0060_0010__done->r_0060_0009__later [nim] r_0060_0015__Honeywell Honeywell r_0060_0012__Jim_r_0060_0013__Falksen->r_0060_0015__Honeywell of 
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__1_1_1_1 An n60_a_history_of_qed__1_1_2_1 offspring n60_a_history_of_qed__1_1_3_1_1 of n60_a_history_of_qed__1_1_3_2_1_1 qedx n60_a_history_of_qed__1_1_4_1 , n60_a_history_of_qed__1_1_5_1_1_1 ted n60_a_history_of_qed__1_2_1 , n60_a_history_of_qed__1_3_1_1_1 was n60_a_history_of_qed__1_3_1_2_1_1_1 later n60_a_history_of_qed__1_3_1_2_2_1 done n60_a_history_of_qed__1_3_1_2_3_1_1 by n60_a_history_of_qed__1_3_1_2_3_2_1_1 Jim n60_a_history_of_qed__1_3_1_2_3_2_2_1 Falksen n60_a_history_of_qed__1_3_1_2_3_2_3_1_1 of n60_a_history_of_qed__1_3_1_2_3_2_3_2_1_1 Honeywell n60_a_history_of_qed__1_3_2_1_1 and n60_a_history_of_qed__1_3_2_2_1_1 became n60_a_history_of_qed__1_3_2_2_2_1_1 a n60_a_history_of_qed__1_3_2_2_2_2_1 Multics n60_a_history_of_qed__1_3_2_2_2_3_1 product n60_a_history_of_qed__1_4_1 . n60_a_history_of_qed__1 IP-MAT n60_a_history_of_qed__1_1 NP-SBJ n60_a_history_of_qed__1->n60_a_history_of_qed__1_1 n60_a_history_of_qed__1_2 PUNC n60_a_history_of_qed__1->n60_a_history_of_qed__1_2 n60_a_history_of_qed__1_3 ILYR n60_a_history_of_qed__1->n60_a_history_of_qed__1_3 n60_a_history_of_qed__1_4 PUNC n60_a_history_of_qed__1->n60_a_history_of_qed__1_4 n60_a_history_of_qed__1_1_1 D n60_a_history_of_qed__1_1->n60_a_history_of_qed__1_1_1 n60_a_history_of_qed__1_1_2 N n60_a_history_of_qed__1_1->n60_a_history_of_qed__1_1_2 n60_a_history_of_qed__1_1_3 PP n60_a_history_of_qed__1_1->n60_a_history_of_qed__1_1_3 n60_a_history_of_qed__1_1_4 PUNC n60_a_history_of_qed__1_1->n60_a_history_of_qed__1_1_4 n60_a_history_of_qed__1_1_5 IP-PPL n60_a_history_of_qed__1_1->n60_a_history_of_qed__1_1_5 n60_a_history_of_qed__1_1_1->n60_a_history_of_qed__1_1_1_1 n60_a_history_of_qed__1_1_2->n60_a_history_of_qed__1_1_2_1 n60_a_history_of_qed__1_1_3_1 P-ROLE n60_a_history_of_qed__1_1_3->n60_a_history_of_qed__1_1_3_1 n60_a_history_of_qed__1_1_3_2 NP n60_a_history_of_qed__1_1_3->n60_a_history_of_qed__1_1_3_2 n60_a_history_of_qed__1_1_3_1->n60_a_history_of_qed__1_1_3_1_1 n60_a_history_of_qed__1_1_3_2_1 NPR n60_a_history_of_qed__1_1_3_2->n60_a_history_of_qed__1_1_3_2_1 n60_a_history_of_qed__1_1_3_2_1->n60_a_history_of_qed__1_1_3_2_1_1 n60_a_history_of_qed__1_1_4->n60_a_history_of_qed__1_1_4_1 n60_a_history_of_qed__1_1_5_1 NP-PRD n60_a_history_of_qed__1_1_5->n60_a_history_of_qed__1_1_5_1 n60_a_history_of_qed__1_1_5_1_1 NPR n60_a_history_of_qed__1_1_5_1->n60_a_history_of_qed__1_1_5_1_1 n60_a_history_of_qed__1_1_5_1_1->n60_a_history_of_qed__1_1_5_1_1_1 n60_a_history_of_qed__1_2->n60_a_history_of_qed__1_2_1 n60_a_history_of_qed__1_3_1 ILYR n60_a_history_of_qed__1_3->n60_a_history_of_qed__1_3_1 n60_a_history_of_qed__1_3_2 CONJP n60_a_history_of_qed__1_3->n60_a_history_of_qed__1_3_2 n60_a_history_of_qed__1_3_1_1 BED;_cat_VePASS_ n60_a_history_of_qed__1_3_1->n60_a_history_of_qed__1_3_1_1 n60_a_history_of_qed__1_3_1_2 IP-PPL-CAT n60_a_history_of_qed__1_3_1->n60_a_history_of_qed__1_3_1_2 n60_a_history_of_qed__1_3_1_1->n60_a_history_of_qed__1_3_1_1_1 n60_a_history_of_qed__1_3_1_2_1 ADVP-NIM n60_a_history_of_qed__1_3_1_2->n60_a_history_of_qed__1_3_1_2_1 n60_a_history_of_qed__1_3_1_2_2 DON;_Tn_ n60_a_history_of_qed__1_3_1_2->n60_a_history_of_qed__1_3_1_2_2 n60_a_history_of_qed__1_3_1_2_3 PP-LGS n60_a_history_of_qed__1_3_1_2->n60_a_history_of_qed__1_3_1_2_3 n60_a_history_of_qed__1_3_1_2_1_1 ADV n60_a_history_of_qed__1_3_1_2_1->n60_a_history_of_qed__1_3_1_2_1_1 n60_a_history_of_qed__1_3_1_2_1_1->n60_a_history_of_qed__1_3_1_2_1_1_1 n60_a_history_of_qed__1_3_1_2_2->n60_a_history_of_qed__1_3_1_2_2_1 n60_a_history_of_qed__1_3_1_2_3_1 P-ROLE;_lgs_ n60_a_history_of_qed__1_3_1_2_3->n60_a_history_of_qed__1_3_1_2_3_1 n60_a_history_of_qed__1_3_1_2_3_2 NP n60_a_history_of_qed__1_3_1_2_3->n60_a_history_of_qed__1_3_1_2_3_2 n60_a_history_of_qed__1_3_1_2_3_1->n60_a_history_of_qed__1_3_1_2_3_1_1 n60_a_history_of_qed__1_3_1_2_3_2_1 NPR n60_a_history_of_qed__1_3_1_2_3_2->n60_a_history_of_qed__1_3_1_2_3_2_1 n60_a_history_of_qed__1_3_1_2_3_2_2 NPR n60_a_history_of_qed__1_3_1_2_3_2->n60_a_history_of_qed__1_3_1_2_3_2_2 n60_a_history_of_qed__1_3_1_2_3_2_3 PP n60_a_history_of_qed__1_3_1_2_3_2->n60_a_history_of_qed__1_3_1_2_3_2_3 n60_a_history_of_qed__1_3_1_2_3_2_1->n60_a_history_of_qed__1_3_1_2_3_2_1_1 n60_a_history_of_qed__1_3_1_2_3_2_2->n60_a_history_of_qed__1_3_1_2_3_2_2_1 n60_a_history_of_qed__1_3_1_2_3_2_3_1 P-ROLE n60_a_history_of_qed__1_3_1_2_3_2_3->n60_a_history_of_qed__1_3_1_2_3_2_3_1 n60_a_history_of_qed__1_3_1_2_3_2_3_2 NP n60_a_history_of_qed__1_3_1_2_3_2_3->n60_a_history_of_qed__1_3_1_2_3_2_3_2 n60_a_history_of_qed__1_3_1_2_3_2_3_1->n60_a_history_of_qed__1_3_1_2_3_2_3_1_1 n60_a_history_of_qed__1_3_1_2_3_2_3_2_1 NPR n60_a_history_of_qed__1_3_1_2_3_2_3_2->n60_a_history_of_qed__1_3_1_2_3_2_3_2_1 n60_a_history_of_qed__1_3_1_2_3_2_3_2_1->n60_a_history_of_qed__1_3_1_2_3_2_3_2_1_1 n60_a_history_of_qed__1_3_2_1 CONJ n60_a_history_of_qed__1_3_2->n60_a_history_of_qed__1_3_2_1 n60_a_history_of_qed__1_3_2_2 ILYR n60_a_history_of_qed__1_3_2->n60_a_history_of_qed__1_3_2_2 n60_a_history_of_qed__1_3_2_1->n60_a_history_of_qed__1_3_2_1_1 n60_a_history_of_qed__1_3_2_2_1 VBD;__ n60_a_history_of_qed__1_3_2_2->n60_a_history_of_qed__1_3_2_2_1 n60_a_history_of_qed__1_3_2_2_2 NP-OB1 n60_a_history_of_qed__1_3_2_2->n60_a_history_of_qed__1_3_2_2_2 n60_a_history_of_qed__1_3_2_2_1->n60_a_history_of_qed__1_3_2_2_1_1 n60_a_history_of_qed__1_3_2_2_2_1 D n60_a_history_of_qed__1_3_2_2_2->n60_a_history_of_qed__1_3_2_2_2_1 n60_a_history_of_qed__1_3_2_2_2_2 NPR n60_a_history_of_qed__1_3_2_2_2->n60_a_history_of_qed__1_3_2_2_2_2 n60_a_history_of_qed__1_3_2_2_2_3 N n60_a_history_of_qed__1_3_2_2_2->n60_a_history_of_qed__1_3_2_2_2_3 n60_a_history_of_qed__1_3_2_2_2_1->n60_a_history_of_qed__1_3_2_2_2_1_1 n60_a_history_of_qed__1_3_2_2_2_2->n60_a_history_of_qed__1_3_2_2_2_2_1 n60_a_history_of_qed__1_3_2_2_2_3->n60_a_history_of_qed__1_3_2_2_2_3_1 n60_a_history_of_qed__1_4->n60_a_history_of_qed__1_4_1 
( (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))