Context                Previous, Next                Top


61_a_history_of_qed
A traditional (and maybe the nicest) version of QED was done at the University of Toronto by Tom Duff, Rob Pike, Hugh Redelmeier, and David Tilbrook;

%3 r_0061_0001__A A r_0061_0002__traditional traditional r_0061_0001__A->r_0061_0002__traditional [attrib] r_0061_0004__and and r_0061_0004__and->r_0061_0001__A [conj1] r_0061_0006__the_r_0061_0009__version the version r_0061_0004__and->r_0061_0006__the_r_0061_0009__version [conj2] r_0061_0011__QED QED r_0061_0004__and->r_0061_0011__QED of r_0061_0005__maybe maybe r_0061_0006__the_r_0061_0009__version->r_0061_0005__maybe [qual] r_0061_0007__nicest nicest r_0061_0006__the_r_0061_0009__version->r_0061_0007__nicest [attrib] r_0061_0012__was was r_0061_0013__done done r_0061_0012__was->r_0061_0013__done [scope] r_0061_0013__done->r_0061_0004__and [arg1] r_0061_0015__the_r_0061_0016__University the University r_0061_0013__done->r_0061_0015__the_r_0061_0016__University at [nim] r_0061_0029__and and r_0061_0013__done->r_0061_0029__and [arg0] r_0061_0018__Toronto Toronto r_0061_0015__the_r_0061_0016__University->r_0061_0018__Toronto of r_0061_0020__Tom_r_0061_0021__Duff Tom Duff r_0061_0029__and->r_0061_0020__Tom_r_0061_0021__Duff [conj1] r_0061_0023__Rob_r_0061_0024__Pike Rob Pike r_0061_0029__and->r_0061_0023__Rob_r_0061_0024__Pike [conj2] r_0061_0026__Hugh_r_0061_0027__Redelmeier Hugh Redelmeier r_0061_0029__and->r_0061_0026__Hugh_r_0061_0027__Redelmeier [conj3] r_0061_0030__David_r_0061_0031__Tilbrook David Tilbrook r_0061_0029__and->r_0061_0030__David_r_0061_0031__Tilbrook [conj4] 
arc(r_0061_0001__A, r_0061_0002__traditional, attrib7).
arc(r_0061_0004__and, r_0061_0001__A, conj1).
arc(r_0061_0004__and, r_0061_0006__the_r_0061_0009__version, conj2).
arc(r_0061_0004__and, r_0061_0011__QED, r_0061_0010__of).
arc(r_0061_0006__the_r_0061_0009__version, r_0061_0005__maybe, qual16).
arc(r_0061_0006__the_r_0061_0009__version, r_0061_0007__nicest, attrib21).
arc(r_0061_0012__was, r_0061_0013__done, scope).
arc(r_0061_0013__done, r_0061_0004__and, arg1).
arc(r_0061_0013__done, r_0061_0015__the_r_0061_0016__University, r_0061_0014__at_nim42).
arc(r_0061_0013__done, r_0061_0029__and, arg0).
arc(r_0061_0015__the_r_0061_0016__University, r_0061_0018__Toronto, r_0061_0017__of).
arc(r_0061_0029__and, r_0061_0020__Tom_r_0061_0021__Duff, conj1).
arc(r_0061_0029__and, r_0061_0023__Rob_r_0061_0024__Pike, conj2).
arc(r_0061_0029__and, r_0061_0026__Hugh_r_0061_0027__Redelmeier, conj3).
arc(r_0061_0029__and, r_0061_0030__David_r_0061_0031__Tilbrook, conj4).


%3 r_0061_0029__and and r_0061_0030__David_r_0061_0031__Tilbrook David Tilbrook r_0061_0029__and->r_0061_0030__David_r_0061_0031__Tilbrook [conj4] r_0061_0026__Hugh_r_0061_0027__Redelmeier Hugh Redelmeier r_0061_0029__and->r_0061_0026__Hugh_r_0061_0027__Redelmeier [conj3] r_0061_0023__Rob_r_0061_0024__Pike Rob Pike r_0061_0029__and->r_0061_0023__Rob_r_0061_0024__Pike [conj2] r_0061_0020__Tom_r_0061_0021__Duff Tom Duff r_0061_0029__and->r_0061_0020__Tom_r_0061_0021__Duff [conj1] r_0061_0015__the_r_0061_0016__University the University r_0061_0018__Toronto Toronto r_0061_0015__the_r_0061_0016__University->r_0061_0018__Toronto of r_0061_0012__was_r_0061_0013__done was done r_0061_0012__was_r_0061_0013__done->r_0061_0029__and [arg0] r_0061_0012__was_r_0061_0013__done->r_0061_0015__the_r_0061_0016__University at [nim] r_0061_0004__and and r_0061_0012__was_r_0061_0013__done->r_0061_0004__and [arg1] r_0061_0006__the_r_0061_0009__version the version r_0061_0004__and->r_0061_0006__the_r_0061_0009__version [conj2] r_0061_0011__QED QED r_0061_0004__and->r_0061_0011__QED of r_0061_0001__A A r_0061_0004__and->r_0061_0001__A [conj1] r_0061_0007__nicest nicest r_0061_0006__the_r_0061_0009__version->r_0061_0007__nicest [attrib] r_0061_0005__maybe maybe r_0061_0006__the_r_0061_0009__version->r_0061_0005__maybe [qual] r_0061_0002__traditional traditional r_0061_0001__A->r_0061_0002__traditional [attrib] 
fof(formula,axiom,
    ? [R_61_12_WAS_DONE,R_61_29_AND,R_61_20_TOM_DUFF,R_61_23_ROB_PIKE,R_61_26_HUGH_REDELMEIER,R_61_30_DAVID_TILBROOK,R_61_4_AND,R_61_1_A,R_61_2_TRADITIONAL,R_61_6_THE_VERSION,R_61_7_NICEST,R_61_5_MAYBE,R_61_11_QED,R_61_15_THE_UNIVERSITY,R_61_18_TORONTO] :
      ( tom_Duff(R_61_20_TOM_DUFF)
      & rob_Pike(R_61_23_ROB_PIKE)
      & hugh_Redelmeier(R_61_26_HUGH_REDELMEIER)
      & david_Tilbrook(R_61_30_DAVID_TILBROOK)
      & traditional(R_61_2_TRADITIONAL)
      & nicest(R_61_7_NICEST)
      & maybe(R_61_5_MAYBE)
      & qED(R_61_11_QED)
      & toronto(R_61_18_TORONTO)
      & was_done(R_61_12_WAS_DONE,R_61_29_AND,R_61_4_AND)
      & and(R_61_29_AND)
      & conj1(R_61_29_AND,R_61_20_TOM_DUFF)
      & conj2(R_61_29_AND,R_61_23_ROB_PIKE)
      & conj3(R_61_29_AND,R_61_26_HUGH_REDELMEIER)
      & conj4(R_61_29_AND,R_61_30_DAVID_TILBROOK)
      & and(R_61_4_AND)
      & conj1(R_61_4_AND,R_61_1_A)
      & a(R_61_1_A)
      & attrib7(R_61_1_A,R_61_2_TRADITIONAL)
      & conj2(R_61_4_AND,R_61_6_THE_VERSION)
      & the_version(R_61_6_THE_VERSION)
      & attrib21(R_61_6_THE_VERSION,R_61_7_NICEST)
      & qual16(R_61_6_THE_VERSION,R_61_5_MAYBE)
      & of(R_61_4_AND,R_61_11_QED)
      & at_nim42(R_61_12_WAS_DONE,R_61_15_THE_UNIVERSITY)
      & the_University(R_61_15_THE_UNIVERSITY)
      & of(R_61_15_THE_UNIVERSITY,R_61_18_TORONTO) ) ).


n61_a_history_of_qed n61_a_history_of_qed__1_1_1_1_1_1 A n61_a_history_of_qed__1_1_1_1_2_1_1 traditional n61_a_history_of_qed__1_1_1_2_1 -LRB- n61_a_history_of_qed__1_1_1_3_1_1 and n61_a_history_of_qed__1_1_1_3_2_1_1_1 maybe n61_a_history_of_qed__1_1_1_3_2_2_1 the n61_a_history_of_qed__1_1_1_3_2_3_1_1 nicest n61_a_history_of_qed__1_1_1_3_2_4_1 -RRB- n61_a_history_of_qed__1_1_1_3_2_5_1 version n61_a_history_of_qed__1_1_2_1_1 of n61_a_history_of_qed__1_1_2_2_1_1 QED n61_a_history_of_qed__1_2_1 was n61_a_history_of_qed__1_3_1_1 done n61_a_history_of_qed__1_3_2_1_1 at n61_a_history_of_qed__1_3_2_2_1_1 the n61_a_history_of_qed__1_3_2_2_2_1 University n61_a_history_of_qed__1_3_2_2_3_1_1 of n61_a_history_of_qed__1_3_2_2_3_2_1_1 Toronto n61_a_history_of_qed__1_3_3_1_1 by n61_a_history_of_qed__1_3_3_2_1_1_1_1 Tom n61_a_history_of_qed__1_3_3_2_1_1_2_1 Duff n61_a_history_of_qed__1_3_3_2_1_2_1 , n61_a_history_of_qed__1_3_3_2_1_3_1_1_1 Rob n61_a_history_of_qed__1_3_3_2_1_3_1_2_1 Pike n61_a_history_of_qed__1_3_3_2_1_4_1 , n61_a_history_of_qed__1_3_3_2_1_5_1_1_1 Hugh n61_a_history_of_qed__1_3_3_2_1_5_1_2_1 Redelmeier n61_a_history_of_qed__1_3_3_2_1_6_1 , n61_a_history_of_qed__1_3_3_2_1_7_1_1 and n61_a_history_of_qed__1_3_3_2_1_7_2_1_1 David n61_a_history_of_qed__1_3_3_2_1_7_2_2_1 Tilbrook n61_a_history_of_qed__1_4_1 ; n61_a_history_of_qed__1 IP-MAT n61_a_history_of_qed__1_1 NP-SBJ n61_a_history_of_qed__1->n61_a_history_of_qed__1_1 n61_a_history_of_qed__1_2 BED;_cat_VePASS_ n61_a_history_of_qed__1->n61_a_history_of_qed__1_2 n61_a_history_of_qed__1_3 IP-PPL-CAT n61_a_history_of_qed__1->n61_a_history_of_qed__1_3 n61_a_history_of_qed__1_4 PUNC n61_a_history_of_qed__1->n61_a_history_of_qed__1_4 n61_a_history_of_qed__1_1_1 NLYR n61_a_history_of_qed__1_1->n61_a_history_of_qed__1_1_1 n61_a_history_of_qed__1_1_2 PP n61_a_history_of_qed__1_1->n61_a_history_of_qed__1_1_2 n61_a_history_of_qed__1_1_1_1 NLYR n61_a_history_of_qed__1_1_1->n61_a_history_of_qed__1_1_1_1 n61_a_history_of_qed__1_1_1_2 PULB n61_a_history_of_qed__1_1_1->n61_a_history_of_qed__1_1_1_2 n61_a_history_of_qed__1_1_1_3 CONJP n61_a_history_of_qed__1_1_1->n61_a_history_of_qed__1_1_1_3 n61_a_history_of_qed__1_1_1_1_1 D n61_a_history_of_qed__1_1_1_1->n61_a_history_of_qed__1_1_1_1_1 n61_a_history_of_qed__1_1_1_1_2 ADJP n61_a_history_of_qed__1_1_1_1->n61_a_history_of_qed__1_1_1_1_2 n61_a_history_of_qed__1_1_1_1_1->n61_a_history_of_qed__1_1_1_1_1_1 n61_a_history_of_qed__1_1_1_1_2_1 ADJ n61_a_history_of_qed__1_1_1_1_2->n61_a_history_of_qed__1_1_1_1_2_1 n61_a_history_of_qed__1_1_1_1_2_1->n61_a_history_of_qed__1_1_1_1_2_1_1 n61_a_history_of_qed__1_1_1_2->n61_a_history_of_qed__1_1_1_2_1 n61_a_history_of_qed__1_1_1_3_1 CONJ n61_a_history_of_qed__1_1_1_3->n61_a_history_of_qed__1_1_1_3_1 n61_a_history_of_qed__1_1_1_3_2 NLYR n61_a_history_of_qed__1_1_1_3->n61_a_history_of_qed__1_1_1_3_2 n61_a_history_of_qed__1_1_1_3_1->n61_a_history_of_qed__1_1_1_3_1_1 n61_a_history_of_qed__1_1_1_3_2_1 ADVP n61_a_history_of_qed__1_1_1_3_2->n61_a_history_of_qed__1_1_1_3_2_1 n61_a_history_of_qed__1_1_1_3_2_2 D n61_a_history_of_qed__1_1_1_3_2->n61_a_history_of_qed__1_1_1_3_2_2 n61_a_history_of_qed__1_1_1_3_2_3 ADJP n61_a_history_of_qed__1_1_1_3_2->n61_a_history_of_qed__1_1_1_3_2_3 n61_a_history_of_qed__1_1_1_3_2_4 PURB n61_a_history_of_qed__1_1_1_3_2->n61_a_history_of_qed__1_1_1_3_2_4 n61_a_history_of_qed__1_1_1_3_2_5 N n61_a_history_of_qed__1_1_1_3_2->n61_a_history_of_qed__1_1_1_3_2_5 n61_a_history_of_qed__1_1_1_3_2_1_1 ADV n61_a_history_of_qed__1_1_1_3_2_1->n61_a_history_of_qed__1_1_1_3_2_1_1 n61_a_history_of_qed__1_1_1_3_2_1_1->n61_a_history_of_qed__1_1_1_3_2_1_1_1 n61_a_history_of_qed__1_1_1_3_2_2->n61_a_history_of_qed__1_1_1_3_2_2_1 n61_a_history_of_qed__1_1_1_3_2_3_1 ADJS n61_a_history_of_qed__1_1_1_3_2_3->n61_a_history_of_qed__1_1_1_3_2_3_1 n61_a_history_of_qed__1_1_1_3_2_3_1->n61_a_history_of_qed__1_1_1_3_2_3_1_1 n61_a_history_of_qed__1_1_1_3_2_4->n61_a_history_of_qed__1_1_1_3_2_4_1 n61_a_history_of_qed__1_1_1_3_2_5->n61_a_history_of_qed__1_1_1_3_2_5_1 n61_a_history_of_qed__1_1_2_1 P-ROLE n61_a_history_of_qed__1_1_2->n61_a_history_of_qed__1_1_2_1 n61_a_history_of_qed__1_1_2_2 NP n61_a_history_of_qed__1_1_2->n61_a_history_of_qed__1_1_2_2 n61_a_history_of_qed__1_1_2_1->n61_a_history_of_qed__1_1_2_1_1 n61_a_history_of_qed__1_1_2_2_1 NPR n61_a_history_of_qed__1_1_2_2->n61_a_history_of_qed__1_1_2_2_1 n61_a_history_of_qed__1_1_2_2_1->n61_a_history_of_qed__1_1_2_2_1_1 n61_a_history_of_qed__1_2->n61_a_history_of_qed__1_2_1 n61_a_history_of_qed__1_3_1 DON;_Tn_ n61_a_history_of_qed__1_3->n61_a_history_of_qed__1_3_1 n61_a_history_of_qed__1_3_2 PP-NIM n61_a_history_of_qed__1_3->n61_a_history_of_qed__1_3_2 n61_a_history_of_qed__1_3_3 PP-LGS n61_a_history_of_qed__1_3->n61_a_history_of_qed__1_3_3 n61_a_history_of_qed__1_3_1->n61_a_history_of_qed__1_3_1_1 n61_a_history_of_qed__1_3_2_1 P-ROLE n61_a_history_of_qed__1_3_2->n61_a_history_of_qed__1_3_2_1 n61_a_history_of_qed__1_3_2_2 NP n61_a_history_of_qed__1_3_2->n61_a_history_of_qed__1_3_2_2 n61_a_history_of_qed__1_3_2_1->n61_a_history_of_qed__1_3_2_1_1 n61_a_history_of_qed__1_3_2_2_1 D n61_a_history_of_qed__1_3_2_2->n61_a_history_of_qed__1_3_2_2_1 n61_a_history_of_qed__1_3_2_2_2 NPR n61_a_history_of_qed__1_3_2_2->n61_a_history_of_qed__1_3_2_2_2 n61_a_history_of_qed__1_3_2_2_3 PP n61_a_history_of_qed__1_3_2_2->n61_a_history_of_qed__1_3_2_2_3 n61_a_history_of_qed__1_3_2_2_1->n61_a_history_of_qed__1_3_2_2_1_1 n61_a_history_of_qed__1_3_2_2_2->n61_a_history_of_qed__1_3_2_2_2_1 n61_a_history_of_qed__1_3_2_2_3_1 P-ROLE n61_a_history_of_qed__1_3_2_2_3->n61_a_history_of_qed__1_3_2_2_3_1 n61_a_history_of_qed__1_3_2_2_3_2 NP n61_a_history_of_qed__1_3_2_2_3->n61_a_history_of_qed__1_3_2_2_3_2 n61_a_history_of_qed__1_3_2_2_3_1->n61_a_history_of_qed__1_3_2_2_3_1_1 n61_a_history_of_qed__1_3_2_2_3_2_1 NPR n61_a_history_of_qed__1_3_2_2_3_2->n61_a_history_of_qed__1_3_2_2_3_2_1 n61_a_history_of_qed__1_3_2_2_3_2_1->n61_a_history_of_qed__1_3_2_2_3_2_1_1 n61_a_history_of_qed__1_3_3_1 P-ROLE;_lgs_ n61_a_history_of_qed__1_3_3->n61_a_history_of_qed__1_3_3_1 n61_a_history_of_qed__1_3_3_2 NP n61_a_history_of_qed__1_3_3->n61_a_history_of_qed__1_3_3_2 n61_a_history_of_qed__1_3_3_1->n61_a_history_of_qed__1_3_3_1_1 n61_a_history_of_qed__1_3_3_2_1 NLYR n61_a_history_of_qed__1_3_3_2->n61_a_history_of_qed__1_3_3_2_1 n61_a_history_of_qed__1_3_3_2_1_1 NLYR n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_1 n61_a_history_of_qed__1_3_3_2_1_2 PUNC n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_2 n61_a_history_of_qed__1_3_3_2_1_3 CONJP n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_3 n61_a_history_of_qed__1_3_3_2_1_4 PUNC n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_4 n61_a_history_of_qed__1_3_3_2_1_5 CONJP n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_5 n61_a_history_of_qed__1_3_3_2_1_6 PUNC n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_6 n61_a_history_of_qed__1_3_3_2_1_7 CONJP n61_a_history_of_qed__1_3_3_2_1->n61_a_history_of_qed__1_3_3_2_1_7 n61_a_history_of_qed__1_3_3_2_1_1_1 NPR n61_a_history_of_qed__1_3_3_2_1_1->n61_a_history_of_qed__1_3_3_2_1_1_1 n61_a_history_of_qed__1_3_3_2_1_1_2 NPR n61_a_history_of_qed__1_3_3_2_1_1->n61_a_history_of_qed__1_3_3_2_1_1_2 n61_a_history_of_qed__1_3_3_2_1_1_1->n61_a_history_of_qed__1_3_3_2_1_1_1_1 n61_a_history_of_qed__1_3_3_2_1_1_2->n61_a_history_of_qed__1_3_3_2_1_1_2_1 n61_a_history_of_qed__1_3_3_2_1_2->n61_a_history_of_qed__1_3_3_2_1_2_1 n61_a_history_of_qed__1_3_3_2_1_3_1 NLYR n61_a_history_of_qed__1_3_3_2_1_3->n61_a_history_of_qed__1_3_3_2_1_3_1 n61_a_history_of_qed__1_3_3_2_1_3_1_1 NPR n61_a_history_of_qed__1_3_3_2_1_3_1->n61_a_history_of_qed__1_3_3_2_1_3_1_1 n61_a_history_of_qed__1_3_3_2_1_3_1_2 NPR n61_a_history_of_qed__1_3_3_2_1_3_1->n61_a_history_of_qed__1_3_3_2_1_3_1_2 n61_a_history_of_qed__1_3_3_2_1_3_1_1->n61_a_history_of_qed__1_3_3_2_1_3_1_1_1 n61_a_history_of_qed__1_3_3_2_1_3_1_2->n61_a_history_of_qed__1_3_3_2_1_3_1_2_1 n61_a_history_of_qed__1_3_3_2_1_4->n61_a_history_of_qed__1_3_3_2_1_4_1 n61_a_history_of_qed__1_3_3_2_1_5_1 NLYR n61_a_history_of_qed__1_3_3_2_1_5->n61_a_history_of_qed__1_3_3_2_1_5_1 n61_a_history_of_qed__1_3_3_2_1_5_1_1 NPR n61_a_history_of_qed__1_3_3_2_1_5_1->n61_a_history_of_qed__1_3_3_2_1_5_1_1 n61_a_history_of_qed__1_3_3_2_1_5_1_2 NPR n61_a_history_of_qed__1_3_3_2_1_5_1->n61_a_history_of_qed__1_3_3_2_1_5_1_2 n61_a_history_of_qed__1_3_3_2_1_5_1_1->n61_a_history_of_qed__1_3_3_2_1_5_1_1_1 n61_a_history_of_qed__1_3_3_2_1_5_1_2->n61_a_history_of_qed__1_3_3_2_1_5_1_2_1 n61_a_history_of_qed__1_3_3_2_1_6->n61_a_history_of_qed__1_3_3_2_1_6_1 n61_a_history_of_qed__1_3_3_2_1_7_1 CONJ n61_a_history_of_qed__1_3_3_2_1_7->n61_a_history_of_qed__1_3_3_2_1_7_1 n61_a_history_of_qed__1_3_3_2_1_7_2 NLYR n61_a_history_of_qed__1_3_3_2_1_7->n61_a_history_of_qed__1_3_3_2_1_7_2 n61_a_history_of_qed__1_3_3_2_1_7_1->n61_a_history_of_qed__1_3_3_2_1_7_1_1 n61_a_history_of_qed__1_3_3_2_1_7_2_1 NPR n61_a_history_of_qed__1_3_3_2_1_7_2->n61_a_history_of_qed__1_3_3_2_1_7_2_1 n61_a_history_of_qed__1_3_3_2_1_7_2_2 NPR n61_a_history_of_qed__1_3_3_2_1_7_2->n61_a_history_of_qed__1_3_3_2_1_7_2_2 n61_a_history_of_qed__1_3_3_2_1_7_2_1->n61_a_history_of_qed__1_3_3_2_1_7_2_1_1 n61_a_history_of_qed__1_3_3_2_1_7_2_2->n61_a_history_of_qed__1_3_3_2_1_7_2_2_1 n61_a_history_of_qed__1_4->n61_a_history_of_qed__1_4_1 
( (IP-MAT (NP-SBJ;{TORONTO_QED} (NLYR (NLYR (D A;{a})
                                            (ADJP (ADJ traditional;{traditional})))
                                      (PULB -LRB-)
                                      (CONJP (CONJ and;{and})
                                             (NLYR (ADVP (ADV maybe;{maybe}))
                                                   (D the;{the})
                                                   (ADJP (ADJS nicest;{nice}))
                                                   (PURB -RRB-)
                                                   (N version;{version}))))
                                (PP (P-ROLE of;{of})
                                    (NP (NPR QED;{QED}))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (DON;_Tn_ done;{do})
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (NPR University;{University})
                                  (PP (P-ROLE of;{of})
                                      (NP (NPR Toronto;{Toronto})))))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NLYR (NLYR (NPR Tom;{Tom})
                                              (NPR Duff;{Duff}))
                                        (PUNC ,)
                                        (CONJP (NLYR (NPR Rob;{Rob})
                                                     (NPR Pike;{Pike})))
                                        (PUNC ,)
                                        (CONJP (NLYR (NPR Hugh;{Hugh})
                                                     (NPR Redelmeier;{Redelmeier})))
                                        (PUNC ,)
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NPR David;{David})
                                                     (NPR Tilbrook;{Tilbrook})))))))
          (PUNC ;))
  (ID 61_a_history_of_qed))