Context                Previous, Next                Top


47_a_history_of_qed
The current local state of the QED line of descent is exemplified by sam, by Rob Pike (see his “The Text Editor sam,” in Software -- Practice and Experience 17 <num> 11, Nov. 1987).

%3 0047_0001__The_4__state The_state 0047_0002__current current 0047_0001__The_4__state->0047_0002__current [attrib] 0047_0003__local local 0047_0001__The_4__state->0047_0003__local [attrib] 0047_0006__the_7__QED_8__line the_QED_line 0047_0001__The_4__state->0047_0006__the_7__QED_8__line of 0047_0010__descent descent 0047_0006__the_7__QED_8__line->0047_0010__descent of 0047_0011__is is 0047_0012__exemplified exemplified 0047_0011__is->0047_0012__exemplified [scope] 0047_0020__see see 0047_0011__is->0047_0020__see [prn] 0047_0012__exemplified->0047_0001__The_4__state [arg1] 0047_0014__sam sam 0047_0012__exemplified->0047_0014__sam by[arg0] 0047_5017___star_ * 0047_0012__exemplified->0047_5017___star_ lgs 0047_0026__sam sam 0047_0020__see->0047_0026__sam [arg1] 0047_0035__17_0047_0036___num__0047_0037__11 17__num__11 0047_0020__see->0047_0035__17_0047_0036___num__0047_0037__11 in[nim] 0047_5008 0047_0020__see->0047_5008 [arg0] 0047_0017__Rob_18__Pike Rob_Pike 0047_0014__sam->0047_0017__Rob_18__Pike by 0047_0021__his his 0047_0026__sam->0047_0021__his [gen] 0047_0023__The_24__Text_25__Editor The_Text_Editor 0047_0026__sam->0047_0023__The_24__Text_25__Editor [modifier] 0047_0030__Software_32__Practice_33__and_34__Experience Software_Practice_and_Experience 0047_0035__17_0047_0036___num__0047_0037__11->0047_0030__Software_32__Practice_33__and_34__Experience [modifier] 0047_5013 0047_5013->0047_0035__17_0047_0036___num__0047_0037__11 [arg0] 0047_0039__Nov._0047_0040__1987 Nov._1987 0047_5013->0047_0039__Nov._0047_0040__1987 [prd] 
arc(r_0047_0001__The_r_0047_0004__state,r_0047_0002__current,attrib).
arc(r_0047_0001__The_r_0047_0004__state,r_0047_0003__local,attrib).
arc(r_0047_0001__The_r_0047_0004__state,r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line,r_0047_0005__of).
arc(r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line,r_0047_0010__descent,r_0047_0009__of).
arc(r_0047_0011__is,r_0047_0012__exemplified,scope).
arc(r_0047_0011__is,r_0047_0020__see,prn).
arc(r_0047_0012__exemplified,r_0047_0001__The_r_0047_0004__state,arg1).
arc(r_0047_0012__exemplified,r_0047_0014__sam,r_0047_0013__by_arg0).
arc(r_0047_0012__exemplified,z_0047_5017___star_,lgs).
arc(r_0047_0014__sam,r_0047_0017__Rob_r_0047_0018__Pike,r_0047_0016__by).
arc(r_0047_0020__see,r_0047_0026__sam,arg1).
arc(r_0047_0020__see,r_0047_0035__17_r_0047_0036___num__r_0047_0037__11,r_0047_0029__in__nim).
arc(r_0047_0020__see,z_0047_5008,arg0).
arc(r_0047_0026__sam,r_0047_0021__his,gen).
arc(r_0047_0026__sam,r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor,modifier).
arc(r_0047_0035__17_r_0047_0036___num__r_0047_0037__11,r_0047_0030__Software_r_0047_0032__Practice_r_0047_0033__and_r_0047_0034__Experience,modifier).
arc(z_0047_5013,r_0047_0035__17_r_0047_0036___num__r_0047_0037__11,arg0).
arc(z_0047_5013,r_0047_0039__Nov_dot__r_0047_0040__1987,prd).

n47_a_history_of_qed n47_a_history_of_qed__1_1_1_1 The n47_a_history_of_qed__1_1_2_1_1 current n47_a_history_of_qed__1_1_3_1_1 local n47_a_history_of_qed__1_1_4_1 state n47_a_history_of_qed__1_1_5_1_1 of n47_a_history_of_qed__1_1_5_2_1_1 the n47_a_history_of_qed__1_1_5_2_2_1 QED n47_a_history_of_qed__1_1_5_2_3_1 line n47_a_history_of_qed__1_1_5_2_4_1_1 of n47_a_history_of_qed__1_1_5_2_4_2_1_1 descent n47_a_history_of_qed__1_2_1 is n47_a_history_of_qed__1_3_1_1 * n47_a_history_of_qed__1_3_2_1 exemplified n47_a_history_of_qed__1_3_3_1_1 by n47_a_history_of_qed__1_3_3_2_1_1 sam n47_a_history_of_qed__1_3_3_2_2_1 , n47_a_history_of_qed__1_3_3_2_3_1_1 by n47_a_history_of_qed__1_3_3_2_3_2_1_1 Rob n47_a_history_of_qed__1_3_3_2_3_2_2_1 Pike n47_a_history_of_qed__1_4_1 -LRB- n47_a_history_of_qed__1_5_1_1_1 see n47_a_history_of_qed__1_5_1_2_1_1_1 his n47_a_history_of_qed__1_5_1_2_2_1 <ldquo> n47_a_history_of_qed__1_5_1_2_3_1_1 The n47_a_history_of_qed__1_5_1_2_3_2_1 Text n47_a_history_of_qed__1_5_1_2_3_3_1 Editor n47_a_history_of_qed__1_5_1_2_4_1 sam n47_a_history_of_qed__1_5_1_2_5_1 , n47_a_history_of_qed__1_5_1_2_6_1 <rdquo> n47_a_history_of_qed__1_5_1_3_1_1 in n47_a_history_of_qed__1_5_1_3_2_1_1_1 Software n47_a_history_of_qed__1_5_1_3_2_1_2_1 -- n47_a_history_of_qed__1_5_1_3_2_1_3_1_1_1_1 Practice n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_1_1 and n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2_1_1 Experience n47_a_history_of_qed__1_5_1_3_2_2_1 17 n47_a_history_of_qed__1_5_1_3_2_3_1 <num> n47_a_history_of_qed__1_5_1_3_2_4_1 11 n47_a_history_of_qed__1_5_1_3_2_5_1 , n47_a_history_of_qed__1_5_1_3_2_6_1_1_1 Nov. n47_a_history_of_qed__1_5_1_3_2_6_1_2_1 1987 n47_a_history_of_qed__1_6_1 -RRB- n47_a_history_of_qed__1_7_1 . n47_a_history_of_qed__1 IP-MAT n47_a_history_of_qed__1_1 NP-SBJ n47_a_history_of_qed__1->n47_a_history_of_qed__1_1 n47_a_history_of_qed__1_2 BEP;~cat_Ve_passive_ n47_a_history_of_qed__1->n47_a_history_of_qed__1_2 n47_a_history_of_qed__1_3 IP-PPL-CAT n47_a_history_of_qed__1->n47_a_history_of_qed__1_3 n47_a_history_of_qed__1_4 PULB n47_a_history_of_qed__1->n47_a_history_of_qed__1_4 n47_a_history_of_qed__1_5 PRN n47_a_history_of_qed__1->n47_a_history_of_qed__1_5 n47_a_history_of_qed__1_6 PURB n47_a_history_of_qed__1->n47_a_history_of_qed__1_6 n47_a_history_of_qed__1_7 PUNC n47_a_history_of_qed__1->n47_a_history_of_qed__1_7 n47_a_history_of_qed__1_1_1 D n47_a_history_of_qed__1_1->n47_a_history_of_qed__1_1_1 n47_a_history_of_qed__1_1_2 ADJP n47_a_history_of_qed__1_1->n47_a_history_of_qed__1_1_2 n47_a_history_of_qed__1_1_3 ADJP n47_a_history_of_qed__1_1->n47_a_history_of_qed__1_1_3 n47_a_history_of_qed__1_1_4 N n47_a_history_of_qed__1_1->n47_a_history_of_qed__1_1_4 n47_a_history_of_qed__1_1_5 PP n47_a_history_of_qed__1_1->n47_a_history_of_qed__1_1_5 n47_a_history_of_qed__1_1_1->n47_a_history_of_qed__1_1_1_1 n47_a_history_of_qed__1_1_2_1 ADJ n47_a_history_of_qed__1_1_2->n47_a_history_of_qed__1_1_2_1 n47_a_history_of_qed__1_1_2_1->n47_a_history_of_qed__1_1_2_1_1 n47_a_history_of_qed__1_1_3_1 ADJ n47_a_history_of_qed__1_1_3->n47_a_history_of_qed__1_1_3_1 n47_a_history_of_qed__1_1_3_1->n47_a_history_of_qed__1_1_3_1_1 n47_a_history_of_qed__1_1_4->n47_a_history_of_qed__1_1_4_1 n47_a_history_of_qed__1_1_5_1 P-ROLE n47_a_history_of_qed__1_1_5->n47_a_history_of_qed__1_1_5_1 n47_a_history_of_qed__1_1_5_2 NP n47_a_history_of_qed__1_1_5->n47_a_history_of_qed__1_1_5_2 n47_a_history_of_qed__1_1_5_1->n47_a_history_of_qed__1_1_5_1_1 n47_a_history_of_qed__1_1_5_2_1 D n47_a_history_of_qed__1_1_5_2->n47_a_history_of_qed__1_1_5_2_1 n47_a_history_of_qed__1_1_5_2_2 NPR n47_a_history_of_qed__1_1_5_2->n47_a_history_of_qed__1_1_5_2_2 n47_a_history_of_qed__1_1_5_2_3 N n47_a_history_of_qed__1_1_5_2->n47_a_history_of_qed__1_1_5_2_3 n47_a_history_of_qed__1_1_5_2_4 PP n47_a_history_of_qed__1_1_5_2->n47_a_history_of_qed__1_1_5_2_4 n47_a_history_of_qed__1_1_5_2_1->n47_a_history_of_qed__1_1_5_2_1_1 n47_a_history_of_qed__1_1_5_2_2->n47_a_history_of_qed__1_1_5_2_2_1 n47_a_history_of_qed__1_1_5_2_3->n47_a_history_of_qed__1_1_5_2_3_1 n47_a_history_of_qed__1_1_5_2_4_1 P-ROLE n47_a_history_of_qed__1_1_5_2_4->n47_a_history_of_qed__1_1_5_2_4_1 n47_a_history_of_qed__1_1_5_2_4_2 NP n47_a_history_of_qed__1_1_5_2_4->n47_a_history_of_qed__1_1_5_2_4_2 n47_a_history_of_qed__1_1_5_2_4_1->n47_a_history_of_qed__1_1_5_2_4_1_1 n47_a_history_of_qed__1_1_5_2_4_2_1 N n47_a_history_of_qed__1_1_5_2_4_2->n47_a_history_of_qed__1_1_5_2_4_2_1 n47_a_history_of_qed__1_1_5_2_4_2_1->n47_a_history_of_qed__1_1_5_2_4_2_1_1 n47_a_history_of_qed__1_2->n47_a_history_of_qed__1_2_1 n47_a_history_of_qed__1_3_1 NP-LGS n47_a_history_of_qed__1_3->n47_a_history_of_qed__1_3_1 n47_a_history_of_qed__1_3_2 VVN;~ n47_a_history_of_qed__1_3->n47_a_history_of_qed__1_3_2 n47_a_history_of_qed__1_3_3 PP-LGS n47_a_history_of_qed__1_3->n47_a_history_of_qed__1_3_3 n47_a_history_of_qed__1_3_1->n47_a_history_of_qed__1_3_1_1 n47_a_history_of_qed__1_3_2->n47_a_history_of_qed__1_3_2_1 n47_a_history_of_qed__1_3_3_1 P-ROLE;_lgs_ n47_a_history_of_qed__1_3_3->n47_a_history_of_qed__1_3_3_1 n47_a_history_of_qed__1_3_3_2 NP n47_a_history_of_qed__1_3_3->n47_a_history_of_qed__1_3_3_2 n47_a_history_of_qed__1_3_3_1->n47_a_history_of_qed__1_3_3_1_1 n47_a_history_of_qed__1_3_3_2_1 NPR n47_a_history_of_qed__1_3_3_2->n47_a_history_of_qed__1_3_3_2_1 n47_a_history_of_qed__1_3_3_2_2 PUNC n47_a_history_of_qed__1_3_3_2->n47_a_history_of_qed__1_3_3_2_2 n47_a_history_of_qed__1_3_3_2_3 PP n47_a_history_of_qed__1_3_3_2->n47_a_history_of_qed__1_3_3_2_3 n47_a_history_of_qed__1_3_3_2_1->n47_a_history_of_qed__1_3_3_2_1_1 n47_a_history_of_qed__1_3_3_2_2->n47_a_history_of_qed__1_3_3_2_2_1 n47_a_history_of_qed__1_3_3_2_3_1 P-ROLE n47_a_history_of_qed__1_3_3_2_3->n47_a_history_of_qed__1_3_3_2_3_1 n47_a_history_of_qed__1_3_3_2_3_2 NP n47_a_history_of_qed__1_3_3_2_3->n47_a_history_of_qed__1_3_3_2_3_2 n47_a_history_of_qed__1_3_3_2_3_1->n47_a_history_of_qed__1_3_3_2_3_1_1 n47_a_history_of_qed__1_3_3_2_3_2_1 NPR n47_a_history_of_qed__1_3_3_2_3_2->n47_a_history_of_qed__1_3_3_2_3_2_1 n47_a_history_of_qed__1_3_3_2_3_2_2 NPR n47_a_history_of_qed__1_3_3_2_3_2->n47_a_history_of_qed__1_3_3_2_3_2_2 n47_a_history_of_qed__1_3_3_2_3_2_1->n47_a_history_of_qed__1_3_3_2_3_2_1_1 n47_a_history_of_qed__1_3_3_2_3_2_2->n47_a_history_of_qed__1_3_3_2_3_2_2_1 n47_a_history_of_qed__1_4->n47_a_history_of_qed__1_4_1 n47_a_history_of_qed__1_5_1 IP-IMP n47_a_history_of_qed__1_5->n47_a_history_of_qed__1_5_1 n47_a_history_of_qed__1_5_1_1 VB;~ n47_a_history_of_qed__1_5_1->n47_a_history_of_qed__1_5_1_1 n47_a_history_of_qed__1_5_1_2 NP-OB1 n47_a_history_of_qed__1_5_1->n47_a_history_of_qed__1_5_1_2 n47_a_history_of_qed__1_5_1_3 PP-NIM n47_a_history_of_qed__1_5_1->n47_a_history_of_qed__1_5_1_3 n47_a_history_of_qed__1_5_1_1->n47_a_history_of_qed__1_5_1_1_1 n47_a_history_of_qed__1_5_1_2_1 NP-GEN n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_1 n47_a_history_of_qed__1_5_1_2_2 PULQ n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_2 n47_a_history_of_qed__1_5_1_2_3 NLYR n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_3 n47_a_history_of_qed__1_5_1_2_4 NPR n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_4 n47_a_history_of_qed__1_5_1_2_5 PUNC n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_5 n47_a_history_of_qed__1_5_1_2_6 PURQ n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_6 n47_a_history_of_qed__1_5_1_2_1_1 PRO;_genm_ n47_a_history_of_qed__1_5_1_2_1->n47_a_history_of_qed__1_5_1_2_1_1 n47_a_history_of_qed__1_5_1_2_1_1->n47_a_history_of_qed__1_5_1_2_1_1_1 n47_a_history_of_qed__1_5_1_2_2->n47_a_history_of_qed__1_5_1_2_2_1 n47_a_history_of_qed__1_5_1_2_3_1 D n47_a_history_of_qed__1_5_1_2_3->n47_a_history_of_qed__1_5_1_2_3_1 n47_a_history_of_qed__1_5_1_2_3_2 N n47_a_history_of_qed__1_5_1_2_3->n47_a_history_of_qed__1_5_1_2_3_2 n47_a_history_of_qed__1_5_1_2_3_3 N n47_a_history_of_qed__1_5_1_2_3->n47_a_history_of_qed__1_5_1_2_3_3 n47_a_history_of_qed__1_5_1_2_3_1->n47_a_history_of_qed__1_5_1_2_3_1_1 n47_a_history_of_qed__1_5_1_2_3_2->n47_a_history_of_qed__1_5_1_2_3_2_1 n47_a_history_of_qed__1_5_1_2_3_3->n47_a_history_of_qed__1_5_1_2_3_3_1 n47_a_history_of_qed__1_5_1_2_4->n47_a_history_of_qed__1_5_1_2_4_1 n47_a_history_of_qed__1_5_1_2_5->n47_a_history_of_qed__1_5_1_2_5_1 n47_a_history_of_qed__1_5_1_2_6->n47_a_history_of_qed__1_5_1_2_6_1 n47_a_history_of_qed__1_5_1_3_1 P-ROLE n47_a_history_of_qed__1_5_1_3->n47_a_history_of_qed__1_5_1_3_1 n47_a_history_of_qed__1_5_1_3_2 NP n47_a_history_of_qed__1_5_1_3->n47_a_history_of_qed__1_5_1_3_2 n47_a_history_of_qed__1_5_1_3_1->n47_a_history_of_qed__1_5_1_3_1_1 n47_a_history_of_qed__1_5_1_3_2_1 NLYR n47_a_history_of_qed__1_5_1_3_2->n47_a_history_of_qed__1_5_1_3_2_1 n47_a_history_of_qed__1_5_1_3_2_2 NUM n47_a_history_of_qed__1_5_1_3_2->n47_a_history_of_qed__1_5_1_3_2_2 n47_a_history_of_qed__1_5_1_3_2_3 N n47_a_history_of_qed__1_5_1_3_2->n47_a_history_of_qed__1_5_1_3_2_3 n47_a_history_of_qed__1_5_1_3_2_4 NUM n47_a_history_of_qed__1_5_1_3_2->n47_a_history_of_qed__1_5_1_3_2_4 n47_a_history_of_qed__1_5_1_3_2_5 PUNC n47_a_history_of_qed__1_5_1_3_2->n47_a_history_of_qed__1_5_1_3_2_5 n47_a_history_of_qed__1_5_1_3_2_6 PRN n47_a_history_of_qed__1_5_1_3_2->n47_a_history_of_qed__1_5_1_3_2_6 n47_a_history_of_qed__1_5_1_3_2_1_1 NPR n47_a_history_of_qed__1_5_1_3_2_1->n47_a_history_of_qed__1_5_1_3_2_1_1 n47_a_history_of_qed__1_5_1_3_2_1_2 PUNC n47_a_history_of_qed__1_5_1_3_2_1->n47_a_history_of_qed__1_5_1_3_2_1_2 n47_a_history_of_qed__1_5_1_3_2_1_3 NLYR n47_a_history_of_qed__1_5_1_3_2_1->n47_a_history_of_qed__1_5_1_3_2_1_3 n47_a_history_of_qed__1_5_1_3_2_1_1->n47_a_history_of_qed__1_5_1_3_2_1_1_1 n47_a_history_of_qed__1_5_1_3_2_1_2->n47_a_history_of_qed__1_5_1_3_2_1_2_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1 NLYR n47_a_history_of_qed__1_5_1_3_2_1_3->n47_a_history_of_qed__1_5_1_3_2_1_3_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_1 NLYR n47_a_history_of_qed__1_5_1_3_2_1_3_1->n47_a_history_of_qed__1_5_1_3_2_1_3_1_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_2 CONJP n47_a_history_of_qed__1_5_1_3_2_1_3_1->n47_a_history_of_qed__1_5_1_3_2_1_3_1_2 n47_a_history_of_qed__1_5_1_3_2_1_3_1_1_1 NPR n47_a_history_of_qed__1_5_1_3_2_1_3_1_1->n47_a_history_of_qed__1_5_1_3_2_1_3_1_1_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_1_1->n47_a_history_of_qed__1_5_1_3_2_1_3_1_1_1_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_1 CONJ n47_a_history_of_qed__1_5_1_3_2_1_3_1_2->n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2 NLYR n47_a_history_of_qed__1_5_1_3_2_1_3_1_2->n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2 n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_1->n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_1_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2_1 NPR n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2->n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2_1 n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2_1->n47_a_history_of_qed__1_5_1_3_2_1_3_1_2_2_1_1 n47_a_history_of_qed__1_5_1_3_2_2->n47_a_history_of_qed__1_5_1_3_2_2_1 n47_a_history_of_qed__1_5_1_3_2_3->n47_a_history_of_qed__1_5_1_3_2_3_1 n47_a_history_of_qed__1_5_1_3_2_4->n47_a_history_of_qed__1_5_1_3_2_4_1 n47_a_history_of_qed__1_5_1_3_2_5->n47_a_history_of_qed__1_5_1_3_2_5_1 n47_a_history_of_qed__1_5_1_3_2_6_1 NP n47_a_history_of_qed__1_5_1_3_2_6->n47_a_history_of_qed__1_5_1_3_2_6_1 n47_a_history_of_qed__1_5_1_3_2_6_1_1 NPR n47_a_history_of_qed__1_5_1_3_2_6_1->n47_a_history_of_qed__1_5_1_3_2_6_1_1 n47_a_history_of_qed__1_5_1_3_2_6_1_2 NPR n47_a_history_of_qed__1_5_1_3_2_6_1->n47_a_history_of_qed__1_5_1_3_2_6_1_2 n47_a_history_of_qed__1_5_1_3_2_6_1_1->n47_a_history_of_qed__1_5_1_3_2_6_1_1_1 n47_a_history_of_qed__1_5_1_3_2_6_1_2->n47_a_history_of_qed__1_5_1_3_2_6_1_2_1 n47_a_history_of_qed__1_6->n47_a_history_of_qed__1_6_1 n47_a_history_of_qed__1_7->n47_a_history_of_qed__1_7_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ current;{current}))
                  (ADJP (ADJ local;{local}))
                  (N state;{state})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NPR QED;{QED})
                          (N line;{line})
                          (PP (P-ROLE of;{of})
                              (NP (N descent;{descent}))))))
          (BEP;~cat_Ve_passive_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;~ exemplified;{exemplify})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP;{SAM} (NPR sam;{sam})
                                        (PUNC ,)
                                        (PP (P-ROLE by;{by})
                                            (NP;{ROB} (NPR Rob;{Rob})
                                                      (NPR Pike;{Pike}))))))
          (PULB -LRB-)
          (PRN (IP-IMP (VB;~ see;{see})
                       (NP-OB1 (NP-GEN;{ROB} (PRO;_genm_ his;{his}))
                               (PULQ <ldquo>)
                               (NLYR (D The;{the})
                                     (N Text;{text})
                                     (N Editor;{editor}))
                               (NPR sam;{sam})
                               (PUNC ,)
                               (PURQ <rdquo>))
                       (PP-NIM (P-ROLE in;{in})
                               (NP (NLYR (NPR Software;{Software})
                                         (PUNC --)
                                         (NLYR (NLYR (NLYR (NPR Practice;{Practice}))
                                                     (CONJP (CONJ and;{and})
                                                            (NLYR (NPR Experience;{Experience}))))))
                                   (NUM 17)
                                   (N <num>)
                                   (NUM 11)
                                   (PUNC ,)
                                   (PRN (NP (NPR Nov<dot>)
                                            (NPR 1987)))))))
          (PURB -RRB-)
          (PUNC .))
  (ID 47_a_history_of_qed))