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 0050_0002__offers offers 0050_0001__Sam Sam 0050_0002__offers->0050_0001__Sam [arg0] 0050_0014__editing editing 0050_0002__offers->0050_0014__editing [arg1] 0050_0017__text_18__windows text_windows 0050_0002__offers->0050_0017__text_18__windows on[nim] 0050_0019__together together 0050_0002__offers->0050_0019__together [nim] 0050_5009 0050_0014__editing->0050_5009 [modifier] 0050_0017__text_18__windows->0050_0001__Sam [gen] 0050_0021__a_22__command_23__window a_command_window 0050_0019__together->0050_0021__a_22__command_23__window with 0050_0005__and and 0050_0003__cut cut 0050_0005__and->0050_0003__cut [conj1] 0050_0007__paste paste 0050_0005__and->0050_0007__paste [conj2] 0050_0011__and and 0050_0009__mouse mouse 0050_0011__and->0050_0009__mouse [conj1] 0050_0013__menu menu 0050_0011__and->0050_0013__menu [conj2] 0050_5009->0050_0005__and [conj1] 0050_5009->0050_0011__and [conj2] 0050_0025__the_26__language the_language 0050_0025__the_26__language->0050_0021__a_22__command_23__window of 0050_0029__is is 0050_0030__drawn drawn 0050_0029__is->0050_0030__drawn [scope] 0050_0030__drawn->0050_0025__the_26__language [arg1] 0050_0032__the_33__QED_34__line the_QED_line 0050_0030__drawn->0050_0032__the_33__QED_34__line from[nim] 0050_5016___star_ * 0050_0030__drawn->0050_5016___star_ [arg0] 0050_0036__descent descent 0050_0032__the_33__QED_34__line->0050_0036__descent of 
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,modifier).
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).

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_Ve_passive_ 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_Ve_passive_ 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))