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 z_000_50_a_history_of_qed_8 r_0050_0011__and and z_000_50_a_history_of_qed_8->r_0050_0011__and [conj2] r_0050_0005__and and z_000_50_a_history_of_qed_8->r_0050_0005__and [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_0009__mouse mouse r_0050_0011__and->r_0050_0009__mouse [conj1] r_0050_0007__paste paste r_0050_0005__and->r_0050_0007__paste [conj2] r_0050_0003__cut cut r_0050_0005__and->r_0050_0003__cut [conj1] r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line the QED line r_0050_0036__descent descent r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line->r_0050_0036__descent of r_0050_0029__is_r_0050_0030__drawn is drawn 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_0025__the_r_0050_0026__language the language r_0050_0029__is_r_0050_0030__drawn->r_0050_0025__the_r_0050_0026__language [arg1] r_0050_0021__a_r_0050_0022__command_r_0050_0023__window a command window r_0050_0025__the_r_0050_0026__language->r_0050_0021__a_r_0050_0022__command_r_0050_0023__window of r_0050_0019__together together r_0050_0019__together->r_0050_0021__a_r_0050_0022__command_r_0050_0023__window with r_0050_0017__text_r_0050_0018__windows text windows r_0050_0001__Sam Sam r_0050_0017__text_r_0050_0018__windows->r_0050_0001__Sam [gen] r_0050_0002__offers offers r_0050_0002__offers->z_000_50_a_history_of_qed_8 [arg1] r_0050_0002__offers->r_0050_0019__together [nim] r_0050_0002__offers->r_0050_0017__text_r_0050_0018__windows on [nim] r_0050_0002__offers->r_0050_0001__Sam [arg0] 
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__1_1_1_1 Sam n50_a_history_of_qed__1_2_1 offers n50_a_history_of_qed__1_3_1_1_1_1_1_1 cut n50_a_history_of_qed__1_3_1_1_1_2_1 - n50_a_history_of_qed__1_3_1_1_1_3_1_1 and n50_a_history_of_qed__1_3_1_1_1_3_2_1 - n50_a_history_of_qed__1_3_1_1_1_3_3_1_1 paste n50_a_history_of_qed__1_3_1_2_1 , n50_a_history_of_qed__1_3_1_3_1_1_1_1_1 mouse n50_a_history_of_qed__1_3_1_3_1_1_2_1 - n50_a_history_of_qed__1_3_1_3_1_1_3_1_1 and n50_a_history_of_qed__1_3_1_3_1_1_3_2_1 - n50_a_history_of_qed__1_3_1_3_1_1_3_3_1_1 menu n50_a_history_of_qed__1_3_1_3_1_1_3_3_2_1 editing n50_a_history_of_qed__1_4_1_1 on n50_a_history_of_qed__1_4_2_1_1_1 its n50_a_history_of_qed__1_4_2_2_1 text n50_a_history_of_qed__1_4_2_3_1 windows n50_a_history_of_qed__1_5_1_1 together n50_a_history_of_qed__1_5_2_1_1 with n50_a_history_of_qed__1_5_2_2_1_1 a n50_a_history_of_qed__1_5_2_2_2_1 command n50_a_history_of_qed__1_5_2_2_3_1 window n50_a_history_of_qed__1_5_2_2_4_1 , n50_a_history_of_qed__1_5_2_2_5_1_1_1 the n50_a_history_of_qed__1_5_2_2_5_1_2_1 language n50_a_history_of_qed__1_5_2_2_5_1_3_1_1 of n50_a_history_of_qed__1_5_2_2_5_1_3_2_1_1 which n50_a_history_of_qed__1_5_2_2_5_2_1 is n50_a_history_of_qed__1_5_2_2_5_3_1_1 * n50_a_history_of_qed__1_5_2_2_5_3_2_1 drawn n50_a_history_of_qed__1_5_2_2_5_3_3_1_1 from n50_a_history_of_qed__1_5_2_2_5_3_3_2_1_1 the n50_a_history_of_qed__1_5_2_2_5_3_3_2_2_1 QED n50_a_history_of_qed__1_5_2_2_5_3_3_2_3_1 line n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_1_1 of n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2_1_1 descent n50_a_history_of_qed__1_6_1 . n50_a_history_of_qed__1 IP-MAT n50_a_history_of_qed__1_1 NP-SBJ n50_a_history_of_qed__1->n50_a_history_of_qed__1_1 n50_a_history_of_qed__1_2 VBP;_Tn_ n50_a_history_of_qed__1->n50_a_history_of_qed__1_2 n50_a_history_of_qed__1_3 NP-OB1 n50_a_history_of_qed__1->n50_a_history_of_qed__1_3 n50_a_history_of_qed__1_4 PP-NIM n50_a_history_of_qed__1->n50_a_history_of_qed__1_4 n50_a_history_of_qed__1_5 ADVP-NIM n50_a_history_of_qed__1->n50_a_history_of_qed__1_5 n50_a_history_of_qed__1_6 PUNC n50_a_history_of_qed__1->n50_a_history_of_qed__1_6 n50_a_history_of_qed__1_1_1 NPR n50_a_history_of_qed__1_1->n50_a_history_of_qed__1_1_1 n50_a_history_of_qed__1_1_1->n50_a_history_of_qed__1_1_1_1 n50_a_history_of_qed__1_2->n50_a_history_of_qed__1_2_1 n50_a_history_of_qed__1_3_1 NLYR n50_a_history_of_qed__1_3->n50_a_history_of_qed__1_3_1 n50_a_history_of_qed__1_3_1_1 NLYR n50_a_history_of_qed__1_3_1->n50_a_history_of_qed__1_3_1_1 n50_a_history_of_qed__1_3_1_2 PUNC n50_a_history_of_qed__1_3_1->n50_a_history_of_qed__1_3_1_2 n50_a_history_of_qed__1_3_1_3 CONJP n50_a_history_of_qed__1_3_1->n50_a_history_of_qed__1_3_1_3 n50_a_history_of_qed__1_3_1_1_1 NLYR n50_a_history_of_qed__1_3_1_1->n50_a_history_of_qed__1_3_1_1_1 n50_a_history_of_qed__1_3_1_1_1_1 NLYR n50_a_history_of_qed__1_3_1_1_1->n50_a_history_of_qed__1_3_1_1_1_1 n50_a_history_of_qed__1_3_1_1_1_2 PUNC n50_a_history_of_qed__1_3_1_1_1->n50_a_history_of_qed__1_3_1_1_1_2 n50_a_history_of_qed__1_3_1_1_1_3 CONJP n50_a_history_of_qed__1_3_1_1_1->n50_a_history_of_qed__1_3_1_1_1_3 n50_a_history_of_qed__1_3_1_1_1_1_1 N n50_a_history_of_qed__1_3_1_1_1_1->n50_a_history_of_qed__1_3_1_1_1_1_1 n50_a_history_of_qed__1_3_1_1_1_1_1->n50_a_history_of_qed__1_3_1_1_1_1_1_1 n50_a_history_of_qed__1_3_1_1_1_2->n50_a_history_of_qed__1_3_1_1_1_2_1 n50_a_history_of_qed__1_3_1_1_1_3_1 CONJ n50_a_history_of_qed__1_3_1_1_1_3->n50_a_history_of_qed__1_3_1_1_1_3_1 n50_a_history_of_qed__1_3_1_1_1_3_2 PUNC n50_a_history_of_qed__1_3_1_1_1_3->n50_a_history_of_qed__1_3_1_1_1_3_2 n50_a_history_of_qed__1_3_1_1_1_3_3 NLYR n50_a_history_of_qed__1_3_1_1_1_3->n50_a_history_of_qed__1_3_1_1_1_3_3 n50_a_history_of_qed__1_3_1_1_1_3_1->n50_a_history_of_qed__1_3_1_1_1_3_1_1 n50_a_history_of_qed__1_3_1_1_1_3_2->n50_a_history_of_qed__1_3_1_1_1_3_2_1 n50_a_history_of_qed__1_3_1_1_1_3_3_1 N n50_a_history_of_qed__1_3_1_1_1_3_3->n50_a_history_of_qed__1_3_1_1_1_3_3_1 n50_a_history_of_qed__1_3_1_1_1_3_3_1->n50_a_history_of_qed__1_3_1_1_1_3_3_1_1 n50_a_history_of_qed__1_3_1_2->n50_a_history_of_qed__1_3_1_2_1 n50_a_history_of_qed__1_3_1_3_1 NLYR n50_a_history_of_qed__1_3_1_3->n50_a_history_of_qed__1_3_1_3_1 n50_a_history_of_qed__1_3_1_3_1_1 NLYR n50_a_history_of_qed__1_3_1_3_1->n50_a_history_of_qed__1_3_1_3_1_1 n50_a_history_of_qed__1_3_1_3_1_1_1 NLYR n50_a_history_of_qed__1_3_1_3_1_1->n50_a_history_of_qed__1_3_1_3_1_1_1 n50_a_history_of_qed__1_3_1_3_1_1_2 PUNC n50_a_history_of_qed__1_3_1_3_1_1->n50_a_history_of_qed__1_3_1_3_1_1_2 n50_a_history_of_qed__1_3_1_3_1_1_3 CONJP n50_a_history_of_qed__1_3_1_3_1_1->n50_a_history_of_qed__1_3_1_3_1_1_3 n50_a_history_of_qed__1_3_1_3_1_1_1_1 N n50_a_history_of_qed__1_3_1_3_1_1_1->n50_a_history_of_qed__1_3_1_3_1_1_1_1 n50_a_history_of_qed__1_3_1_3_1_1_1_1->n50_a_history_of_qed__1_3_1_3_1_1_1_1_1 n50_a_history_of_qed__1_3_1_3_1_1_2->n50_a_history_of_qed__1_3_1_3_1_1_2_1 n50_a_history_of_qed__1_3_1_3_1_1_3_1 CONJ n50_a_history_of_qed__1_3_1_3_1_1_3->n50_a_history_of_qed__1_3_1_3_1_1_3_1 n50_a_history_of_qed__1_3_1_3_1_1_3_2 PUNC n50_a_history_of_qed__1_3_1_3_1_1_3->n50_a_history_of_qed__1_3_1_3_1_1_3_2 n50_a_history_of_qed__1_3_1_3_1_1_3_3 NLYR n50_a_history_of_qed__1_3_1_3_1_1_3->n50_a_history_of_qed__1_3_1_3_1_1_3_3 n50_a_history_of_qed__1_3_1_3_1_1_3_1->n50_a_history_of_qed__1_3_1_3_1_1_3_1_1 n50_a_history_of_qed__1_3_1_3_1_1_3_2->n50_a_history_of_qed__1_3_1_3_1_1_3_2_1 n50_a_history_of_qed__1_3_1_3_1_1_3_3_1 N n50_a_history_of_qed__1_3_1_3_1_1_3_3->n50_a_history_of_qed__1_3_1_3_1_1_3_3_1 n50_a_history_of_qed__1_3_1_3_1_1_3_3_2 N n50_a_history_of_qed__1_3_1_3_1_1_3_3->n50_a_history_of_qed__1_3_1_3_1_1_3_3_2 n50_a_history_of_qed__1_3_1_3_1_1_3_3_1->n50_a_history_of_qed__1_3_1_3_1_1_3_3_1_1 n50_a_history_of_qed__1_3_1_3_1_1_3_3_2->n50_a_history_of_qed__1_3_1_3_1_1_3_3_2_1 n50_a_history_of_qed__1_4_1 P-ROLE n50_a_history_of_qed__1_4->n50_a_history_of_qed__1_4_1 n50_a_history_of_qed__1_4_2 NP n50_a_history_of_qed__1_4->n50_a_history_of_qed__1_4_2 n50_a_history_of_qed__1_4_1->n50_a_history_of_qed__1_4_1_1 n50_a_history_of_qed__1_4_2_1 NP-GEN n50_a_history_of_qed__1_4_2->n50_a_history_of_qed__1_4_2_1 n50_a_history_of_qed__1_4_2_2 N n50_a_history_of_qed__1_4_2->n50_a_history_of_qed__1_4_2_2 n50_a_history_of_qed__1_4_2_3 NS n50_a_history_of_qed__1_4_2->n50_a_history_of_qed__1_4_2_3 n50_a_history_of_qed__1_4_2_1_1 PRO;_genm_ n50_a_history_of_qed__1_4_2_1->n50_a_history_of_qed__1_4_2_1_1 n50_a_history_of_qed__1_4_2_1_1->n50_a_history_of_qed__1_4_2_1_1_1 n50_a_history_of_qed__1_4_2_2->n50_a_history_of_qed__1_4_2_2_1 n50_a_history_of_qed__1_4_2_3->n50_a_history_of_qed__1_4_2_3_1 n50_a_history_of_qed__1_5_1 ADV n50_a_history_of_qed__1_5->n50_a_history_of_qed__1_5_1 n50_a_history_of_qed__1_5_2 PP n50_a_history_of_qed__1_5->n50_a_history_of_qed__1_5_2 n50_a_history_of_qed__1_5_1->n50_a_history_of_qed__1_5_1_1 n50_a_history_of_qed__1_5_2_1 P-ROLE n50_a_history_of_qed__1_5_2->n50_a_history_of_qed__1_5_2_1 n50_a_history_of_qed__1_5_2_2 NP n50_a_history_of_qed__1_5_2->n50_a_history_of_qed__1_5_2_2 n50_a_history_of_qed__1_5_2_1->n50_a_history_of_qed__1_5_2_1_1 n50_a_history_of_qed__1_5_2_2_1 D n50_a_history_of_qed__1_5_2_2->n50_a_history_of_qed__1_5_2_2_1 n50_a_history_of_qed__1_5_2_2_2 N n50_a_history_of_qed__1_5_2_2->n50_a_history_of_qed__1_5_2_2_2 n50_a_history_of_qed__1_5_2_2_3 N n50_a_history_of_qed__1_5_2_2->n50_a_history_of_qed__1_5_2_2_3 n50_a_history_of_qed__1_5_2_2_4 PUNC n50_a_history_of_qed__1_5_2_2->n50_a_history_of_qed__1_5_2_2_4 n50_a_history_of_qed__1_5_2_2_5 IP-REL n50_a_history_of_qed__1_5_2_2->n50_a_history_of_qed__1_5_2_2_5 n50_a_history_of_qed__1_5_2_2_1->n50_a_history_of_qed__1_5_2_2_1_1 n50_a_history_of_qed__1_5_2_2_2->n50_a_history_of_qed__1_5_2_2_2_1 n50_a_history_of_qed__1_5_2_2_3->n50_a_history_of_qed__1_5_2_2_3_1 n50_a_history_of_qed__1_5_2_2_4->n50_a_history_of_qed__1_5_2_2_4_1 n50_a_history_of_qed__1_5_2_2_5_1 NP-SBJ n50_a_history_of_qed__1_5_2_2_5->n50_a_history_of_qed__1_5_2_2_5_1 n50_a_history_of_qed__1_5_2_2_5_2 BEP;_cat_VePASS_ n50_a_history_of_qed__1_5_2_2_5->n50_a_history_of_qed__1_5_2_2_5_2 n50_a_history_of_qed__1_5_2_2_5_3 IP-PPL-CAT n50_a_history_of_qed__1_5_2_2_5->n50_a_history_of_qed__1_5_2_2_5_3 n50_a_history_of_qed__1_5_2_2_5_1_1 D n50_a_history_of_qed__1_5_2_2_5_1->n50_a_history_of_qed__1_5_2_2_5_1_1 n50_a_history_of_qed__1_5_2_2_5_1_2 N n50_a_history_of_qed__1_5_2_2_5_1->n50_a_history_of_qed__1_5_2_2_5_1_2 n50_a_history_of_qed__1_5_2_2_5_1_3 PP n50_a_history_of_qed__1_5_2_2_5_1->n50_a_history_of_qed__1_5_2_2_5_1_3 n50_a_history_of_qed__1_5_2_2_5_1_1->n50_a_history_of_qed__1_5_2_2_5_1_1_1 n50_a_history_of_qed__1_5_2_2_5_1_2->n50_a_history_of_qed__1_5_2_2_5_1_2_1 n50_a_history_of_qed__1_5_2_2_5_1_3_1 P-ROLE n50_a_history_of_qed__1_5_2_2_5_1_3->n50_a_history_of_qed__1_5_2_2_5_1_3_1 n50_a_history_of_qed__1_5_2_2_5_1_3_2 NP n50_a_history_of_qed__1_5_2_2_5_1_3->n50_a_history_of_qed__1_5_2_2_5_1_3_2 n50_a_history_of_qed__1_5_2_2_5_1_3_1->n50_a_history_of_qed__1_5_2_2_5_1_3_1_1 n50_a_history_of_qed__1_5_2_2_5_1_3_2_1 RPRO n50_a_history_of_qed__1_5_2_2_5_1_3_2->n50_a_history_of_qed__1_5_2_2_5_1_3_2_1 n50_a_history_of_qed__1_5_2_2_5_1_3_2_1->n50_a_history_of_qed__1_5_2_2_5_1_3_2_1_1 n50_a_history_of_qed__1_5_2_2_5_2->n50_a_history_of_qed__1_5_2_2_5_2_1 n50_a_history_of_qed__1_5_2_2_5_3_1 NP-LGS n50_a_history_of_qed__1_5_2_2_5_3->n50_a_history_of_qed__1_5_2_2_5_3_1 n50_a_history_of_qed__1_5_2_2_5_3_2 VVN;__ n50_a_history_of_qed__1_5_2_2_5_3->n50_a_history_of_qed__1_5_2_2_5_3_2 n50_a_history_of_qed__1_5_2_2_5_3_3 PP-NIM n50_a_history_of_qed__1_5_2_2_5_3->n50_a_history_of_qed__1_5_2_2_5_3_3 n50_a_history_of_qed__1_5_2_2_5_3_1->n50_a_history_of_qed__1_5_2_2_5_3_1_1 n50_a_history_of_qed__1_5_2_2_5_3_2->n50_a_history_of_qed__1_5_2_2_5_3_2_1 n50_a_history_of_qed__1_5_2_2_5_3_3_1 P-ROLE n50_a_history_of_qed__1_5_2_2_5_3_3->n50_a_history_of_qed__1_5_2_2_5_3_3_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2 NP n50_a_history_of_qed__1_5_2_2_5_3_3->n50_a_history_of_qed__1_5_2_2_5_3_3_2 n50_a_history_of_qed__1_5_2_2_5_3_3_1->n50_a_history_of_qed__1_5_2_2_5_3_3_1_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_1 D n50_a_history_of_qed__1_5_2_2_5_3_3_2->n50_a_history_of_qed__1_5_2_2_5_3_3_2_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_2 NPR n50_a_history_of_qed__1_5_2_2_5_3_3_2->n50_a_history_of_qed__1_5_2_2_5_3_3_2_2 n50_a_history_of_qed__1_5_2_2_5_3_3_2_3 N n50_a_history_of_qed__1_5_2_2_5_3_3_2->n50_a_history_of_qed__1_5_2_2_5_3_3_2_3 n50_a_history_of_qed__1_5_2_2_5_3_3_2_4 PP n50_a_history_of_qed__1_5_2_2_5_3_3_2->n50_a_history_of_qed__1_5_2_2_5_3_3_2_4 n50_a_history_of_qed__1_5_2_2_5_3_3_2_1->n50_a_history_of_qed__1_5_2_2_5_3_3_2_1_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_2->n50_a_history_of_qed__1_5_2_2_5_3_3_2_2_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_3->n50_a_history_of_qed__1_5_2_2_5_3_3_2_3_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_1 P-ROLE n50_a_history_of_qed__1_5_2_2_5_3_3_2_4->n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2 NP n50_a_history_of_qed__1_5_2_2_5_3_3_2_4->n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2 n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_1->n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_1_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2_1 N n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2->n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2_1 n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2_1->n50_a_history_of_qed__1_5_2_2_5_3_3_2_4_2_1_1 n50_a_history_of_qed__1_6->n50_a_history_of_qed__1_6_1 
( (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))