Context                Previous, Next                Top


42_a_history_of_qed
Subsequent developments along this line include vi, done mostly by Bill Joy at UC Berkeley.

%3 r_0042_0002__developments developments r_0042_0001__Subsequent Subsequent r_0042_0002__developments->r_0042_0001__Subsequent [attrib] r_0042_0004__this_r_0042_0005__line this line r_0042_0002__developments->r_0042_0004__this_r_0042_0005__line along r_0042_0006__include include r_0042_0006__include->r_0042_0002__developments [arg0] r_0042_0007__vi vi r_0042_0006__include->r_0042_0007__vi [arg1] r_0042_0009__done done r_0042_0009__done->r_0042_0007__vi [arg1] r_0042_0010__mostly mostly r_0042_0009__done->r_0042_0010__mostly [nim] r_0042_0012__Bill_r_0042_0013__Joy Bill Joy r_0042_0009__done->r_0042_0012__Bill_r_0042_0013__Joy [arg0] r_0042_0015__UC_r_0042_0016__Berkeley UC Berkeley r_0042_0012__Bill_r_0042_0013__Joy->r_0042_0015__UC_r_0042_0016__Berkeley at 
arc(r_0042_0002__developments, r_0042_0001__Subsequent, attrib3).
arc(r_0042_0002__developments, r_0042_0004__this_r_0042_0005__line, r_0042_0003__along).
arc(r_0042_0006__include, r_0042_0002__developments, arg0).
arc(r_0042_0006__include, r_0042_0007__vi, arg1).
arc(r_0042_0009__done, r_0042_0007__vi, arg1).
arc(r_0042_0009__done, r_0042_0010__mostly, nim26).
arc(r_0042_0009__done, r_0042_0012__Bill_r_0042_0013__Joy, arg0).
arc(r_0042_0012__Bill_r_0042_0013__Joy, r_0042_0015__UC_r_0042_0016__Berkeley, r_0042_0014__at).


%3 r_0042_0002__developments developments r_0042_0001__Subsequent Subsequent r_0042_0002__developments->r_0042_0001__Subsequent [attrib] r_0042_0004__this_r_0042_0005__line this line r_0042_0002__developments->r_0042_0004__this_r_0042_0005__line along r_0042_0006__include include r_0042_0006__include->r_0042_0002__developments [arg0] r_0042_0007__vi vi r_0042_0006__include->r_0042_0007__vi [arg1] r_0042_0009__done done r_0042_0009__done->r_0042_0007__vi [arg1] r_0042_0010__mostly mostly r_0042_0009__done->r_0042_0010__mostly [nim] r_0042_0012__Bill_r_0042_0013__Joy Bill Joy r_0042_0009__done->r_0042_0012__Bill_r_0042_0013__Joy [arg0] r_0042_0015__UC_r_0042_0016__Berkeley UC Berkeley r_0042_0012__Bill_r_0042_0013__Joy->r_0042_0015__UC_r_0042_0016__Berkeley at 
fof(formula,axiom,
    ? [R_42_6_INCLUDE,R_42_2_DEVELOPMENTS,R_42_1_SUBSEQUENT,R_42_4_THIS_LINE,R_42_9_DONE,R_42_12_BILL_JOY,R_42_15_UC_BERKELEY,R_42_7_VI,R_42_10_MOSTLY] :
      ( subsequent(R_42_1_SUBSEQUENT)
      & this_line(R_42_4_THIS_LINE)
      & uC_Berkeley(R_42_15_UC_BERKELEY)
      & vi(R_42_7_VI)
      & mostly(R_42_10_MOSTLY)
      & include(R_42_6_INCLUDE,R_42_2_DEVELOPMENTS,R_42_7_VI)
      & developments(R_42_2_DEVELOPMENTS)
      & attrib3(R_42_2_DEVELOPMENTS,R_42_1_SUBSEQUENT)
      & along(R_42_2_DEVELOPMENTS,R_42_4_THIS_LINE)
      & done(R_42_9_DONE,R_42_12_BILL_JOY,R_42_7_VI)
      & bill_Joy(R_42_12_BILL_JOY)
      & at(R_42_12_BILL_JOY,R_42_15_UC_BERKELEY)
      & nim26(R_42_9_DONE,R_42_10_MOSTLY) ) ).


n42_a_history_of_qed n42_a_history_of_qed_5 Subsequent n42_a_history_of_qed_7 developments n42_a_history_of_qed_10 along n42_a_history_of_qed_13 this n42_a_history_of_qed_15 line n42_a_history_of_qed_17 include n42_a_history_of_qed_20 vi n42_a_history_of_qed_22 , n42_a_history_of_qed_25 done n42_a_history_of_qed_28 mostly n42_a_history_of_qed_31 by n42_a_history_of_qed_34 Bill n42_a_history_of_qed_36 Joy n42_a_history_of_qed_39 at n42_a_history_of_qed_42 UC n42_a_history_of_qed_44 Berkeley n42_a_history_of_qed_46 . n42_a_history_of_qed_1 IP-MAT n42_a_history_of_qed_2 NP-SBJ n42_a_history_of_qed_1->n42_a_history_of_qed_2 n42_a_history_of_qed_16 VBP;__ n42_a_history_of_qed_1->n42_a_history_of_qed_16 n42_a_history_of_qed_18 NP-OB1 n42_a_history_of_qed_1->n42_a_history_of_qed_18 n42_a_history_of_qed_45 PUNC n42_a_history_of_qed_1->n42_a_history_of_qed_45 n42_a_history_of_qed_3 ADJP n42_a_history_of_qed_2->n42_a_history_of_qed_3 n42_a_history_of_qed_6 NS n42_a_history_of_qed_2->n42_a_history_of_qed_6 n42_a_history_of_qed_8 PP n42_a_history_of_qed_2->n42_a_history_of_qed_8 n42_a_history_of_qed_4 ADJ n42_a_history_of_qed_3->n42_a_history_of_qed_4 n42_a_history_of_qed_4->n42_a_history_of_qed_5 n42_a_history_of_qed_6->n42_a_history_of_qed_7 n42_a_history_of_qed_9 P-ROLE n42_a_history_of_qed_8->n42_a_history_of_qed_9 n42_a_history_of_qed_11 NP n42_a_history_of_qed_8->n42_a_history_of_qed_11 n42_a_history_of_qed_9->n42_a_history_of_qed_10 n42_a_history_of_qed_12 D n42_a_history_of_qed_11->n42_a_history_of_qed_12 n42_a_history_of_qed_14 N n42_a_history_of_qed_11->n42_a_history_of_qed_14 n42_a_history_of_qed_12->n42_a_history_of_qed_13 n42_a_history_of_qed_14->n42_a_history_of_qed_15 n42_a_history_of_qed_16->n42_a_history_of_qed_17 n42_a_history_of_qed_19 NPR n42_a_history_of_qed_18->n42_a_history_of_qed_19 n42_a_history_of_qed_21 PUNC n42_a_history_of_qed_18->n42_a_history_of_qed_21 n42_a_history_of_qed_23 IP-PPL n42_a_history_of_qed_18->n42_a_history_of_qed_23 n42_a_history_of_qed_19->n42_a_history_of_qed_20 n42_a_history_of_qed_21->n42_a_history_of_qed_22 n42_a_history_of_qed_24 DON;_Tn_ n42_a_history_of_qed_23->n42_a_history_of_qed_24 n42_a_history_of_qed_26 ADVP-NIM n42_a_history_of_qed_23->n42_a_history_of_qed_26 n42_a_history_of_qed_29 PP-LGS n42_a_history_of_qed_23->n42_a_history_of_qed_29 n42_a_history_of_qed_24->n42_a_history_of_qed_25 n42_a_history_of_qed_27 ADV n42_a_history_of_qed_26->n42_a_history_of_qed_27 n42_a_history_of_qed_27->n42_a_history_of_qed_28 n42_a_history_of_qed_30 P-ROLE;_lgs_ n42_a_history_of_qed_29->n42_a_history_of_qed_30 n42_a_history_of_qed_32 NP n42_a_history_of_qed_29->n42_a_history_of_qed_32 n42_a_history_of_qed_30->n42_a_history_of_qed_31 n42_a_history_of_qed_33 NPR n42_a_history_of_qed_32->n42_a_history_of_qed_33 n42_a_history_of_qed_35 NPR n42_a_history_of_qed_32->n42_a_history_of_qed_35 n42_a_history_of_qed_37 PP n42_a_history_of_qed_32->n42_a_history_of_qed_37 n42_a_history_of_qed_33->n42_a_history_of_qed_34 n42_a_history_of_qed_35->n42_a_history_of_qed_36 n42_a_history_of_qed_38 P-ROLE n42_a_history_of_qed_37->n42_a_history_of_qed_38 n42_a_history_of_qed_40 NP n42_a_history_of_qed_37->n42_a_history_of_qed_40 n42_a_history_of_qed_38->n42_a_history_of_qed_39 n42_a_history_of_qed_41 NPR n42_a_history_of_qed_40->n42_a_history_of_qed_41 n42_a_history_of_qed_43 NPR n42_a_history_of_qed_40->n42_a_history_of_qed_43 n42_a_history_of_qed_41->n42_a_history_of_qed_42 n42_a_history_of_qed_43->n42_a_history_of_qed_44 n42_a_history_of_qed_45->n42_a_history_of_qed_46 
( (IP-MAT (NP-SBJ (ADJP (ADJ Subsequent;{subsequent}))
                  (NS developments;{development})
                  (PP (P-ROLE along;{along})
                      (NP (D this;{this})
                          (N line;{line}))))
          (VBP;__ include;{include})
          (NP-OB1;{VI} (NPR vi;{vi})
                       (PUNC ,)
                       (IP-PPL (DON;_Tn_ done;{do})
                               (ADVP-NIM (ADV mostly;{mostly}))
                               (PP-LGS (P-ROLE;_lgs_ by;{by})
                                       (NP (NPR Bill;{Bill})
                                           (NPR Joy;{Joy})
                                           (PP (P-ROLE at;{at})
                                               (NP (NPR UC;{UC})
                                                   (NPR Berkeley;{Berkeley})))))))
          (PUNC .))
  (ID 42_a_history_of_qed))