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.

%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 [scope] r_0043_0007__based based 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_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_000_43_a_history_of_qed_20 r_0043_0007__based->z_000_43_a_history_of_qed_20 [arg0] 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 [arg0] r_0043_0011__at_least at least r_0043_0012__inspired->r_0043_0011__at_least [nim] r_0043_0018__done done r_0043_0018__done->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor [arg1] r_0043_0020__Queen_r_0043_0021__Mary_r_0043_0022__College Queen Mary College r_0043_0018__done->r_0043_0020__Queen_r_0043_0021__Mary_r_0043_0022__College at [nim] z_000_43_a_history_of_qed_55 r_0043_0018__done->z_000_43_a_history_of_qed_55 [arg0] r_0043_0024__London London r_0043_0020__Queen_r_0043_0021__Mary_r_0043_0022__College->r_0043_0024__London in 
arc(r_0043_0006__was, r_0043_0002__George_r_0043_0003__Coulouris, r_0043_0001__According_to_nim5).
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_clr27).
arc(r_0043_0007__based, z_000_43_a_history_of_qed_20, 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, nim35).
arc(r_0043_0012__inspired, r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor, 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_0020__Queen_r_0043_0021__Mary_r_0043_0022__College, r_0043_0019__at_nim62).
arc(r_0043_0018__done, z_000_43_a_history_of_qed_55, arg0).
arc(r_0043_0020__Queen_r_0043_0021__Mary_r_0043_0022__College, r_0043_0024__London, r_0043_0023__in).


%3 r_0043_0006__was was r_0043_0010__or or r_0043_0006__was->r_0043_0010__or [keep_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] r_0043_0012__inspired inspired 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_0020__Queen_r_0043_0021__Mary_r_0043_0022__College Queen Mary College r_0043_0024__London London r_0043_0020__Queen_r_0043_0021__Mary_r_0043_0022__College->r_0043_0024__London in r_0043_0018__done done r_0043_0018__done->r_0043_0020__Queen_r_0043_0021__Mary_r_0043_0022__College at [nim] z_000_43_a_history_of_qed_55 r_0043_0018__done->z_000_43_a_history_of_qed_55 [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 [arg1] r_0043_0012__inspired->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor [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_0007__based->r_0043_0015__the_r_0043_0016__em_r_0043_0017__editor on [clr] r_0043_0007__based->r_0043_0005__vi [arg1] z_000_43_a_history_of_qed_20 r_0043_0007__based->z_000_43_a_history_of_qed_20 [arg0] 
fof(formula,axiom,
    ? [R_43_2_GEORGE_COULOURIS,R_43_18_DONE,Z_43_A_HISTORY_OF_QED_55,R_43_15_THE_EM_EDITOR,R_43_20_QUEEN_MARY_COLLEGE,R_43_24_LONDON] :
      ( george_Coulouris(R_43_2_GEORGE_COULOURIS)
      & the_em_editor(R_43_15_THE_EM_EDITOR)
      & london(R_43_24_LONDON)
      & ? [R_43_10_OR,R_43_7_BASED,Z_43_A_HISTORY_OF_QED_20,R_43_12_INSPIRED,R_43_5_VI,R_43_11_AT_LEAST] :
          ( vi(R_43_5_VI)
          & at_least(R_43_11_AT_LEAST)
          & or(R_43_10_OR)
          & conj1(R_43_10_OR,R_43_7_BASED)
          & based(R_43_7_BASED,Z_43_A_HISTORY_OF_QED_20,R_43_5_VI)
          & on_clr27(R_43_7_BASED,R_43_15_THE_EM_EDITOR)
          & conj2(R_43_10_OR,R_43_12_INSPIRED)
          & inspired(R_43_12_INSPIRED,R_43_15_THE_EM_EDITOR,R_43_5_VI)
          & nim35(R_43_12_INSPIRED,R_43_11_AT_LEAST) )
      & done(R_43_18_DONE,Z_43_A_HISTORY_OF_QED_55,R_43_15_THE_EM_EDITOR)
      & at_nim62(R_43_18_DONE,R_43_20_QUEEN_MARY_COLLEGE)
      & queen_Mary_College(R_43_20_QUEEN_MARY_COLLEGE)
      & in(R_43_20_QUEEN_MARY_COLLEGE,R_43_24_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_1_1 * n43_a_history_of_qed__1_5_1_1_2_1 based n43_a_history_of_qed__1_5_1_1_3_1_1 on n43_a_history_of_qed__1_5_1_1_3_2_1 *ICH*-135 n43_a_history_of_qed__1_5_1_2_1 -LRB- n43_a_history_of_qed__1_5_1_3_1_1 or n43_a_history_of_qed__1_5_1_3_2_1_1_1 at_least n43_a_history_of_qed__1_5_1_3_2_2_1 inspired n43_a_history_of_qed__1_5_1_3_2_3_1_1 by n43_a_history_of_qed__1_5_1_3_2_3_2_1 *ICH*-135 n43_a_history_of_qed__1_5_1_4_1 -RRB- n43_a_history_of_qed__1_5_2_1_1 the n43_a_history_of_qed__1_5_2_2_1 em n43_a_history_of_qed__1_5_2_3_1 editor n43_a_history_of_qed__1_5_2_4_1_1 * n43_a_history_of_qed__1_5_2_4_2_1 done n43_a_history_of_qed__1_5_2_4_3_1_1 at n43_a_history_of_qed__1_5_2_4_3_2_1_1 Queen n43_a_history_of_qed__1_5_2_4_3_2_2_1 Mary n43_a_history_of_qed__1_5_2_4_3_2_3_1 College n43_a_history_of_qed__1_5_2_4_3_2_4_1_1 in n43_a_history_of_qed__1_5_2_4_3_2_4_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 ILYR n43_a_history_of_qed__1_5->n43_a_history_of_qed__1_5_1 n43_a_history_of_qed__1_5_2 NP-RNR-135 n43_a_history_of_qed__1_5->n43_a_history_of_qed__1_5_2 n43_a_history_of_qed__1_5_1_1 ILYR n43_a_history_of_qed__1_5_1->n43_a_history_of_qed__1_5_1_1 n43_a_history_of_qed__1_5_1_2 PULB n43_a_history_of_qed__1_5_1->n43_a_history_of_qed__1_5_1_2 n43_a_history_of_qed__1_5_1_3 CONJP n43_a_history_of_qed__1_5_1->n43_a_history_of_qed__1_5_1_3 n43_a_history_of_qed__1_5_1_4 PURB n43_a_history_of_qed__1_5_1->n43_a_history_of_qed__1_5_1_4 n43_a_history_of_qed__1_5_1_1_1 NP-LGS n43_a_history_of_qed__1_5_1_1->n43_a_history_of_qed__1_5_1_1_1 n43_a_history_of_qed__1_5_1_1_2 VVN;_Tn.pr_ n43_a_history_of_qed__1_5_1_1->n43_a_history_of_qed__1_5_1_1_2 n43_a_history_of_qed__1_5_1_1_3 PP-CLR n43_a_history_of_qed__1_5_1_1->n43_a_history_of_qed__1_5_1_1_3 n43_a_history_of_qed__1_5_1_1_1->n43_a_history_of_qed__1_5_1_1_1_1 n43_a_history_of_qed__1_5_1_1_2->n43_a_history_of_qed__1_5_1_1_2_1 n43_a_history_of_qed__1_5_1_1_3_1 P-ROLE n43_a_history_of_qed__1_5_1_1_3->n43_a_history_of_qed__1_5_1_1_3_1 n43_a_history_of_qed__1_5_1_1_3_2 NP n43_a_history_of_qed__1_5_1_1_3->n43_a_history_of_qed__1_5_1_1_3_2 n43_a_history_of_qed__1_5_1_1_3_1->n43_a_history_of_qed__1_5_1_1_3_1_1 n43_a_history_of_qed__1_5_1_1_3_2->n43_a_history_of_qed__1_5_1_1_3_2_1 n43_a_history_of_qed__1_5_1_2->n43_a_history_of_qed__1_5_1_2_1 n43_a_history_of_qed__1_5_1_3_1 CONJ n43_a_history_of_qed__1_5_1_3->n43_a_history_of_qed__1_5_1_3_1 n43_a_history_of_qed__1_5_1_3_2 ILYR n43_a_history_of_qed__1_5_1_3->n43_a_history_of_qed__1_5_1_3_2 n43_a_history_of_qed__1_5_1_3_1->n43_a_history_of_qed__1_5_1_3_1_1 n43_a_history_of_qed__1_5_1_3_2_1 ADVP-NIM n43_a_history_of_qed__1_5_1_3_2->n43_a_history_of_qed__1_5_1_3_2_1 n43_a_history_of_qed__1_5_1_3_2_2 VVN;_Tn.pr_ n43_a_history_of_qed__1_5_1_3_2->n43_a_history_of_qed__1_5_1_3_2_2 n43_a_history_of_qed__1_5_1_3_2_3 PP-LGS n43_a_history_of_qed__1_5_1_3_2->n43_a_history_of_qed__1_5_1_3_2_3 n43_a_history_of_qed__1_5_1_3_2_1_1 ADV n43_a_history_of_qed__1_5_1_3_2_1->n43_a_history_of_qed__1_5_1_3_2_1_1 n43_a_history_of_qed__1_5_1_3_2_1_1->n43_a_history_of_qed__1_5_1_3_2_1_1_1 n43_a_history_of_qed__1_5_1_3_2_2->n43_a_history_of_qed__1_5_1_3_2_2_1 n43_a_history_of_qed__1_5_1_3_2_3_1 P-ROLE n43_a_history_of_qed__1_5_1_3_2_3->n43_a_history_of_qed__1_5_1_3_2_3_1 n43_a_history_of_qed__1_5_1_3_2_3_2 NP n43_a_history_of_qed__1_5_1_3_2_3->n43_a_history_of_qed__1_5_1_3_2_3_2 n43_a_history_of_qed__1_5_1_3_2_3_1->n43_a_history_of_qed__1_5_1_3_2_3_1_1 n43_a_history_of_qed__1_5_1_3_2_3_2->n43_a_history_of_qed__1_5_1_3_2_3_2_1 n43_a_history_of_qed__1_5_1_4->n43_a_history_of_qed__1_5_1_4_1 n43_a_history_of_qed__1_5_2_1 D 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 NPR 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 N 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 IP-PPL 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->n43_a_history_of_qed__1_5_2_1_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->n43_a_history_of_qed__1_5_2_3_1 n43_a_history_of_qed__1_5_2_4_1 NP-LGS 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_2_4_2 DON;_Tn_ n43_a_history_of_qed__1_5_2_4->n43_a_history_of_qed__1_5_2_4_2 n43_a_history_of_qed__1_5_2_4_3 PP-NIM n43_a_history_of_qed__1_5_2_4->n43_a_history_of_qed__1_5_2_4_3 n43_a_history_of_qed__1_5_2_4_1->n43_a_history_of_qed__1_5_2_4_1_1 n43_a_history_of_qed__1_5_2_4_2->n43_a_history_of_qed__1_5_2_4_2_1 n43_a_history_of_qed__1_5_2_4_3_1 P-ROLE n43_a_history_of_qed__1_5_2_4_3->n43_a_history_of_qed__1_5_2_4_3_1 n43_a_history_of_qed__1_5_2_4_3_2 NP n43_a_history_of_qed__1_5_2_4_3->n43_a_history_of_qed__1_5_2_4_3_2 n43_a_history_of_qed__1_5_2_4_3_1->n43_a_history_of_qed__1_5_2_4_3_1_1 n43_a_history_of_qed__1_5_2_4_3_2_1 NPR n43_a_history_of_qed__1_5_2_4_3_2->n43_a_history_of_qed__1_5_2_4_3_2_1 n43_a_history_of_qed__1_5_2_4_3_2_2 NPR n43_a_history_of_qed__1_5_2_4_3_2->n43_a_history_of_qed__1_5_2_4_3_2_2 n43_a_history_of_qed__1_5_2_4_3_2_3 NPR n43_a_history_of_qed__1_5_2_4_3_2->n43_a_history_of_qed__1_5_2_4_3_2_3 n43_a_history_of_qed__1_5_2_4_3_2_4 PP n43_a_history_of_qed__1_5_2_4_3_2->n43_a_history_of_qed__1_5_2_4_3_2_4 n43_a_history_of_qed__1_5_2_4_3_2_1->n43_a_history_of_qed__1_5_2_4_3_2_1_1 n43_a_history_of_qed__1_5_2_4_3_2_2->n43_a_history_of_qed__1_5_2_4_3_2_2_1 n43_a_history_of_qed__1_5_2_4_3_2_3->n43_a_history_of_qed__1_5_2_4_3_2_3_1 n43_a_history_of_qed__1_5_2_4_3_2_4_1 P-ROLE n43_a_history_of_qed__1_5_2_4_3_2_4->n43_a_history_of_qed__1_5_2_4_3_2_4_1 n43_a_history_of_qed__1_5_2_4_3_2_4_2 NP n43_a_history_of_qed__1_5_2_4_3_2_4->n43_a_history_of_qed__1_5_2_4_3_2_4_2 n43_a_history_of_qed__1_5_2_4_3_2_4_1->n43_a_history_of_qed__1_5_2_4_3_2_4_1_1 n43_a_history_of_qed__1_5_2_4_3_2_4_2_1 NPR n43_a_history_of_qed__1_5_2_4_3_2_4_2->n43_a_history_of_qed__1_5_2_4_3_2_4_2_1 n43_a_history_of_qed__1_5_2_4_3_2_4_2_1->n43_a_history_of_qed__1_5_2_4_3_2_4_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 (ILYR (ILYR (NP-LGS *)
                                  (VVN;_Tn.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-LGS (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 (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))