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_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_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 
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_4 According_to n43_a_history_of_qed_7 George n43_a_history_of_qed_9 Coulouris n43_a_history_of_qed_11 , n43_a_history_of_qed_14 vi n43_a_history_of_qed_16 was n43_a_history_of_qed_21 * n43_a_history_of_qed_23 based n43_a_history_of_qed_26 on n43_a_history_of_qed_28 *ICH*-135 n43_a_history_of_qed_30 -LRB- n43_a_history_of_qed_33 or n43_a_history_of_qed_37 at_least n43_a_history_of_qed_39 inspired n43_a_history_of_qed_42 by n43_a_history_of_qed_44 *ICH*-135 n43_a_history_of_qed_46 -RRB- n43_a_history_of_qed_49 the n43_a_history_of_qed_51 em n43_a_history_of_qed_53 editor n43_a_history_of_qed_56 * n43_a_history_of_qed_58 done n43_a_history_of_qed_61 at n43_a_history_of_qed_64 Queen n43_a_history_of_qed_66 Mary n43_a_history_of_qed_68 College n43_a_history_of_qed_71 in n43_a_history_of_qed_74 London n43_a_history_of_qed_76 . n43_a_history_of_qed_1 IP-MAT n43_a_history_of_qed_2 PP-NIM n43_a_history_of_qed_1->n43_a_history_of_qed_2 n43_a_history_of_qed_10 PUNC n43_a_history_of_qed_1->n43_a_history_of_qed_10 n43_a_history_of_qed_12 NP-SBJ n43_a_history_of_qed_1->n43_a_history_of_qed_12 n43_a_history_of_qed_15 BED;_cat_VePASS_ n43_a_history_of_qed_1->n43_a_history_of_qed_15 n43_a_history_of_qed_17 IP-PPL-CAT n43_a_history_of_qed_1->n43_a_history_of_qed_17 n43_a_history_of_qed_75 PUNC n43_a_history_of_qed_1->n43_a_history_of_qed_75 n43_a_history_of_qed_3 P-ROLE n43_a_history_of_qed_2->n43_a_history_of_qed_3 n43_a_history_of_qed_5 NP n43_a_history_of_qed_2->n43_a_history_of_qed_5 n43_a_history_of_qed_3->n43_a_history_of_qed_4 n43_a_history_of_qed_6 NPR n43_a_history_of_qed_5->n43_a_history_of_qed_6 n43_a_history_of_qed_8 NPR n43_a_history_of_qed_5->n43_a_history_of_qed_8 n43_a_history_of_qed_6->n43_a_history_of_qed_7 n43_a_history_of_qed_8->n43_a_history_of_qed_9 n43_a_history_of_qed_10->n43_a_history_of_qed_11 n43_a_history_of_qed_13 NPR n43_a_history_of_qed_12->n43_a_history_of_qed_13 n43_a_history_of_qed_13->n43_a_history_of_qed_14 n43_a_history_of_qed_15->n43_a_history_of_qed_16 n43_a_history_of_qed_18 ILYR n43_a_history_of_qed_17->n43_a_history_of_qed_18 n43_a_history_of_qed_47 NP-RNR-135 n43_a_history_of_qed_17->n43_a_history_of_qed_47 n43_a_history_of_qed_19 ILYR n43_a_history_of_qed_18->n43_a_history_of_qed_19 n43_a_history_of_qed_29 PULB n43_a_history_of_qed_18->n43_a_history_of_qed_29 n43_a_history_of_qed_31 CONJP n43_a_history_of_qed_18->n43_a_history_of_qed_31 n43_a_history_of_qed_45 PURB n43_a_history_of_qed_18->n43_a_history_of_qed_45 n43_a_history_of_qed_20 NP-LGS n43_a_history_of_qed_19->n43_a_history_of_qed_20 n43_a_history_of_qed_22 VVN;_Tn.pr_ n43_a_history_of_qed_19->n43_a_history_of_qed_22 n43_a_history_of_qed_24 PP-CLR n43_a_history_of_qed_19->n43_a_history_of_qed_24 n43_a_history_of_qed_20->n43_a_history_of_qed_21 n43_a_history_of_qed_22->n43_a_history_of_qed_23 n43_a_history_of_qed_25 P-ROLE n43_a_history_of_qed_24->n43_a_history_of_qed_25 n43_a_history_of_qed_27 NP n43_a_history_of_qed_24->n43_a_history_of_qed_27 n43_a_history_of_qed_25->n43_a_history_of_qed_26 n43_a_history_of_qed_27->n43_a_history_of_qed_28 n43_a_history_of_qed_29->n43_a_history_of_qed_30 n43_a_history_of_qed_32 CONJ n43_a_history_of_qed_31->n43_a_history_of_qed_32 n43_a_history_of_qed_34 ILYR n43_a_history_of_qed_31->n43_a_history_of_qed_34 n43_a_history_of_qed_32->n43_a_history_of_qed_33 n43_a_history_of_qed_35 ADVP-NIM n43_a_history_of_qed_34->n43_a_history_of_qed_35 n43_a_history_of_qed_38 VVN;_Tn.pr_ n43_a_history_of_qed_34->n43_a_history_of_qed_38 n43_a_history_of_qed_40 PP-LGS n43_a_history_of_qed_34->n43_a_history_of_qed_40 n43_a_history_of_qed_36 ADV n43_a_history_of_qed_35->n43_a_history_of_qed_36 n43_a_history_of_qed_36->n43_a_history_of_qed_37 n43_a_history_of_qed_38->n43_a_history_of_qed_39 n43_a_history_of_qed_41 P-ROLE n43_a_history_of_qed_40->n43_a_history_of_qed_41 n43_a_history_of_qed_43 NP n43_a_history_of_qed_40->n43_a_history_of_qed_43 n43_a_history_of_qed_41->n43_a_history_of_qed_42 n43_a_history_of_qed_43->n43_a_history_of_qed_44 n43_a_history_of_qed_45->n43_a_history_of_qed_46 n43_a_history_of_qed_48 D n43_a_history_of_qed_47->n43_a_history_of_qed_48 n43_a_history_of_qed_50 NPR n43_a_history_of_qed_47->n43_a_history_of_qed_50 n43_a_history_of_qed_52 N n43_a_history_of_qed_47->n43_a_history_of_qed_52 n43_a_history_of_qed_54 IP-PPL n43_a_history_of_qed_47->n43_a_history_of_qed_54 n43_a_history_of_qed_48->n43_a_history_of_qed_49 n43_a_history_of_qed_50->n43_a_history_of_qed_51 n43_a_history_of_qed_52->n43_a_history_of_qed_53 n43_a_history_of_qed_55 NP-LGS n43_a_history_of_qed_54->n43_a_history_of_qed_55 n43_a_history_of_qed_57 DON;_Tn_ n43_a_history_of_qed_54->n43_a_history_of_qed_57 n43_a_history_of_qed_59 PP-NIM n43_a_history_of_qed_54->n43_a_history_of_qed_59 n43_a_history_of_qed_55->n43_a_history_of_qed_56 n43_a_history_of_qed_57->n43_a_history_of_qed_58 n43_a_history_of_qed_60 P-ROLE n43_a_history_of_qed_59->n43_a_history_of_qed_60 n43_a_history_of_qed_62 NP n43_a_history_of_qed_59->n43_a_history_of_qed_62 n43_a_history_of_qed_60->n43_a_history_of_qed_61 n43_a_history_of_qed_63 NPR n43_a_history_of_qed_62->n43_a_history_of_qed_63 n43_a_history_of_qed_65 NPR n43_a_history_of_qed_62->n43_a_history_of_qed_65 n43_a_history_of_qed_67 NPR n43_a_history_of_qed_62->n43_a_history_of_qed_67 n43_a_history_of_qed_69 PP n43_a_history_of_qed_62->n43_a_history_of_qed_69 n43_a_history_of_qed_63->n43_a_history_of_qed_64 n43_a_history_of_qed_65->n43_a_history_of_qed_66 n43_a_history_of_qed_67->n43_a_history_of_qed_68 n43_a_history_of_qed_70 P-ROLE n43_a_history_of_qed_69->n43_a_history_of_qed_70 n43_a_history_of_qed_72 NP n43_a_history_of_qed_69->n43_a_history_of_qed_72 n43_a_history_of_qed_70->n43_a_history_of_qed_71 n43_a_history_of_qed_73 NPR n43_a_history_of_qed_72->n43_a_history_of_qed_73 n43_a_history_of_qed_73->n43_a_history_of_qed_74 n43_a_history_of_qed_75->n43_a_history_of_qed_76 
( (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))