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_0042_0005__line this_line 0042_0002__developments->0042_0004__this_0042_0005__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 [arg1] 0042_0010__mostly mostly 0042_0009__done->0042_0010__mostly [mnr] 0042_0012__Bill_0042_0013__Joy bill_joy 0042_0009__done->0042_0012__Bill_0042_0013__Joy [arg0]by[lgs] 0042_0015__UC_0042_0016__Berkeley uc_berkeley 0042_0012__Bill_0042_0013__Joy->0042_0015__UC_0042_0016__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,arg1).
arc(r_0042_0009__done,r_0042_0010__mostly,mnr).
arc(r_0042_0009__done,r_0042_0012__Bill_r_0042_0013__Joy,arg0_r_0042_0011__by__lgs).
arc(r_0042_0012__Bill_r_0042_0013__Joy,r_0042_0015__UC_r_0042_0016__Berkeley,r_0042_0014__at).

IP-MAT NP-SBJ ADJP ADJ Subsequent NS developments PP P-ROLE along NP D this N line VBP include NP-OB1 NPR vi PUNC , IP-PPL DON done ADVP-MNR ADV mostly PP-LGS P-ROLE by NP NPR Bill NPR Joy PP P-ROLE at NP NPR UC NPR Berkeley PUNC . 
( (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 done;{do})
                               (ADVP-MNR (ADV mostly;{mostly}))
                               (PP-LGS (P-ROLE 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))