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 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 is r_0047_0012__exemplified exemplified r_0047_0011__is->r_0047_0012__exemplified [scope] r_0047_0012__exemplified->r_0047_0001__The_r_0047_0004__state [arg1] r_0047_0014__sam sam r_0047_0012__exemplified->r_0047_0014__sam [arg0] r_0047_0012__exemplified->r_0047_0014__sam lgs r_0047_0017__Rob_r_0047_0018__Pike Rob Pike r_0047_0014__sam->r_0047_0017__Rob_r_0047_0018__Pike by 
arc(r_0047_0001__The_r_0047_0004__state, r_0047_0002__current, attrib5).
arc(r_0047_0001__The_r_0047_0004__state, r_0047_0003__local, attrib8).
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_0012__exemplified, r_0047_0001__The_r_0047_0004__state, arg1).
arc(r_0047_0012__exemplified, r_0047_0014__sam, arg0).
arc(r_0047_0012__exemplified, r_0047_0014__sam, lgs).
arc(r_0047_0014__sam, r_0047_0017__Rob_r_0047_0018__Pike, r_0047_0016__by).


%3 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_0011__is_r_0047_0012__exemplified is exemplified r_0047_0011__is_r_0047_0012__exemplified->r_0047_0014__sam lgs r_0047_0011__is_r_0047_0012__exemplified->r_0047_0014__sam [arg0] r_0047_0001__The_r_0047_0004__state The state r_0047_0011__is_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_0010__descent descent r_0047_0006__the_r_0047_0007__QED_r_0047_0008__line->r_0047_0010__descent of 
fof(formula,axiom,
    ? [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,R_0047_0011__IS_R_0047_0012__EXEMPLIFIED] :
      ( 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_0011__is_r_0047_0012__exemplified(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED)
      & has_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_arg0(R_0047_0011__IS_R_0047_0012__EXEMPLIFIED,R_0047_0014__SAM)
      & 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_attrib8(R_0047_0001__THE_R_0047_0004__STATE,R_0047_0003__LOCAL)
      & has_attrib5(R_0047_0001__THE_R_0047_0004__STATE,R_0047_0002__CURRENT) ) ).


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 The n47_a_history_of_qed__1_5_1_2_4_1 Text n47_a_history_of_qed__1_5_1_2_5_1 Editor n47_a_history_of_qed__1_5_1_2_6_1 sam n47_a_history_of_qed__1_5_1_2_7_1 , n47_a_history_of_qed__1_5_1_2_8_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 Software_--_Practice_and_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 D 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 N 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 N 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 NPR 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_7 PUNC n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_7 n47_a_history_of_qed__1_5_1_2_8 PURQ n47_a_history_of_qed__1_5_1_2->n47_a_history_of_qed__1_5_1_2_8 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->n47_a_history_of_qed__1_5_1_2_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_2_7->n47_a_history_of_qed__1_5_1_2_7_1 n47_a_history_of_qed__1_5_1_2_8->n47_a_history_of_qed__1_5_1_2_8_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 NPR 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 IP-PPL 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->n47_a_history_of_qed__1_5_1_3_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-PRD 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>)
                               (D The;{the})
                               (N Text;{text})
                               (N Editor;{editor})
                               (NPR sam;{sam})
                               (PUNC ,)
                               (PURQ <rdquo>))
                       (PP-NIM (P-ROLE in;{in})
                               (NP (NPR Software_--_Practice_and_Experience)
                                   (NUM 17)
                                   (N <num>)
                                   (NUM 11)
                                   (PUNC ,)
                                   (IP-PPL (NP-PRD (NPR Nov<dot>)
                                                   (NPR 1987)))))))
          (PURB -RRB-)
          (PUNC .))
  (ID 47_a_history_of_qed))