Context                Previous, Next                Top


50_a_history_of_qed
Sam offers cut - and - paste, mouse - and - menu editing on its text windows together with a command window, the language of which is drawn from the QED line of descent.

%3 r_0050_0002__offers offers r_0050_0001__Sam Sam r_0050_0002__offers->r_0050_0001__Sam [arg0] r_0050_0017__text_r_0050_0018__windows text windows r_0050_0002__offers->r_0050_0017__text_r_0050_0018__windows on [nim] r_0050_0019__together together r_0050_0002__offers->r_0050_0019__together [nim] z_000_50_a_history_of_qed_8 r_0050_0002__offers->z_000_50_a_history_of_qed_8 [arg1] r_0050_0017__text_r_0050_0018__windows->r_0050_0001__Sam [gen] r_0050_0021__a_r_0050_0022__command_r_0050_0023__window a command window r_0050_0019__together->r_0050_0021__a_r_0050_0022__command_r_0050_0023__window with r_0050_0005__and and z_000_50_a_history_of_qed_8->r_0050_0005__and [conj1] r_0050_0011__and and z_000_50_a_history_of_qed_8->r_0050_0011__and [conj2] r_0050_0003__cut cut r_0050_0005__and->r_0050_0003__cut [conj1] r_0050_0007__paste paste r_0050_0005__and->r_0050_0007__paste [conj2] r_0050_0009__mouse mouse r_0050_0011__and->r_0050_0009__mouse [conj1] r_0050_0013__menu_r_0050_0014__editing menu editing r_0050_0011__and->r_0050_0013__menu_r_0050_0014__editing [conj2] r_0050_0025__the_r_0050_0026__language the language r_0050_0025__the_r_0050_0026__language->r_0050_0021__a_r_0050_0022__command_r_0050_0023__window of r_0050_0029__is is r_0050_0030__drawn drawn r_0050_0029__is->r_0050_0030__drawn [scope] r_0050_0030__drawn->r_0050_0025__the_r_0050_0026__language [arg1] r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line the QED line r_0050_0030__drawn->r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line from [nim] z_000_50_a_history_of_qed_85 r_0050_0030__drawn->z_000_50_a_history_of_qed_85 [arg0] r_0050_0036__descent descent r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line->r_0050_0036__descent of 
arc(r_0050_0002__offers, r_0050_0001__Sam, arg0).
arc(r_0050_0002__offers, r_0050_0017__text_r_0050_0018__windows, r_0050_0015__on_nim47).
arc(r_0050_0002__offers, r_0050_0019__together, nim55).
arc(r_0050_0002__offers, z_000_50_a_history_of_qed_8, arg1).
arc(r_0050_0005__and, r_0050_0003__cut, conj1).
arc(r_0050_0005__and, r_0050_0007__paste, conj2).
arc(r_0050_0011__and, r_0050_0009__mouse, conj1).
arc(r_0050_0011__and, r_0050_0013__menu_r_0050_0014__editing, conj2).
arc(r_0050_0017__text_r_0050_0018__windows, r_0050_0001__Sam, gen).
arc(r_0050_0019__together, r_0050_0021__a_r_0050_0022__command_r_0050_0023__window, r_0050_0020__with).
arc(r_0050_0025__the_r_0050_0026__language, r_0050_0021__a_r_0050_0022__command_r_0050_0023__window, r_0050_0027__of).
arc(r_0050_0029__is, r_0050_0030__drawn, scope).
arc(r_0050_0030__drawn, r_0050_0025__the_r_0050_0026__language, arg1).
arc(r_0050_0030__drawn, r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line, r_0050_0031__from_nim92).
arc(r_0050_0030__drawn, z_000_50_a_history_of_qed_85, arg0).
arc(r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line, r_0050_0036__descent, r_0050_0035__of).
arc(z_000_50_a_history_of_qed_8, r_0050_0005__and, conj1).
arc(z_000_50_a_history_of_qed_8, r_0050_0011__and, conj2).


%3 r_0050_0002__offers offers r_0050_0001__Sam Sam r_0050_0002__offers->r_0050_0001__Sam [arg0] r_0050_0017__text_r_0050_0018__windows text windows r_0050_0002__offers->r_0050_0017__text_r_0050_0018__windows on [nim] r_0050_0019__together together r_0050_0002__offers->r_0050_0019__together [nim] z_000_50_a_history_of_qed_8 r_0050_0002__offers->z_000_50_a_history_of_qed_8 [arg1] r_0050_0017__text_r_0050_0018__windows->r_0050_0001__Sam [gen] r_0050_0021__a_r_0050_0022__command_r_0050_0023__window a command window r_0050_0019__together->r_0050_0021__a_r_0050_0022__command_r_0050_0023__window with r_0050_0005__and and z_000_50_a_history_of_qed_8->r_0050_0005__and [conj1] r_0050_0011__and and z_000_50_a_history_of_qed_8->r_0050_0011__and [conj2] r_0050_0003__cut cut r_0050_0005__and->r_0050_0003__cut [conj1] r_0050_0007__paste paste r_0050_0005__and->r_0050_0007__paste [conj2] r_0050_0009__mouse mouse r_0050_0011__and->r_0050_0009__mouse [conj1] r_0050_0013__menu_r_0050_0014__editing menu editing r_0050_0011__and->r_0050_0013__menu_r_0050_0014__editing [conj2] r_0050_0025__the_r_0050_0026__language the language r_0050_0025__the_r_0050_0026__language->r_0050_0021__a_r_0050_0022__command_r_0050_0023__window of r_0050_0029__is_r_0050_0030__drawn is drawn r_0050_0029__is_r_0050_0030__drawn->r_0050_0025__the_r_0050_0026__language [arg1] r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line the QED line r_0050_0029__is_r_0050_0030__drawn->r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line from [nim] z_000_50_a_history_of_qed_85 r_0050_0029__is_r_0050_0030__drawn->z_000_50_a_history_of_qed_85 [arg0] r_0050_0036__descent descent r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line->r_0050_0036__descent of 
fof(formula,axiom,
    ? [R_50_2_OFFERS,Z_50_A_HISTORY_OF_QED_8,R_50_5_AND,R_50_3_CUT,R_50_7_PASTE,R_50_11_AND,R_50_9_MOUSE,R_50_13_MENU_EDITING,R_50_19_TOGETHER,R_50_17_TEXT_WINDOWS,R_50_1_SAM,R_50_29_IS_DRAWN,Z_50_A_HISTORY_OF_QED_85,R_50_25_THE_LANGUAGE,R_50_21_A_COMMAND_WINDOW,R_50_32_THE_QED_LINE,R_50_36_DESCENT] :
      ( cut(R_50_3_CUT)
      & paste(R_50_7_PASTE)
      & mouse(R_50_9_MOUSE)
      & menu_editing(R_50_13_MENU_EDITING)
      & sam(R_50_1_SAM)
      & a_command_window(R_50_21_A_COMMAND_WINDOW)
      & descent(R_50_36_DESCENT)
      & offers(R_50_2_OFFERS,R_50_1_SAM,Z_50_A_HISTORY_OF_QED_8)
      & z_50_a_history_of_qed_8(Z_50_A_HISTORY_OF_QED_8)
      & conj1(Z_50_A_HISTORY_OF_QED_8,R_50_5_AND)
      & and(R_50_5_AND)
      & conj1(R_50_5_AND,R_50_3_CUT)
      & conj2(R_50_5_AND,R_50_7_PASTE)
      & conj2(Z_50_A_HISTORY_OF_QED_8,R_50_11_AND)
      & and(R_50_11_AND)
      & conj1(R_50_11_AND,R_50_9_MOUSE)
      & conj2(R_50_11_AND,R_50_13_MENU_EDITING)
      & nim55(R_50_2_OFFERS,R_50_19_TOGETHER)
      & together(R_50_19_TOGETHER)
      & with(R_50_19_TOGETHER,R_50_21_A_COMMAND_WINDOW)
      & on_nim47(R_50_2_OFFERS,R_50_17_TEXT_WINDOWS)
      & text_windows(R_50_17_TEXT_WINDOWS)
      & gen(R_50_17_TEXT_WINDOWS,R_50_1_SAM)
      & is_drawn(R_50_29_IS_DRAWN,Z_50_A_HISTORY_OF_QED_85,R_50_25_THE_LANGUAGE)
      & the_language(R_50_25_THE_LANGUAGE)
      & of(R_50_25_THE_LANGUAGE,R_50_21_A_COMMAND_WINDOW)
      & from_nim92(R_50_29_IS_DRAWN,R_50_32_THE_QED_LINE)
      & the_QED_line(R_50_32_THE_QED_LINE)
      & of(R_50_32_THE_QED_LINE,R_50_36_DESCENT) ) ).


n50_a_history_of_qed n50_a_history_of_qed_4 Sam n50_a_history_of_qed_6 offers n50_a_history_of_qed_13 cut n50_a_history_of_qed_15 - n50_a_history_of_qed_18 and n50_a_history_of_qed_20 - n50_a_history_of_qed_23 paste n50_a_history_of_qed_25 , n50_a_history_of_qed_31 mouse n50_a_history_of_qed_33 - n50_a_history_of_qed_36 and n50_a_history_of_qed_38 - n50_a_history_of_qed_41 menu n50_a_history_of_qed_43 editing n50_a_history_of_qed_46 on n50_a_history_of_qed_50 its n50_a_history_of_qed_52 text n50_a_history_of_qed_54 windows n50_a_history_of_qed_57 together n50_a_history_of_qed_60 with n50_a_history_of_qed_63 a n50_a_history_of_qed_65 command n50_a_history_of_qed_67 window n50_a_history_of_qed_69 , n50_a_history_of_qed_73 the n50_a_history_of_qed_75 language n50_a_history_of_qed_78 of n50_a_history_of_qed_81 which n50_a_history_of_qed_83 is n50_a_history_of_qed_86 * n50_a_history_of_qed_88 drawn n50_a_history_of_qed_91 from n50_a_history_of_qed_94 the n50_a_history_of_qed_96 QED n50_a_history_of_qed_98 line n50_a_history_of_qed_101 of n50_a_history_of_qed_104 descent n50_a_history_of_qed_106 . n50_a_history_of_qed_1 IP-MAT n50_a_history_of_qed_2 NP-SBJ n50_a_history_of_qed_1->n50_a_history_of_qed_2 n50_a_history_of_qed_5 VBP;_Tn_ n50_a_history_of_qed_1->n50_a_history_of_qed_5 n50_a_history_of_qed_7 NP-OB1 n50_a_history_of_qed_1->n50_a_history_of_qed_7 n50_a_history_of_qed_44 PP-NIM n50_a_history_of_qed_1->n50_a_history_of_qed_44 n50_a_history_of_qed_55 ADVP-NIM n50_a_history_of_qed_1->n50_a_history_of_qed_55 n50_a_history_of_qed_105 PUNC n50_a_history_of_qed_1->n50_a_history_of_qed_105 n50_a_history_of_qed_3 NPR n50_a_history_of_qed_2->n50_a_history_of_qed_3 n50_a_history_of_qed_3->n50_a_history_of_qed_4 n50_a_history_of_qed_5->n50_a_history_of_qed_6 n50_a_history_of_qed_8 NLYR n50_a_history_of_qed_7->n50_a_history_of_qed_8 n50_a_history_of_qed_9 NLYR n50_a_history_of_qed_8->n50_a_history_of_qed_9 n50_a_history_of_qed_24 PUNC n50_a_history_of_qed_8->n50_a_history_of_qed_24 n50_a_history_of_qed_26 CONJP n50_a_history_of_qed_8->n50_a_history_of_qed_26 n50_a_history_of_qed_10 NLYR n50_a_history_of_qed_9->n50_a_history_of_qed_10 n50_a_history_of_qed_11 NLYR n50_a_history_of_qed_10->n50_a_history_of_qed_11 n50_a_history_of_qed_14 PUNC n50_a_history_of_qed_10->n50_a_history_of_qed_14 n50_a_history_of_qed_16 CONJP n50_a_history_of_qed_10->n50_a_history_of_qed_16 n50_a_history_of_qed_12 N n50_a_history_of_qed_11->n50_a_history_of_qed_12 n50_a_history_of_qed_12->n50_a_history_of_qed_13 n50_a_history_of_qed_14->n50_a_history_of_qed_15 n50_a_history_of_qed_17 CONJ n50_a_history_of_qed_16->n50_a_history_of_qed_17 n50_a_history_of_qed_19 PUNC n50_a_history_of_qed_16->n50_a_history_of_qed_19 n50_a_history_of_qed_21 NLYR n50_a_history_of_qed_16->n50_a_history_of_qed_21 n50_a_history_of_qed_17->n50_a_history_of_qed_18 n50_a_history_of_qed_19->n50_a_history_of_qed_20 n50_a_history_of_qed_22 N n50_a_history_of_qed_21->n50_a_history_of_qed_22 n50_a_history_of_qed_22->n50_a_history_of_qed_23 n50_a_history_of_qed_24->n50_a_history_of_qed_25 n50_a_history_of_qed_27 NLYR n50_a_history_of_qed_26->n50_a_history_of_qed_27 n50_a_history_of_qed_28 NLYR n50_a_history_of_qed_27->n50_a_history_of_qed_28 n50_a_history_of_qed_29 NLYR n50_a_history_of_qed_28->n50_a_history_of_qed_29 n50_a_history_of_qed_32 PUNC n50_a_history_of_qed_28->n50_a_history_of_qed_32 n50_a_history_of_qed_34 CONJP n50_a_history_of_qed_28->n50_a_history_of_qed_34 n50_a_history_of_qed_30 N n50_a_history_of_qed_29->n50_a_history_of_qed_30 n50_a_history_of_qed_30->n50_a_history_of_qed_31 n50_a_history_of_qed_32->n50_a_history_of_qed_33 n50_a_history_of_qed_35 CONJ n50_a_history_of_qed_34->n50_a_history_of_qed_35 n50_a_history_of_qed_37 PUNC n50_a_history_of_qed_34->n50_a_history_of_qed_37 n50_a_history_of_qed_39 NLYR n50_a_history_of_qed_34->n50_a_history_of_qed_39 n50_a_history_of_qed_35->n50_a_history_of_qed_36 n50_a_history_of_qed_37->n50_a_history_of_qed_38 n50_a_history_of_qed_40 N n50_a_history_of_qed_39->n50_a_history_of_qed_40 n50_a_history_of_qed_42 N n50_a_history_of_qed_39->n50_a_history_of_qed_42 n50_a_history_of_qed_40->n50_a_history_of_qed_41 n50_a_history_of_qed_42->n50_a_history_of_qed_43 n50_a_history_of_qed_45 P-ROLE n50_a_history_of_qed_44->n50_a_history_of_qed_45 n50_a_history_of_qed_47 NP n50_a_history_of_qed_44->n50_a_history_of_qed_47 n50_a_history_of_qed_45->n50_a_history_of_qed_46 n50_a_history_of_qed_48 NP-GEN n50_a_history_of_qed_47->n50_a_history_of_qed_48 n50_a_history_of_qed_51 N n50_a_history_of_qed_47->n50_a_history_of_qed_51 n50_a_history_of_qed_53 NS n50_a_history_of_qed_47->n50_a_history_of_qed_53 n50_a_history_of_qed_49 PRO;_genm_ n50_a_history_of_qed_48->n50_a_history_of_qed_49 n50_a_history_of_qed_49->n50_a_history_of_qed_50 n50_a_history_of_qed_51->n50_a_history_of_qed_52 n50_a_history_of_qed_53->n50_a_history_of_qed_54 n50_a_history_of_qed_56 ADV n50_a_history_of_qed_55->n50_a_history_of_qed_56 n50_a_history_of_qed_58 PP n50_a_history_of_qed_55->n50_a_history_of_qed_58 n50_a_history_of_qed_56->n50_a_history_of_qed_57 n50_a_history_of_qed_59 P-ROLE n50_a_history_of_qed_58->n50_a_history_of_qed_59 n50_a_history_of_qed_61 NP n50_a_history_of_qed_58->n50_a_history_of_qed_61 n50_a_history_of_qed_59->n50_a_history_of_qed_60 n50_a_history_of_qed_62 D n50_a_history_of_qed_61->n50_a_history_of_qed_62 n50_a_history_of_qed_64 N n50_a_history_of_qed_61->n50_a_history_of_qed_64 n50_a_history_of_qed_66 N n50_a_history_of_qed_61->n50_a_history_of_qed_66 n50_a_history_of_qed_68 PUNC n50_a_history_of_qed_61->n50_a_history_of_qed_68 n50_a_history_of_qed_70 IP-REL n50_a_history_of_qed_61->n50_a_history_of_qed_70 n50_a_history_of_qed_62->n50_a_history_of_qed_63 n50_a_history_of_qed_64->n50_a_history_of_qed_65 n50_a_history_of_qed_66->n50_a_history_of_qed_67 n50_a_history_of_qed_68->n50_a_history_of_qed_69 n50_a_history_of_qed_71 NP-SBJ n50_a_history_of_qed_70->n50_a_history_of_qed_71 n50_a_history_of_qed_82 BEP;_cat_VePASS_ n50_a_history_of_qed_70->n50_a_history_of_qed_82 n50_a_history_of_qed_84 IP-PPL-CAT n50_a_history_of_qed_70->n50_a_history_of_qed_84 n50_a_history_of_qed_72 D n50_a_history_of_qed_71->n50_a_history_of_qed_72 n50_a_history_of_qed_74 N n50_a_history_of_qed_71->n50_a_history_of_qed_74 n50_a_history_of_qed_76 PP n50_a_history_of_qed_71->n50_a_history_of_qed_76 n50_a_history_of_qed_72->n50_a_history_of_qed_73 n50_a_history_of_qed_74->n50_a_history_of_qed_75 n50_a_history_of_qed_77 P-ROLE n50_a_history_of_qed_76->n50_a_history_of_qed_77 n50_a_history_of_qed_79 NP n50_a_history_of_qed_76->n50_a_history_of_qed_79 n50_a_history_of_qed_77->n50_a_history_of_qed_78 n50_a_history_of_qed_80 RPRO n50_a_history_of_qed_79->n50_a_history_of_qed_80 n50_a_history_of_qed_80->n50_a_history_of_qed_81 n50_a_history_of_qed_82->n50_a_history_of_qed_83 n50_a_history_of_qed_85 NP-LGS n50_a_history_of_qed_84->n50_a_history_of_qed_85 n50_a_history_of_qed_87 VVN;__ n50_a_history_of_qed_84->n50_a_history_of_qed_87 n50_a_history_of_qed_89 PP-NIM n50_a_history_of_qed_84->n50_a_history_of_qed_89 n50_a_history_of_qed_85->n50_a_history_of_qed_86 n50_a_history_of_qed_87->n50_a_history_of_qed_88 n50_a_history_of_qed_90 P-ROLE n50_a_history_of_qed_89->n50_a_history_of_qed_90 n50_a_history_of_qed_92 NP n50_a_history_of_qed_89->n50_a_history_of_qed_92 n50_a_history_of_qed_90->n50_a_history_of_qed_91 n50_a_history_of_qed_93 D n50_a_history_of_qed_92->n50_a_history_of_qed_93 n50_a_history_of_qed_95 NPR n50_a_history_of_qed_92->n50_a_history_of_qed_95 n50_a_history_of_qed_97 N n50_a_history_of_qed_92->n50_a_history_of_qed_97 n50_a_history_of_qed_99 PP n50_a_history_of_qed_92->n50_a_history_of_qed_99 n50_a_history_of_qed_93->n50_a_history_of_qed_94 n50_a_history_of_qed_95->n50_a_history_of_qed_96 n50_a_history_of_qed_97->n50_a_history_of_qed_98 n50_a_history_of_qed_100 P-ROLE n50_a_history_of_qed_99->n50_a_history_of_qed_100 n50_a_history_of_qed_102 NP n50_a_history_of_qed_99->n50_a_history_of_qed_102 n50_a_history_of_qed_100->n50_a_history_of_qed_101 n50_a_history_of_qed_103 N n50_a_history_of_qed_102->n50_a_history_of_qed_103 n50_a_history_of_qed_103->n50_a_history_of_qed_104 n50_a_history_of_qed_105->n50_a_history_of_qed_106 
( (IP-MAT (NP-SBJ;{SAM} (NPR Sam;{Sam}))
          (VBP;_Tn_ offers;{offer})
          (NP-OB1 (NLYR (NLYR (NLYR (NLYR (N cut;{cut}))
                                    (PUNC <hyphen>)
                                    (CONJP (CONJ and;{and})
                                           (PUNC <hyphen>)
                                           (NLYR (N paste;{paste})))))
                        (PUNC ,)
                        (CONJP (NLYR (NLYR (NLYR (N mouse;{mouse}))
                                           (PUNC <hyphen>)
                                           (CONJP (CONJ and;{and})
                                                  (PUNC <hyphen>)
                                                  (NLYR (N menu;{menu})
                                                        (N editing;{editing}))))))))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NP-GEN;{SAM} (PRO;_genm_ its;{its}))
                      (N text;{text})
                      (NS windows;{window})))
          (ADVP-NIM (ADV together;{together})
                    (PP (P-ROLE with;{with})
                        (NP (D a;{a})
                            (N command;{command})
                            (N window;{window})
                            (PUNC ,)
                            (IP-REL (NP-SBJ (D the;{the})
                                            (N language;{language})
                                            (PP (P-ROLE of;{of})
                                                (NP (RPRO which;{which}))))
                                    (BEP;_cat_VePASS_ is;{be})
                                    (IP-PPL-CAT (NP-LGS *)
                                                (VVN;__ drawn;{draw})
                                                (PP-NIM (P-ROLE from;{from})
                                                        (NP (D the;{the})
                                                            (NPR QED;{QED})
                                                            (N line;{line})
                                                            (PP (P-ROLE of;{of})
                                                                (NP (N descent;{descent}))))))))))
          (PUNC .))
  (ID 50_a_history_of_qed))