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_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_000_60_A_HISTORY_OF_QED_15] :
      ( 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_000_60_a_history_of_qed_15(Z_000_60_A_HISTORY_OF_QED_15)
      & has_prd(Z_000_60_A_HISTORY_OF_QED_15,R_0060_0006__TED)
      & has_arg0(Z_000_60_A_HISTORY_OF_QED_15,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_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_nim26(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) ) ).


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))