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 0042_0002__developments developments 0042_0001__Subsequent Subsequent 0042_0002__developments->0042_0001__Subsequent [attrib] 0042_0004__this_5__line this_line 0042_0002__developments->0042_0004__this_5__line along 0042_0006__include include 0042_0006__include->0042_0002__developments [arg0] 0042_0007__vi vi 0042_0006__include->0042_0007__vi [arg1] 0042_0009__done done 0042_0009__done->0042_0007__vi [inv][arg1] 0042_0010__mostly mostly 0042_0009__done->0042_0010__mostly [nim] 0042_0012__Bill_13__Joy Bill_Joy 0042_0009__done->0042_0012__Bill_13__Joy by[arg0] 0042_0015__UC_16__Berkeley UC_Berkeley 0042_0012__Bill_13__Joy->0042_0015__UC_16__Berkeley at 
arc(r_0042_0002__developments,r_0042_0001__Subsequent,attrib).
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,inv_arg1).
arc(r_0042_0009__done,r_0042_0010__mostly,nim).
arc(r_0042_0009__done,r_0042_0012__Bill_r_0042_0013__Joy,r_0042_0011__by_arg0).
arc(r_0042_0012__Bill_r_0042_0013__Joy,r_0042_0015__UC_r_0042_0016__Berkeley,r_0042_0014__at).

n42_a_history_of_qed n42_a_history_of_qed__1_1_1_1_1 Subsequent n42_a_history_of_qed__1_1_2_1 developments n42_a_history_of_qed__1_1_3_1_1 along n42_a_history_of_qed__1_1_3_2_1_1 this n42_a_history_of_qed__1_1_3_2_2_1 line n42_a_history_of_qed__1_2_1 include n42_a_history_of_qed__1_3_1_1 vi n42_a_history_of_qed__1_3_2_1 , n42_a_history_of_qed__1_3_3_1_1 done n42_a_history_of_qed__1_3_3_2_1_1 mostly n42_a_history_of_qed__1_3_3_3_1_1 by n42_a_history_of_qed__1_3_3_3_2_1_1 Bill n42_a_history_of_qed__1_3_3_3_2_2_1 Joy n42_a_history_of_qed__1_3_3_3_2_3_1_1 at n42_a_history_of_qed__1_3_3_3_2_3_2_1_1 UC n42_a_history_of_qed__1_3_3_3_2_3_2_2_1 Berkeley n42_a_history_of_qed__1_4_1 . n42_a_history_of_qed__1 IP-MAT n42_a_history_of_qed__1_1 NP-SBJ n42_a_history_of_qed__1->n42_a_history_of_qed__1_1 n42_a_history_of_qed__1_2 VBP;~ n42_a_history_of_qed__1->n42_a_history_of_qed__1_2 n42_a_history_of_qed__1_3 NP-OB1 n42_a_history_of_qed__1->n42_a_history_of_qed__1_3 n42_a_history_of_qed__1_4 PUNC n42_a_history_of_qed__1->n42_a_history_of_qed__1_4 n42_a_history_of_qed__1_1_1 ADJP n42_a_history_of_qed__1_1->n42_a_history_of_qed__1_1_1 n42_a_history_of_qed__1_1_2 NS n42_a_history_of_qed__1_1->n42_a_history_of_qed__1_1_2 n42_a_history_of_qed__1_1_3 PP n42_a_history_of_qed__1_1->n42_a_history_of_qed__1_1_3 n42_a_history_of_qed__1_1_1_1 ADJ n42_a_history_of_qed__1_1_1->n42_a_history_of_qed__1_1_1_1 n42_a_history_of_qed__1_1_1_1->n42_a_history_of_qed__1_1_1_1_1 n42_a_history_of_qed__1_1_2->n42_a_history_of_qed__1_1_2_1 n42_a_history_of_qed__1_1_3_1 P-ROLE n42_a_history_of_qed__1_1_3->n42_a_history_of_qed__1_1_3_1 n42_a_history_of_qed__1_1_3_2 NP n42_a_history_of_qed__1_1_3->n42_a_history_of_qed__1_1_3_2 n42_a_history_of_qed__1_1_3_1->n42_a_history_of_qed__1_1_3_1_1 n42_a_history_of_qed__1_1_3_2_1 D n42_a_history_of_qed__1_1_3_2->n42_a_history_of_qed__1_1_3_2_1 n42_a_history_of_qed__1_1_3_2_2 N n42_a_history_of_qed__1_1_3_2->n42_a_history_of_qed__1_1_3_2_2 n42_a_history_of_qed__1_1_3_2_1->n42_a_history_of_qed__1_1_3_2_1_1 n42_a_history_of_qed__1_1_3_2_2->n42_a_history_of_qed__1_1_3_2_2_1 n42_a_history_of_qed__1_2->n42_a_history_of_qed__1_2_1 n42_a_history_of_qed__1_3_1 NPR n42_a_history_of_qed__1_3->n42_a_history_of_qed__1_3_1 n42_a_history_of_qed__1_3_2 PUNC n42_a_history_of_qed__1_3->n42_a_history_of_qed__1_3_2 n42_a_history_of_qed__1_3_3 IP-PPL n42_a_history_of_qed__1_3->n42_a_history_of_qed__1_3_3 n42_a_history_of_qed__1_3_1->n42_a_history_of_qed__1_3_1_1 n42_a_history_of_qed__1_3_2->n42_a_history_of_qed__1_3_2_1 n42_a_history_of_qed__1_3_3_1 DON;~Tn n42_a_history_of_qed__1_3_3->n42_a_history_of_qed__1_3_3_1 n42_a_history_of_qed__1_3_3_2 ADVP-NIM n42_a_history_of_qed__1_3_3->n42_a_history_of_qed__1_3_3_2 n42_a_history_of_qed__1_3_3_3 PP-LGS n42_a_history_of_qed__1_3_3->n42_a_history_of_qed__1_3_3_3 n42_a_history_of_qed__1_3_3_1->n42_a_history_of_qed__1_3_3_1_1 n42_a_history_of_qed__1_3_3_2_1 ADV n42_a_history_of_qed__1_3_3_2->n42_a_history_of_qed__1_3_3_2_1 n42_a_history_of_qed__1_3_3_2_1->n42_a_history_of_qed__1_3_3_2_1_1 n42_a_history_of_qed__1_3_3_3_1 P-ROLE;_lgs_ n42_a_history_of_qed__1_3_3_3->n42_a_history_of_qed__1_3_3_3_1 n42_a_history_of_qed__1_3_3_3_2 NP n42_a_history_of_qed__1_3_3_3->n42_a_history_of_qed__1_3_3_3_2 n42_a_history_of_qed__1_3_3_3_1->n42_a_history_of_qed__1_3_3_3_1_1 n42_a_history_of_qed__1_3_3_3_2_1 NPR n42_a_history_of_qed__1_3_3_3_2->n42_a_history_of_qed__1_3_3_3_2_1 n42_a_history_of_qed__1_3_3_3_2_2 NPR n42_a_history_of_qed__1_3_3_3_2->n42_a_history_of_qed__1_3_3_3_2_2 n42_a_history_of_qed__1_3_3_3_2_3 PP n42_a_history_of_qed__1_3_3_3_2->n42_a_history_of_qed__1_3_3_3_2_3 n42_a_history_of_qed__1_3_3_3_2_1->n42_a_history_of_qed__1_3_3_3_2_1_1 n42_a_history_of_qed__1_3_3_3_2_2->n42_a_history_of_qed__1_3_3_3_2_2_1 n42_a_history_of_qed__1_3_3_3_2_3_1 P-ROLE n42_a_history_of_qed__1_3_3_3_2_3->n42_a_history_of_qed__1_3_3_3_2_3_1 n42_a_history_of_qed__1_3_3_3_2_3_2 NP n42_a_history_of_qed__1_3_3_3_2_3->n42_a_history_of_qed__1_3_3_3_2_3_2 n42_a_history_of_qed__1_3_3_3_2_3_1->n42_a_history_of_qed__1_3_3_3_2_3_1_1 n42_a_history_of_qed__1_3_3_3_2_3_2_1 NPR n42_a_history_of_qed__1_3_3_3_2_3_2->n42_a_history_of_qed__1_3_3_3_2_3_2_1 n42_a_history_of_qed__1_3_3_3_2_3_2_2 NPR n42_a_history_of_qed__1_3_3_3_2_3_2->n42_a_history_of_qed__1_3_3_3_2_3_2_2 n42_a_history_of_qed__1_3_3_3_2_3_2_1->n42_a_history_of_qed__1_3_3_3_2_3_2_1_1 n42_a_history_of_qed__1_3_3_3_2_3_2_2->n42_a_history_of_qed__1_3_3_3_2_3_2_2_1 n42_a_history_of_qed__1_4->n42_a_history_of_qed__1_4_1 
( (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))