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

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


%3 z_0047_5013 r_0047_0039__Nov_dot__r_0047_0040__1987 Nov. 1987 z_0047_5013->r_0047_0039__Nov_dot__r_0047_0040__1987 [prd] r_0047_0035__17_r_0047_0036___num__r_0047_0037__11 17 _num_ 11 z_0047_5013->r_0047_0035__17_r_0047_0036___num__r_0047_0037__11 [arg0] r_0047_0030__Software_r_0047_0032__Practice_r_0047_0033__and_r_0047_0034__Experience Software Practice and Experience 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 [nim] r_0047_0026__sam sam r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor The Text Editor r_0047_0026__sam->r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor [nim] r_0047_0021__his his r_0047_0026__sam->r_0047_0021__his [gen] r_0047_0020__see see r_0047_0020__see->r_0047_0035__17_r_0047_0036___num__r_0047_0037__11 in [nim] r_0047_0020__see->r_0047_0026__sam [arg1] z_0047_5008 r_0047_0020__see->z_0047_5008 [arg0] r_0047_0014__sam sam r_0047_0017__Rob_r_0047_0018__Pike Rob Pike r_0047_0014__sam->r_0047_0017__Rob_r_0047_0018__Pike by r_0047_0012__exemplified exemplified r_0047_0012__exemplified->r_0047_0014__sam by_lgs z_0047_5017___star_ * r_0047_0012__exemplified->z_0047_5017___star_ [arg0] r_0047_0001__The_r_0047_0004__state The state r_0047_0012__exemplified->r_0047_0001__The_r_0047_0004__state [arg1] r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line the QED line r_0047_0001__The_r_0047_0004__state->r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line of r_0047_0003__local local r_0047_0001__The_r_0047_0004__state->r_0047_0003__local [attrib] r_0047_0002__current current r_0047_0001__The_r_0047_0004__state->r_0047_0002__current [attrib] r_0047_0011__is is r_0047_0011__is->r_0047_0020__see [prn] r_0047_0011__is->r_0047_0012__exemplified [scope] r_0047_0010__descent descent r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line->r_0047_0010__descent of 
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_lgs).
arc(r_0047_0012__exemplified,z_0047_5017___star_,arg0).
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,nim).
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,nim).
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).


%3 r_0047_0001__The_r_0047_0004__state The state r_0047_0002__current current r_0047_0001__The_r_0047_0004__state->r_0047_0002__current [attrib] r_0047_0003__local local r_0047_0001__The_r_0047_0004__state->r_0047_0003__local [attrib] r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line the QED line r_0047_0001__The_r_0047_0004__state->r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line of r_0047_0010__descent descent r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line->r_0047_0010__descent of r_0047_0011__is_r_0047_0012__exemplified is exemplified r_0047_0011__is_r_0047_0012__exemplified->r_0047_0001__The_r_0047_0004__state [arg1] r_0047_0020__see see r_0047_0011__is_r_0047_0012__exemplified->r_0047_0020__see [prn] r_0047_0014__sam sam r_0047_0011__is_r_0047_0012__exemplified->r_0047_0014__sam by_lgs z_0047_5017___star_ * r_0047_0011__is_r_0047_0012__exemplified->z_0047_5017___star_ [arg0] r_0047_0026__sam sam r_0047_0020__see->r_0047_0026__sam [arg1] r_0047_0035__17_r_0047_0036___num__r_0047_0037__11 17 _num_ 11 r_0047_0020__see->r_0047_0035__17_r_0047_0036___num__r_0047_0037__11 in [nim] z_0047_5008 r_0047_0020__see->z_0047_5008 [arg0] r_0047_0017__Rob_r_0047_0018__Pike Rob Pike r_0047_0014__sam->r_0047_0017__Rob_r_0047_0018__Pike by r_0047_0021__his his r_0047_0026__sam->r_0047_0021__his [gen] r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor The Text Editor r_0047_0026__sam->r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor [nim] r_0047_0030__Software_r_0047_0032__Practice_r_0047_0033__and_r_0047_0034__Experience Software Practice and Experience 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 [nim] z_0047_5013 z_0047_5013->r_0047_0035__17_r_0047_0036___num__r_0047_0037__11 [arg0] r_0047_0039__Nov_dot__r_0047_0040__1987 Nov. 1987 z_0047_5013->r_0047_0039__Nov_dot__r_0047_0040__1987 [prd] 
fof(formula,axiom,
    ? [R_0047_0021__HIS,R_0047_0023__THE_R_0047_0024__TEXT_R_0047_0025__EDITOR,R_0047_0026__SAM,R_0047_0030__SOFTWARE_R_0047_0032__PRACTICE_R_0047_0033__AND_R_0047_0034__EXPERIENCE,R_0047_0035__17_R_0047_0036___NUM__R_0047_0037__11,Z_0047_5008,R_0047_0020__SEE,R_0047_0002__CURRENT,R_0047_0003__LOCAL,R_0047_0010__DESCENT,R_0047_0006__THE_R_0047_0007__QED_R_0047_0008__LINE,R_0047_0001__THE_R_0047_0004__STATE,R_0047_0017__ROB_R_0047_0018__PIKE,R_0047_0014__SAM,Z_0047_5017___STAR_,R_0047_0011__IS_R_0047_0012__EXEMPLIFIED,R_0047_0039__NOV_DOT__R_0047_0040__1987,Z_0047_5013] :
      ( r_0047_0002__current(R_0047_0002__CURRENT)
      & r_0047_0003__local(R_0047_0003__LOCAL)
      & r_0047_0010__descent(R_0047_0010__DESCENT)
      & r_0047_0017__Rob_r_0047_0018__Pike(R_0047_0017__ROB_R_0047_0018__PIKE)
      & r_0047_0021__his(R_0047_0021__HIS)
      & r_0047_0023__The_r_0047_0024__Text_r_0047_0025__Editor(R_0047_0023__THE_R_0047_0024__TEXT_R_0047_0025__EDITOR)
      & r_0047_0030__Software_r_0047_0032__Practice_r_0047_0033__and_r_0047_0034__Experience(R_0047_0030__SOFTWARE_R_0047_0032__PRACTICE_R_0047_0033__AND_R_0047_0034__EXPERIENCE)
      & r_0047_0039__Nov_dot__r_0047_0040__1987(R_0047_0039__NOV_DOT__R_0047_0040__1987)
      & z_0047_5008(Z_0047_5008)
      & z_0047_5017___star_(Z_0047_5017___STAR_)
      & z_0047_5013(Z_0047_5013)
      & has_prd(Z_0047_5013,R_0047_0039__NOV_DOT__R_0047_0040__1987)
      & has_arg0(Z_0047_5013,R_0047_0035__17_R_0047_0036___NUM__R_0047_0037__11)
      & r_0047_0035__17_r_0047_0036___num__r_0047_0037__11(R_0047_0035__17_R_0047_0036___NUM__R_0047_0037__11)
      & has_nim(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)
      & r_0047_0011__is_r_0047_0012__exemplified(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED)
      & has_arg0(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED,Z_0047_5017___STAR_)
      & has_r_0047_0013__by_lgs(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED,R_0047_0014__SAM)
      & r_0047_0014__sam(R_0047_0014__SAM)
      & has_r_0047_0016__by(R_0047_0014__SAM,R_0047_0017__ROB_R_0047_0018__PIKE)
      & has_arg1(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED,R_0047_0001__THE_R_0047_0004__STATE)
      & r_0047_0001__The_r_0047_0004__state(R_0047_0001__THE_R_0047_0004__STATE)
      & has_r_0047_0005__of(R_0047_0001__THE_R_0047_0004__STATE,R_0047_0006__THE_R_0047_0007__QED_R_0047_0008__LINE)
      & r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line(R_0047_0006__THE_R_0047_0007__QED_R_0047_0008__LINE)
      & has_r_0047_0009__of(R_0047_0006__THE_R_0047_0007__QED_R_0047_0008__LINE,R_0047_0010__DESCENT)
      & has_attrib(R_0047_0001__THE_R_0047_0004__STATE,R_0047_0003__LOCAL)
      & has_attrib(R_0047_0001__THE_R_0047_0004__STATE,R_0047_0002__CURRENT)
      & has_prn(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED,R_0047_0020__SEE)
      & r_0047_0020__see(R_0047_0020__SEE)
      & has_arg0(R_0047_0020__SEE,Z_0047_5008)
      & has_r_0047_0029__in__nim(R_0047_0020__SEE,R_0047_0035__17_R_0047_0036___NUM__R_0047_0037__11)
      & has_arg1(R_0047_0020__SEE,R_0047_0026__SAM)
      & r_0047_0026__sam(R_0047_0026__SAM)
      & has_nim(R_0047_0026__SAM,R_0047_0023__THE_R_0047_0024__TEXT_R_0047_0025__EDITOR)
      & has_gen(R_0047_0026__SAM,R_0047_0021__HIS) ) ).