43_a_history_of_qed
According to George Coulouris, vi was based on (or at least inspired by) the em editor done at Queen Mary College in London.
arc(r_0043_0006__was,r_0043_0002__George_r_0043_0003__Coulouris,r_0043_0001__According_to__nim).
arc(r_0043_0006__was,r_0043_0010__or,keep_scope).
arc(r_0043_0007__based,r_0043_0005__vi,arg1).
arc(r_0043_0007__based,r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor,r_0043_0008__on__clr).
arc(r_0043_0007__based,star_z_0043_5005,arg0).
arc(r_0043_0010__or,r_0043_0007__based,conj1).
arc(r_0043_0010__or,r_0043_0012__inspired,conj2).
arc(r_0043_0012__inspired,r_0043_0005__vi,arg1).
arc(r_0043_0012__inspired,r_0043_0011__at_least,nim).
arc(r_0043_0012__inspired,r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor,r_0043_0013__by__nim).
arc(r_0043_0012__inspired,star_z_0043_5005,arg0).
arc(r_0043_0018__done,r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor,arg1).
arc(r_0043_0018__done,r_0043_0022__College,r_0043_0019__at__nim).
arc(r_0043_0018__done,star_z_0043_5003,arg0).
arc(r_0043_0022__College,r_0043_0020__Queen_r_0043_0021__Mary,modifier).
arc(r_0043_0022__College,r_0043_0024__London,r_0043_0023__in).
( (IP-MAT (PP-NIM (P-ROLE According_to;{according_to})
(NP (NPR George;{George})
(NPR Coulouris;{Coulouris})))
(PUNC ,)
(NP-SBJ;{VI} (NPR vi;{vi}))
(BED;~cat_Ve_passive_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(ILYR (ILYR (VVN;~phr_Vn.pr based;{base[on]})
(PP-CLR (P-ROLE on;{on})
(NP *ICH*-135)))
(PULB -LRB-)
(CONJP (CONJ or;{or})
(ILYR (ADVP-NIM (ADV at_least;{at_least}))
(VVN;~Tn.pr inspired;{inspire})
(PP-NIM (P-ROLE by;{by})
(NP *ICH*-135))))
(PURB -RRB-))
(NP-RNR-135 (D the;{the})
(NPR em;{em})
(N editor;{editor})
(IP-PPL (NP-LGS *)
(DON;~Tn done;{do})
(PP-NIM (P-ROLE at;{at})
(NP (NLYR (NPR Queen;{Queen})
(NPR Mary;{Mary}))
(NPR College;{College})
(PP (P-ROLE in;{in})
(NP (NPR London;{London}))))))))
(PUNC .))
(ID 43_a_history_of_qed))