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.

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_1 cut n50_a_history_of_qed__1_3_1_1_1_1_2_1 - n50_a_history_of_qed__1_3_1_1_1_1_3_1_1 and n50_a_history_of_qed__1_3_1_1_1_1_3_2_1 - n50_a_history_of_qed__1_3_1_1_1_1_3_3_1_1 paste n50_a_history_of_qed__1_3_1_1_2_1 , n50_a_history_of_qed__1_3_1_1_3_1_1_1_1_1 mouse n50_a_history_of_qed__1_3_1_1_3_1_1_2_1 - n50_a_history_of_qed__1_3_1_1_3_1_1_3_1_1 and n50_a_history_of_qed__1_3_1_1_3_1_1_3_2_1 - n50_a_history_of_qed__1_3_1_1_3_1_1_3_3_1_1 menu n50_a_history_of_qed__1_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_2 N n50_a_history_of_qed__1_3->n50_a_history_of_qed__1_3_2 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_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_2 PUNC n50_a_history_of_qed__1_3_1_1->n50_a_history_of_qed__1_3_1_1_2 n50_a_history_of_qed__1_3_1_1_3 CONJP n50_a_history_of_qed__1_3_1_1->n50_a_history_of_qed__1_3_1_1_3 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_1_1 NLYR 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_2 PUNC n50_a_history_of_qed__1_3_1_1_1_1->n50_a_history_of_qed__1_3_1_1_1_1_2 n50_a_history_of_qed__1_3_1_1_1_1_3 CONJP n50_a_history_of_qed__1_3_1_1_1_1->n50_a_history_of_qed__1_3_1_1_1_1_3 n50_a_history_of_qed__1_3_1_1_1_1_1_1 N 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_1_1_1->n50_a_history_of_qed__1_3_1_1_1_1_1_1_1 n50_a_history_of_qed__1_3_1_1_1_1_2->n50_a_history_of_qed__1_3_1_1_1_1_2_1 n50_a_history_of_qed__1_3_1_1_1_1_3_1 CONJ n50_a_history_of_qed__1_3_1_1_1_1_3->n50_a_history_of_qed__1_3_1_1_1_1_3_1 n50_a_history_of_qed__1_3_1_1_1_1_3_2 PUNC n50_a_history_of_qed__1_3_1_1_1_1_3->n50_a_history_of_qed__1_3_1_1_1_1_3_2 n50_a_history_of_qed__1_3_1_1_1_1_3_3 NLYR n50_a_history_of_qed__1_3_1_1_1_1_3->n50_a_history_of_qed__1_3_1_1_1_1_3_3 n50_a_history_of_qed__1_3_1_1_1_1_3_1->n50_a_history_of_qed__1_3_1_1_1_1_3_1_1 n50_a_history_of_qed__1_3_1_1_1_1_3_2->n50_a_history_of_qed__1_3_1_1_1_1_3_2_1 n50_a_history_of_qed__1_3_1_1_1_1_3_3_1 N n50_a_history_of_qed__1_3_1_1_1_1_3_3->n50_a_history_of_qed__1_3_1_1_1_1_3_3_1 n50_a_history_of_qed__1_3_1_1_1_1_3_3_1->n50_a_history_of_qed__1_3_1_1_1_1_3_3_1_1 n50_a_history_of_qed__1_3_1_1_2->n50_a_history_of_qed__1_3_1_1_2_1 n50_a_history_of_qed__1_3_1_1_3_1 NLYR n50_a_history_of_qed__1_3_1_1_3->n50_a_history_of_qed__1_3_1_1_3_1 n50_a_history_of_qed__1_3_1_1_3_1_1 NLYR n50_a_history_of_qed__1_3_1_1_3_1->n50_a_history_of_qed__1_3_1_1_3_1_1 n50_a_history_of_qed__1_3_1_1_3_1_1_1 NLYR n50_a_history_of_qed__1_3_1_1_3_1_1->n50_a_history_of_qed__1_3_1_1_3_1_1_1 n50_a_history_of_qed__1_3_1_1_3_1_1_2 PUNC n50_a_history_of_qed__1_3_1_1_3_1_1->n50_a_history_of_qed__1_3_1_1_3_1_1_2 n50_a_history_of_qed__1_3_1_1_3_1_1_3 CONJP n50_a_history_of_qed__1_3_1_1_3_1_1->n50_a_history_of_qed__1_3_1_1_3_1_1_3 n50_a_history_of_qed__1_3_1_1_3_1_1_1_1 N n50_a_history_of_qed__1_3_1_1_3_1_1_1->n50_a_history_of_qed__1_3_1_1_3_1_1_1_1 n50_a_history_of_qed__1_3_1_1_3_1_1_1_1->n50_a_history_of_qed__1_3_1_1_3_1_1_1_1_1 n50_a_history_of_qed__1_3_1_1_3_1_1_2->n50_a_history_of_qed__1_3_1_1_3_1_1_2_1 n50_a_history_of_qed__1_3_1_1_3_1_1_3_1 CONJ n50_a_history_of_qed__1_3_1_1_3_1_1_3->n50_a_history_of_qed__1_3_1_1_3_1_1_3_1 n50_a_history_of_qed__1_3_1_1_3_1_1_3_2 PUNC n50_a_history_of_qed__1_3_1_1_3_1_1_3->n50_a_history_of_qed__1_3_1_1_3_1_1_3_2 n50_a_history_of_qed__1_3_1_1_3_1_1_3_3 NLYR n50_a_history_of_qed__1_3_1_1_3_1_1_3->n50_a_history_of_qed__1_3_1_1_3_1_1_3_3 n50_a_history_of_qed__1_3_1_1_3_1_1_3_1->n50_a_history_of_qed__1_3_1_1_3_1_1_3_1_1 n50_a_history_of_qed__1_3_1_1_3_1_1_3_2->n50_a_history_of_qed__1_3_1_1_3_1_1_3_2_1 n50_a_history_of_qed__1_3_1_1_3_1_1_3_3_1 N n50_a_history_of_qed__1_3_1_1_3_1_1_3_3->n50_a_history_of_qed__1_3_1_1_3_1_1_3_3_1 n50_a_history_of_qed__1_3_1_1_3_1_1_3_3_1->n50_a_history_of_qed__1_3_1_1_3_1_1_3_3_1_1 n50_a_history_of_qed__1_3_2->n50_a_history_of_qed__1_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 (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))


%3 z_0050_5009 r_0050_0011__and and z_0050_5009->r_0050_0011__and [conj2] r_0050_0005__and and z_0050_5009->r_0050_0005__and [conj1] r_0050_0013__menu menu r_0050_0011__and->r_0050_0013__menu [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_0030__drawn drawn r_0050_0030__drawn->r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line from [nim] z_0050_5016___star_ * r_0050_0030__drawn->z_0050_5016___star_ [arg0] r_0050_0025__the_r_0050_0026__language the language 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_0029__is is r_0050_0029__is->r_0050_0030__drawn [scope] 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_0014__editing editing r_0050_0014__editing->z_0050_5009 [nim] r_0050_0002__offers offers 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] r_0050_0002__offers->r_0050_0014__editing [arg1] 
arc(r_0050_0002__offers,r_0050_0001__Sam,arg0).
arc(r_0050_0002__offers,r_0050_0014__editing,arg1).
arc(r_0050_0002__offers,r_0050_0017__text_r_0050_0018__windows,r_0050_0015__on__nim).
arc(r_0050_0002__offers,r_0050_0019__together,nim).
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,conj2).
arc(r_0050_0014__editing,z_0050_5009,nim).
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__nim).
arc(r_0050_0030__drawn,z_0050_5016___star_,arg0).
arc(r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line,r_0050_0036__descent,r_0050_0035__of).
arc(z_0050_5009,r_0050_0005__and,conj1).
arc(z_0050_5009,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_0014__editing editing r_0050_0002__offers->r_0050_0014__editing [arg1] 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_0050_5009 r_0050_0014__editing->z_0050_5009 [nim] 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 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_0011__and and r_0050_0009__mouse mouse r_0050_0011__and->r_0050_0009__mouse [conj1] r_0050_0013__menu menu r_0050_0011__and->r_0050_0013__menu [conj2] z_0050_5009->r_0050_0005__and [conj1] z_0050_5009->r_0050_0011__and [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_0050_5016___star_ * r_0050_0029__is_r_0050_0030__drawn->z_0050_5016___star_ [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_0050_0001__SAM,R_0050_0003__CUT,R_0050_0007__PASTE,R_0050_0005__AND,R_0050_0009__MOUSE,R_0050_0013__MENU,R_0050_0011__AND,Z_0050_5009,R_0050_0014__EDITING,R_0050_0017__TEXT_R_0050_0018__WINDOWS,R_0050_0021__A_R_0050_0022__COMMAND_R_0050_0023__WINDOW,R_0050_0019__TOGETHER,R_0050_0002__OFFERS,R_0050_0025__THE_R_0050_0026__LANGUAGE,R_0050_0036__DESCENT,R_0050_0032__THE_R_0050_0033__QED_R_0050_0034__LINE,Z_0050_5016___STAR_,R_0050_0029__IS_R_0050_0030__DRAWN] :
      ( r_0050_0001__Sam(R_0050_0001__SAM)
      & r_0050_0003__cut(R_0050_0003__CUT)
      & r_0050_0007__paste(R_0050_0007__PASTE)
      & r_0050_0009__mouse(R_0050_0009__MOUSE)
      & r_0050_0013__menu(R_0050_0013__MENU)
      & r_0050_0021__a_r_0050_0022__command_r_0050_0023__window(R_0050_0021__A_R_0050_0022__COMMAND_R_0050_0023__WINDOW)
      & r_0050_0036__descent(R_0050_0036__DESCENT)
      & z_0050_5016___star_(Z_0050_5016___STAR_)
      & r_0050_0029__is_r_0050_0030__drawn(R_0050_0029__IS_R_0050_0030__DRAWN)
      & has_arg0(R_0050_0029__IS_R_0050_0030__DRAWN,Z_0050_5016___STAR_)
      & has_r_0050_0031__from__nim(R_0050_0029__IS_R_0050_0030__DRAWN,R_0050_0032__THE_R_0050_0033__QED_R_0050_0034__LINE)
      & r_0050_0032__the_r_0050_0033__QED_r_0050_0034__line(R_0050_0032__THE_R_0050_0033__QED_R_0050_0034__LINE)
      & has_r_0050_0035__of(R_0050_0032__THE_R_0050_0033__QED_R_0050_0034__LINE,R_0050_0036__DESCENT)
      & has_arg1(R_0050_0029__IS_R_0050_0030__DRAWN,R_0050_0025__THE_R_0050_0026__LANGUAGE)
      & r_0050_0025__the_r_0050_0026__language(R_0050_0025__THE_R_0050_0026__LANGUAGE)
      & has_r_0050_0027__of(R_0050_0025__THE_R_0050_0026__LANGUAGE,R_0050_0021__A_R_0050_0022__COMMAND_R_0050_0023__WINDOW)
      & r_0050_0002__offers(R_0050_0002__OFFERS)
      & has_nim(R_0050_0002__OFFERS,R_0050_0019__TOGETHER)
      & r_0050_0019__together(R_0050_0019__TOGETHER)
      & has_r_0050_0020__with(R_0050_0019__TOGETHER,R_0050_0021__A_R_0050_0022__COMMAND_R_0050_0023__WINDOW)
      & has_r_0050_0015__on__nim(R_0050_0002__OFFERS,R_0050_0017__TEXT_R_0050_0018__WINDOWS)
      & r_0050_0017__text_r_0050_0018__windows(R_0050_0017__TEXT_R_0050_0018__WINDOWS)
      & has_gen(R_0050_0017__TEXT_R_0050_0018__WINDOWS,R_0050_0001__SAM)
      & has_arg1(R_0050_0002__OFFERS,R_0050_0014__EDITING)
      & r_0050_0014__editing(R_0050_0014__EDITING)
      & has_nim(R_0050_0014__EDITING,Z_0050_5009)
      & z_0050_5009(Z_0050_5009)
      & has_conj2(Z_0050_5009,R_0050_0011__AND)
      & r_0050_0011__and(R_0050_0011__AND)
      & has_conj2(R_0050_0011__AND,R_0050_0013__MENU)
      & has_conj1(R_0050_0011__AND,R_0050_0009__MOUSE)
      & has_conj1(Z_0050_5009,R_0050_0005__AND)
      & r_0050_0005__and(R_0050_0005__AND)
      & has_conj2(R_0050_0005__AND,R_0050_0007__PASTE)
      & has_conj1(R_0050_0005__AND,R_0050_0003__CUT)
      & has_arg0(R_0050_0002__OFFERS,R_0050_0001__SAM) ) ).