Context                Previous, Next                Top


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.

n43_a_history_of_qed n43_a_history_of_qed__1_1_1_1 According_to n43_a_history_of_qed__1_1_2_1_1 George n43_a_history_of_qed__1_1_2_2_1 Coulouris n43_a_history_of_qed__1_2_1 , n43_a_history_of_qed__1_3_1_1 vi n43_a_history_of_qed__1_4_1 was n43_a_history_of_qed__1_5_1_1 * n43_a_history_of_qed__1_5_2_1_1_1 based n43_a_history_of_qed__1_5_2_1_2_1_1 on n43_a_history_of_qed__1_5_2_1_2_2_1 *ICH*-135 n43_a_history_of_qed__1_5_2_2_1 -LRB- n43_a_history_of_qed__1_5_2_3_1_1 or n43_a_history_of_qed__1_5_2_3_2_1_1_1 at_least n43_a_history_of_qed__1_5_2_3_2_2_1 inspired n43_a_history_of_qed__1_5_2_3_2_3_1_1 by n43_a_history_of_qed__1_5_2_3_2_3_2_1 *ICH*-135 n43_a_history_of_qed__1_5_2_4_1 -RRB- n43_a_history_of_qed__1_5_3_1_1 the n43_a_history_of_qed__1_5_3_2_1 em n43_a_history_of_qed__1_5_3_3_1 editor n43_a_history_of_qed__1_5_3_4_1_1 * n43_a_history_of_qed__1_5_3_4_2_1 done n43_a_history_of_qed__1_5_3_4_3_1_1 at n43_a_history_of_qed__1_5_3_4_3_2_1_1_1 Queen n43_a_history_of_qed__1_5_3_4_3_2_1_2_1 Mary n43_a_history_of_qed__1_5_3_4_3_2_2_1 College n43_a_history_of_qed__1_5_3_4_3_2_3_1_1 in n43_a_history_of_qed__1_5_3_4_3_2_3_2_1_1 London n43_a_history_of_qed__1_6_1 . n43_a_history_of_qed__1 IP-MAT n43_a_history_of_qed__1_1 PP-NIM n43_a_history_of_qed__1->n43_a_history_of_qed__1_1 n43_a_history_of_qed__1_2 PUNC n43_a_history_of_qed__1->n43_a_history_of_qed__1_2 n43_a_history_of_qed__1_3 NP-SBJ n43_a_history_of_qed__1->n43_a_history_of_qed__1_3 n43_a_history_of_qed__1_4 BED;_cat_VePASS_ n43_a_history_of_qed__1->n43_a_history_of_qed__1_4 n43_a_history_of_qed__1_5 IP-PPL-CAT n43_a_history_of_qed__1->n43_a_history_of_qed__1_5 n43_a_history_of_qed__1_6 PUNC n43_a_history_of_qed__1->n43_a_history_of_qed__1_6 n43_a_history_of_qed__1_1_1 P-ROLE n43_a_history_of_qed__1_1->n43_a_history_of_qed__1_1_1 n43_a_history_of_qed__1_1_2 NP n43_a_history_of_qed__1_1->n43_a_history_of_qed__1_1_2 n43_a_history_of_qed__1_1_1->n43_a_history_of_qed__1_1_1_1 n43_a_history_of_qed__1_1_2_1 NPR n43_a_history_of_qed__1_1_2->n43_a_history_of_qed__1_1_2_1 n43_a_history_of_qed__1_1_2_2 NPR n43_a_history_of_qed__1_1_2->n43_a_history_of_qed__1_1_2_2 n43_a_history_of_qed__1_1_2_1->n43_a_history_of_qed__1_1_2_1_1 n43_a_history_of_qed__1_1_2_2->n43_a_history_of_qed__1_1_2_2_1 n43_a_history_of_qed__1_2->n43_a_history_of_qed__1_2_1 n43_a_history_of_qed__1_3_1 NPR n43_a_history_of_qed__1_3->n43_a_history_of_qed__1_3_1 n43_a_history_of_qed__1_3_1->n43_a_history_of_qed__1_3_1_1 n43_a_history_of_qed__1_4->n43_a_history_of_qed__1_4_1 n43_a_history_of_qed__1_5_1 NP-LGS n43_a_history_of_qed__1_5->n43_a_history_of_qed__1_5_1 n43_a_history_of_qed__1_5_2 ILYR n43_a_history_of_qed__1_5->n43_a_history_of_qed__1_5_2 n43_a_history_of_qed__1_5_3 NP-RNR-135 n43_a_history_of_qed__1_5->n43_a_history_of_qed__1_5_3 n43_a_history_of_qed__1_5_1->n43_a_history_of_qed__1_5_1_1 n43_a_history_of_qed__1_5_2_1 ILYR n43_a_history_of_qed__1_5_2->n43_a_history_of_qed__1_5_2_1 n43_a_history_of_qed__1_5_2_2 PULB n43_a_history_of_qed__1_5_2->n43_a_history_of_qed__1_5_2_2 n43_a_history_of_qed__1_5_2_3 CONJP n43_a_history_of_qed__1_5_2->n43_a_history_of_qed__1_5_2_3 n43_a_history_of_qed__1_5_2_4 PURB n43_a_history_of_qed__1_5_2->n43_a_history_of_qed__1_5_2_4 n43_a_history_of_qed__1_5_2_1_1 VVN;_phr_Vn.pr_ n43_a_history_of_qed__1_5_2_1->n43_a_history_of_qed__1_5_2_1_1 n43_a_history_of_qed__1_5_2_1_2 PP-CLR n43_a_history_of_qed__1_5_2_1->n43_a_history_of_qed__1_5_2_1_2 n43_a_history_of_qed__1_5_2_1_1->n43_a_history_of_qed__1_5_2_1_1_1 n43_a_history_of_qed__1_5_2_1_2_1 P-ROLE n43_a_history_of_qed__1_5_2_1_2->n43_a_history_of_qed__1_5_2_1_2_1 n43_a_history_of_qed__1_5_2_1_2_2 NP n43_a_history_of_qed__1_5_2_1_2->n43_a_history_of_qed__1_5_2_1_2_2 n43_a_history_of_qed__1_5_2_1_2_1->n43_a_history_of_qed__1_5_2_1_2_1_1 n43_a_history_of_qed__1_5_2_1_2_2->n43_a_history_of_qed__1_5_2_1_2_2_1 n43_a_history_of_qed__1_5_2_2->n43_a_history_of_qed__1_5_2_2_1 n43_a_history_of_qed__1_5_2_3_1 CONJ n43_a_history_of_qed__1_5_2_3->n43_a_history_of_qed__1_5_2_3_1 n43_a_history_of_qed__1_5_2_3_2 ILYR n43_a_history_of_qed__1_5_2_3->n43_a_history_of_qed__1_5_2_3_2 n43_a_history_of_qed__1_5_2_3_1->n43_a_history_of_qed__1_5_2_3_1_1 n43_a_history_of_qed__1_5_2_3_2_1 ADVP-NIM n43_a_history_of_qed__1_5_2_3_2->n43_a_history_of_qed__1_5_2_3_2_1 n43_a_history_of_qed__1_5_2_3_2_2 VVN;_Tn.pr_ n43_a_history_of_qed__1_5_2_3_2->n43_a_history_of_qed__1_5_2_3_2_2 n43_a_history_of_qed__1_5_2_3_2_3 PP-NIM n43_a_history_of_qed__1_5_2_3_2->n43_a_history_of_qed__1_5_2_3_2_3 n43_a_history_of_qed__1_5_2_3_2_1_1 ADV n43_a_history_of_qed__1_5_2_3_2_1->n43_a_history_of_qed__1_5_2_3_2_1_1 n43_a_history_of_qed__1_5_2_3_2_1_1->n43_a_history_of_qed__1_5_2_3_2_1_1_1 n43_a_history_of_qed__1_5_2_3_2_2->n43_a_history_of_qed__1_5_2_3_2_2_1 n43_a_history_of_qed__1_5_2_3_2_3_1 P-ROLE n43_a_history_of_qed__1_5_2_3_2_3->n43_a_history_of_qed__1_5_2_3_2_3_1 n43_a_history_of_qed__1_5_2_3_2_3_2 NP n43_a_history_of_qed__1_5_2_3_2_3->n43_a_history_of_qed__1_5_2_3_2_3_2 n43_a_history_of_qed__1_5_2_3_2_3_1->n43_a_history_of_qed__1_5_2_3_2_3_1_1 n43_a_history_of_qed__1_5_2_3_2_3_2->n43_a_history_of_qed__1_5_2_3_2_3_2_1 n43_a_history_of_qed__1_5_2_4->n43_a_history_of_qed__1_5_2_4_1 n43_a_history_of_qed__1_5_3_1 D n43_a_history_of_qed__1_5_3->n43_a_history_of_qed__1_5_3_1 n43_a_history_of_qed__1_5_3_2 NPR n43_a_history_of_qed__1_5_3->n43_a_history_of_qed__1_5_3_2 n43_a_history_of_qed__1_5_3_3 N n43_a_history_of_qed__1_5_3->n43_a_history_of_qed__1_5_3_3 n43_a_history_of_qed__1_5_3_4 IP-PPL n43_a_history_of_qed__1_5_3->n43_a_history_of_qed__1_5_3_4 n43_a_history_of_qed__1_5_3_1->n43_a_history_of_qed__1_5_3_1_1 n43_a_history_of_qed__1_5_3_2->n43_a_history_of_qed__1_5_3_2_1 n43_a_history_of_qed__1_5_3_3->n43_a_history_of_qed__1_5_3_3_1 n43_a_history_of_qed__1_5_3_4_1 NP-LGS n43_a_history_of_qed__1_5_3_4->n43_a_history_of_qed__1_5_3_4_1 n43_a_history_of_qed__1_5_3_4_2 DON;_Tn_ n43_a_history_of_qed__1_5_3_4->n43_a_history_of_qed__1_5_3_4_2 n43_a_history_of_qed__1_5_3_4_3 PP-NIM n43_a_history_of_qed__1_5_3_4->n43_a_history_of_qed__1_5_3_4_3 n43_a_history_of_qed__1_5_3_4_1->n43_a_history_of_qed__1_5_3_4_1_1 n43_a_history_of_qed__1_5_3_4_2->n43_a_history_of_qed__1_5_3_4_2_1 n43_a_history_of_qed__1_5_3_4_3_1 P-ROLE n43_a_history_of_qed__1_5_3_4_3->n43_a_history_of_qed__1_5_3_4_3_1 n43_a_history_of_qed__1_5_3_4_3_2 NP n43_a_history_of_qed__1_5_3_4_3->n43_a_history_of_qed__1_5_3_4_3_2 n43_a_history_of_qed__1_5_3_4_3_1->n43_a_history_of_qed__1_5_3_4_3_1_1 n43_a_history_of_qed__1_5_3_4_3_2_1 NLYR n43_a_history_of_qed__1_5_3_4_3_2->n43_a_history_of_qed__1_5_3_4_3_2_1 n43_a_history_of_qed__1_5_3_4_3_2_2 NPR n43_a_history_of_qed__1_5_3_4_3_2->n43_a_history_of_qed__1_5_3_4_3_2_2 n43_a_history_of_qed__1_5_3_4_3_2_3 PP n43_a_history_of_qed__1_5_3_4_3_2->n43_a_history_of_qed__1_5_3_4_3_2_3 n43_a_history_of_qed__1_5_3_4_3_2_1_1 NPR n43_a_history_of_qed__1_5_3_4_3_2_1->n43_a_history_of_qed__1_5_3_4_3_2_1_1 n43_a_history_of_qed__1_5_3_4_3_2_1_2 NPR n43_a_history_of_qed__1_5_3_4_3_2_1->n43_a_history_of_qed__1_5_3_4_3_2_1_2 n43_a_history_of_qed__1_5_3_4_3_2_1_1->n43_a_history_of_qed__1_5_3_4_3_2_1_1_1 n43_a_history_of_qed__1_5_3_4_3_2_1_2->n43_a_history_of_qed__1_5_3_4_3_2_1_2_1 n43_a_history_of_qed__1_5_3_4_3_2_2->n43_a_history_of_qed__1_5_3_4_3_2_2_1 n43_a_history_of_qed__1_5_3_4_3_2_3_1 P-ROLE n43_a_history_of_qed__1_5_3_4_3_2_3->n43_a_history_of_qed__1_5_3_4_3_2_3_1 n43_a_history_of_qed__1_5_3_4_3_2_3_2 NP n43_a_history_of_qed__1_5_3_4_3_2_3->n43_a_history_of_qed__1_5_3_4_3_2_3_2 n43_a_history_of_qed__1_5_3_4_3_2_3_1->n43_a_history_of_qed__1_5_3_4_3_2_3_1_1 n43_a_history_of_qed__1_5_3_4_3_2_3_2_1 NPR n43_a_history_of_qed__1_5_3_4_3_2_3_2->n43_a_history_of_qed__1_5_3_4_3_2_3_2_1 n43_a_history_of_qed__1_5_3_4_3_2_3_2_1->n43_a_history_of_qed__1_5_3_4_3_2_3_2_1_1 n43_a_history_of_qed__1_6->n43_a_history_of_qed__1_6_1 
( (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_VePASS_ 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))


%3 r_0043_0022__College College r_0043_0024__London London r_0043_0022__College->r_0043_0024__London in r_0043_0020__Queen_r_0043_0021__Mary Queen Mary r_0043_0022__College->r_0043_0020__Queen_r_0043_0021__Mary [nim] r_0043_0018__done done r_0043_0018__done->r_0043_0022__College at [nim] z_0043_5003___star_ * r_0043_0018__done->z_0043_5003___star_ [arg0] r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor the em editor r_0043_0018__done->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor [inv_arg1] r_0043_0012__inspired inspired r_0043_0012__inspired->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor by [nim] z_0043_5005___star_ * r_0043_0012__inspired->z_0043_5005___star_ [arg0] r_0043_0011__at_least at_least r_0043_0012__inspired->r_0043_0011__at_least [nim] r_0043_0005__vi vi r_0043_0012__inspired->r_0043_0005__vi [arg1] r_0043_0010__or or r_0043_0010__or->r_0043_0012__inspired [conj2] r_0043_0007__based based r_0043_0010__or->r_0043_0007__based [conj1] r_0043_0007__based->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor on [clr] r_0043_0007__based->z_0043_5005___star_ [arg0] r_0043_0007__based->r_0043_0005__vi [arg1] r_0043_0006__was was r_0043_0006__was->r_0043_0010__or [scope] r_0043_0002__George_r_0043_0003__Coulouris George Coulouris r_0043_0006__was->r_0043_0002__George_r_0043_0003__Coulouris According_to [nim] 
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,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,z_0043_5005___star_,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,z_0043_5005___star_,arg0).
arc(r_0043_0018__done,r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor,inv_arg1).
arc(r_0043_0018__done,r_0043_0022__College,r_0043_0019__at__nim).
arc(r_0043_0018__done,z_0043_5003___star_,arg0).
arc(r_0043_0022__College,r_0043_0020__Queen_r_0043_0021__Mary,nim).
arc(r_0043_0022__College,r_0043_0024__London,r_0043_0023__in).


%3 r_0043_0006__was was r_0043_0002__George_r_0043_0003__Coulouris George Coulouris r_0043_0006__was->r_0043_0002__George_r_0043_0003__Coulouris According_to [nim] r_0043_0010__or or r_0043_0006__was->r_0043_0010__or [keep_scope] r_0043_0007__based based r_0043_0005__vi vi r_0043_0007__based->r_0043_0005__vi [arg1] r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor the em editor r_0043_0007__based->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor on [clr] z_0043_5005___star_ * r_0043_0007__based->z_0043_5005___star_ [arg0] r_0043_0018__done done r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor->r_0043_0018__done [inv_arg1] r_0043_0010__or->r_0043_0007__based [conj1] r_0043_0012__inspired inspired r_0043_0010__or->r_0043_0012__inspired [conj2] r_0043_0012__inspired->r_0043_0005__vi [arg1] r_0043_0012__inspired->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor by [nim] r_0043_0012__inspired->z_0043_5005___star_ [arg0] r_0043_0011__at_least at_least r_0043_0012__inspired->r_0043_0011__at_least [nim] r_0043_0022__College College r_0043_0018__done->r_0043_0022__College at [nim] z_0043_5003___star_ * r_0043_0018__done->z_0043_5003___star_ [arg0] r_0043_0020__Queen_r_0043_0021__Mary Queen Mary r_0043_0022__College->r_0043_0020__Queen_r_0043_0021__Mary [nim] r_0043_0024__London London r_0043_0022__College->r_0043_0024__London in 
fof(formula,axiom,
    ? [R_0043_0002__GEORGE_R_0043_0003__COULOURIS,R_0043_0005__VI,R_0043_0020__QUEEN_R_0043_0021__MARY,R_0043_0024__LONDON,R_0043_0022__COLLEGE,Z_0043_5003___STAR_,R_0043_0018__DONE,R_0043_0015__THE_R_0043_0016__EM_R_0043_0017__EDITOR,Z_0043_5005___STAR_,R_0043_0007__BASED,R_0043_0011__AT_LEAST,R_0043_0012__INSPIRED,R_0043_0010__OR,R_0043_0006__WAS] :
      ( r_0043_0002__George_r_0043_0003__Coulouris(R_0043_0002__GEORGE_R_0043_0003__COULOURIS)
      & r_0043_0005__vi(R_0043_0005__VI)
      & r_0043_0011__at_least(R_0043_0011__AT_LEAST)
      & r_0043_0020__Queen_r_0043_0021__Mary(R_0043_0020__QUEEN_R_0043_0021__MARY)
      & r_0043_0024__London(R_0043_0024__LONDON)
      & z_0043_5003___star_(Z_0043_5003___STAR_)
      & z_0043_5005___star_(Z_0043_5005___STAR_)
      & r_0043_0006__was(R_0043_0006__WAS)
      & has_keep_scope(R_0043_0006__WAS,R_0043_0010__OR)
      & r_0043_0010__or(R_0043_0010__OR)
      & has_conj2(R_0043_0010__OR,R_0043_0012__INSPIRED)
      & r_0043_0012__inspired(R_0043_0012__INSPIRED)
      & has_arg0(R_0043_0012__INSPIRED,Z_0043_5005___STAR_)
      & has_r_0043_0013__by__nim(R_0043_0012__INSPIRED,R_0043_0015__THE_R_0043_0016__EM_R_0043_0017__EDITOR)
      & r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor(R_0043_0015__THE_R_0043_0016__EM_R_0043_0017__EDITOR)
      & has_inv_arg1(R_0043_0015__THE_R_0043_0016__EM_R_0043_0017__EDITOR,R_0043_0018__DONE)
      & r_0043_0018__done(R_0043_0018__DONE)
      & has_arg0(R_0043_0018__DONE,Z_0043_5003___STAR_)
      & has_r_0043_0019__at__nim(R_0043_0018__DONE,R_0043_0022__COLLEGE)
      & r_0043_0022__College(R_0043_0022__COLLEGE)
      & has_r_0043_0023__in(R_0043_0022__COLLEGE,R_0043_0024__LONDON)
      & has_nim(R_0043_0022__COLLEGE,R_0043_0020__QUEEN_R_0043_0021__MARY)
      & has_nim(R_0043_0012__INSPIRED,R_0043_0011__AT_LEAST)
      & has_arg1(R_0043_0012__INSPIRED,R_0043_0005__VI)
      & has_conj1(R_0043_0010__OR,R_0043_0007__BASED)
      & r_0043_0007__based(R_0043_0007__BASED)
      & has_arg0(R_0043_0007__BASED,Z_0043_5005___STAR_)
      & has_r_0043_0008__on__clr(R_0043_0007__BASED,R_0043_0015__THE_R_0043_0016__EM_R_0043_0017__EDITOR)
      & has_arg1(R_0043_0007__BASED,R_0043_0005__VI)
      & has_r_0043_0001__According_to__nim(R_0043_0006__WAS,R_0043_0002__GEORGE_R_0043_0003__COULOURIS) ) ).