Context                Previous, Next                Top


51_a_history_of_qed
The current implementation of regular expressions in Bell Labs research software uses algorithms close to those in Ken's CTSS and Multics versions, particularly the latter, because they don't try to compile to machine code.

%3 0051_0001__The_3__implementation The_implementation 0051_0002__current current 0051_0001__The_3__implementation->0051_0002__current [attrib] 0051_0006__expressions expressions 0051_0001__The_3__implementation->0051_0006__expressions of 0051_0010__research_11__software research_software 0051_0001__The_3__implementation->0051_0010__research_11__software in 0051_0005__regular regular 0051_0006__expressions->0051_0005__regular [attrib] 0051_0008__Bell_9__Labs Bell_Labs 0051_0010__research_11__software->0051_0008__Bell_9__Labs [modifier] 0051_0012__uses uses 0051_0012__uses->0051_0001__The_3__implementation [arg0] 0051_0013__algorithms algorithms 0051_0012__uses->0051_0013__algorithms [arg1] 0051_0014__close close 0051_0013__algorithms->0051_0014__close [attrib] 0051_0016__those those 0051_0014__close->0051_0016__those to 0051_0023__versions versions 0051_0016__those->0051_0023__versions in 0051_0021__and and 0051_0023__versions->0051_0021__and [modifier] 0051_0018__Ken Ken 0051_0023__versions->0051_0018__Ken [gen] 0051_0020__CTSS CTSS 0051_0021__and->0051_0020__CTSS [conj1] 0051_0022__Multics Multics 0051_0021__and->0051_0022__Multics [conj2] 0051_0026__the the 0051_0025__particularly particularly 0051_0026__the->0051_0025__particularly [qual] 0051_0027__latter latter 0051_0026__the->0051_0027__latter [attrib] 0051_0029__because because 0051_0029__because->0051_0012__uses [scope] 0051_0032__n't n't 0051_0029__because->0051_0032__n't [restriction] 0051_0031__do_33__try do_try 0051_0032__n't->0051_0031__do_33__try [scope] 0051_0035__compile_36__to compile_to 0051_0031__do_33__try->0051_0035__compile_36__to [arg1] 0051_5017 0051_0031__do_33__try->0051_5017 [arg0] 0051_0035__compile_36__to->0051_5017 [arg0] 0051_0037__machine_38__code machine_code 0051_0035__compile_36__to->0051_0037__machine_38__code [arg1] 0051_5013 0051_5013->0051_0023__versions [arg0] 0051_5013->0051_0026__the [prd] 
arc(r_0051_0001__The_r_0051_0003__implementation,r_0051_0002__current,attrib).
arc(r_0051_0001__The_r_0051_0003__implementation,r_0051_0006__expressions,r_0051_0004__of).
arc(r_0051_0001__The_r_0051_0003__implementation,r_0051_0010__research_r_0051_0011__software,r_0051_0007__in).
arc(r_0051_0006__expressions,r_0051_0005__regular,attrib).
arc(r_0051_0010__research_r_0051_0011__software,r_0051_0008__Bell_r_0051_0009__Labs,modifier).
arc(r_0051_0012__uses,r_0051_0001__The_r_0051_0003__implementation,arg0).
arc(r_0051_0012__uses,r_0051_0013__algorithms,arg1).
arc(r_0051_0013__algorithms,r_0051_0014__close,attrib).
arc(r_0051_0014__close,r_0051_0016__those,r_0051_0015__to).
arc(r_0051_0016__those,r_0051_0023__versions,r_0051_0017__in).
arc(r_0051_0021__and,r_0051_0020__CTSS,conj1).
arc(r_0051_0021__and,r_0051_0022__Multics,conj2).
arc(r_0051_0023__versions,r_0051_0018__Ken,gen).
arc(r_0051_0023__versions,r_0051_0021__and,modifier).
arc(r_0051_0026__the,r_0051_0025__particularly,qual).
arc(r_0051_0026__the,r_0051_0027__latter,attrib).
arc(r_0051_0029__because,r_0051_0012__uses,scope).
arc(r_0051_0029__because,r_0051_0032__n_apos_t,restriction).
arc(r_0051_0031__do_r_0051_0033__try,r_0051_0035__compile_r_0051_0036__to,arg1).
arc(r_0051_0031__do_r_0051_0033__try,z_0051_5017,arg0).
arc(r_0051_0032__n_apos_t,r_0051_0031__do_r_0051_0033__try,keep_scope).
arc(r_0051_0035__compile_r_0051_0036__to,r_0051_0037__machine_r_0051_0038__code,arg1).
arc(r_0051_0035__compile_r_0051_0036__to,z_0051_5017,arg0).
arc(z_0051_5013,r_0051_0023__versions,arg0).
arc(z_0051_5013,r_0051_0026__the,prd).

n51_a_history_of_qed n51_a_history_of_qed__1_1_1_1 The n51_a_history_of_qed__1_1_2_1_1 current n51_a_history_of_qed__1_1_3_1 implementation n51_a_history_of_qed__1_1_4_1_1 of n51_a_history_of_qed__1_1_4_2_1_1_1 regular n51_a_history_of_qed__1_1_4_2_2_1 expressions n51_a_history_of_qed__1_1_5_1_1 in n51_a_history_of_qed__1_1_5_2_1_1_1 Bell n51_a_history_of_qed__1_1_5_2_1_2_1 Labs n51_a_history_of_qed__1_1_5_2_2_1 research n51_a_history_of_qed__1_1_5_2_3_1 software n51_a_history_of_qed__1_2_1 uses n51_a_history_of_qed__1_3_1_1 algorithms n51_a_history_of_qed__1_3_2_1_1 close n51_a_history_of_qed__1_3_2_2_1_1 to n51_a_history_of_qed__1_3_2_2_2_1_1 those n51_a_history_of_qed__1_3_2_2_2_2_1_1 in n51_a_history_of_qed__1_3_2_2_2_2_2_1_1_1 Ken n51_a_history_of_qed__1_3_2_2_2_2_2_1_2_1 's n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1_1_1 CTSS n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_1_1 and n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2_1_1 Multics n51_a_history_of_qed__1_3_2_2_2_2_2_3_1 versions n51_a_history_of_qed__1_3_2_2_2_2_2_4_1 , n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1_1_1 particularly n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_2_1 the n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3_1_1 latter n51_a_history_of_qed__1_4_1 , n51_a_history_of_qed__1_5_1_1 because n51_a_history_of_qed__1_5_2_1_1_1 they n51_a_history_of_qed__1_5_2_2_1 do n51_a_history_of_qed__1_5_2_3_1 n't n51_a_history_of_qed__1_5_2_4_1 try n51_a_history_of_qed__1_5_2_5_1_1 to n51_a_history_of_qed__1_5_2_5_2_1 compile n51_a_history_of_qed__1_5_2_5_3_1_1 to n51_a_history_of_qed__1_5_2_5_3_2_1_1 machine n51_a_history_of_qed__1_5_2_5_3_2_2_1 code n51_a_history_of_qed__1_6_1 . n51_a_history_of_qed__1 IP-MAT n51_a_history_of_qed__1_1 NP-SBJ n51_a_history_of_qed__1->n51_a_history_of_qed__1_1 n51_a_history_of_qed__1_2 VBP;~ n51_a_history_of_qed__1->n51_a_history_of_qed__1_2 n51_a_history_of_qed__1_3 NP-OB1 n51_a_history_of_qed__1->n51_a_history_of_qed__1_3 n51_a_history_of_qed__1_4 PUNC n51_a_history_of_qed__1->n51_a_history_of_qed__1_4 n51_a_history_of_qed__1_5 PP-SCON n51_a_history_of_qed__1->n51_a_history_of_qed__1_5 n51_a_history_of_qed__1_6 PUNC n51_a_history_of_qed__1->n51_a_history_of_qed__1_6 n51_a_history_of_qed__1_1_1 D n51_a_history_of_qed__1_1->n51_a_history_of_qed__1_1_1 n51_a_history_of_qed__1_1_2 ADJP n51_a_history_of_qed__1_1->n51_a_history_of_qed__1_1_2 n51_a_history_of_qed__1_1_3 N n51_a_history_of_qed__1_1->n51_a_history_of_qed__1_1_3 n51_a_history_of_qed__1_1_4 PP n51_a_history_of_qed__1_1->n51_a_history_of_qed__1_1_4 n51_a_history_of_qed__1_1_5 PP n51_a_history_of_qed__1_1->n51_a_history_of_qed__1_1_5 n51_a_history_of_qed__1_1_1->n51_a_history_of_qed__1_1_1_1 n51_a_history_of_qed__1_1_2_1 ADJ n51_a_history_of_qed__1_1_2->n51_a_history_of_qed__1_1_2_1 n51_a_history_of_qed__1_1_2_1->n51_a_history_of_qed__1_1_2_1_1 n51_a_history_of_qed__1_1_3->n51_a_history_of_qed__1_1_3_1 n51_a_history_of_qed__1_1_4_1 P-ROLE n51_a_history_of_qed__1_1_4->n51_a_history_of_qed__1_1_4_1 n51_a_history_of_qed__1_1_4_2 NP n51_a_history_of_qed__1_1_4->n51_a_history_of_qed__1_1_4_2 n51_a_history_of_qed__1_1_4_1->n51_a_history_of_qed__1_1_4_1_1 n51_a_history_of_qed__1_1_4_2_1 ADJP n51_a_history_of_qed__1_1_4_2->n51_a_history_of_qed__1_1_4_2_1 n51_a_history_of_qed__1_1_4_2_2 NS n51_a_history_of_qed__1_1_4_2->n51_a_history_of_qed__1_1_4_2_2 n51_a_history_of_qed__1_1_4_2_1_1 ADJ n51_a_history_of_qed__1_1_4_2_1->n51_a_history_of_qed__1_1_4_2_1_1 n51_a_history_of_qed__1_1_4_2_1_1->n51_a_history_of_qed__1_1_4_2_1_1_1 n51_a_history_of_qed__1_1_4_2_2->n51_a_history_of_qed__1_1_4_2_2_1 n51_a_history_of_qed__1_1_5_1 P-ROLE n51_a_history_of_qed__1_1_5->n51_a_history_of_qed__1_1_5_1 n51_a_history_of_qed__1_1_5_2 NP n51_a_history_of_qed__1_1_5->n51_a_history_of_qed__1_1_5_2 n51_a_history_of_qed__1_1_5_1->n51_a_history_of_qed__1_1_5_1_1 n51_a_history_of_qed__1_1_5_2_1 NLYR n51_a_history_of_qed__1_1_5_2->n51_a_history_of_qed__1_1_5_2_1 n51_a_history_of_qed__1_1_5_2_2 N n51_a_history_of_qed__1_1_5_2->n51_a_history_of_qed__1_1_5_2_2 n51_a_history_of_qed__1_1_5_2_3 N n51_a_history_of_qed__1_1_5_2->n51_a_history_of_qed__1_1_5_2_3 n51_a_history_of_qed__1_1_5_2_1_1 NPR n51_a_history_of_qed__1_1_5_2_1->n51_a_history_of_qed__1_1_5_2_1_1 n51_a_history_of_qed__1_1_5_2_1_2 NPR n51_a_history_of_qed__1_1_5_2_1->n51_a_history_of_qed__1_1_5_2_1_2 n51_a_history_of_qed__1_1_5_2_1_1->n51_a_history_of_qed__1_1_5_2_1_1_1 n51_a_history_of_qed__1_1_5_2_1_2->n51_a_history_of_qed__1_1_5_2_1_2_1 n51_a_history_of_qed__1_1_5_2_2->n51_a_history_of_qed__1_1_5_2_2_1 n51_a_history_of_qed__1_1_5_2_3->n51_a_history_of_qed__1_1_5_2_3_1 n51_a_history_of_qed__1_2->n51_a_history_of_qed__1_2_1 n51_a_history_of_qed__1_3_1 NS n51_a_history_of_qed__1_3->n51_a_history_of_qed__1_3_1 n51_a_history_of_qed__1_3_2 ADJP n51_a_history_of_qed__1_3->n51_a_history_of_qed__1_3_2 n51_a_history_of_qed__1_3_1->n51_a_history_of_qed__1_3_1_1 n51_a_history_of_qed__1_3_2_1 ADJ n51_a_history_of_qed__1_3_2->n51_a_history_of_qed__1_3_2_1 n51_a_history_of_qed__1_3_2_2 PP n51_a_history_of_qed__1_3_2->n51_a_history_of_qed__1_3_2_2 n51_a_history_of_qed__1_3_2_1->n51_a_history_of_qed__1_3_2_1_1 n51_a_history_of_qed__1_3_2_2_1 P-ROLE n51_a_history_of_qed__1_3_2_2->n51_a_history_of_qed__1_3_2_2_1 n51_a_history_of_qed__1_3_2_2_2 NP n51_a_history_of_qed__1_3_2_2->n51_a_history_of_qed__1_3_2_2_2 n51_a_history_of_qed__1_3_2_2_1->n51_a_history_of_qed__1_3_2_2_1_1 n51_a_history_of_qed__1_3_2_2_2_1 D;_nphd_ n51_a_history_of_qed__1_3_2_2_2->n51_a_history_of_qed__1_3_2_2_2_1 n51_a_history_of_qed__1_3_2_2_2_2 PP n51_a_history_of_qed__1_3_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2 n51_a_history_of_qed__1_3_2_2_2_1->n51_a_history_of_qed__1_3_2_2_2_1_1 n51_a_history_of_qed__1_3_2_2_2_2_1 P-ROLE n51_a_history_of_qed__1_3_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2 NP n51_a_history_of_qed__1_3_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2 n51_a_history_of_qed__1_3_2_2_2_2_1->n51_a_history_of_qed__1_3_2_2_2_2_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_1 NP-GEN n51_a_history_of_qed__1_3_2_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2 NLYR n51_a_history_of_qed__1_3_2_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_2 n51_a_history_of_qed__1_3_2_2_2_2_2_3 NS n51_a_history_of_qed__1_3_2_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_3 n51_a_history_of_qed__1_3_2_2_2_2_2_4 PUNC n51_a_history_of_qed__1_3_2_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_4 n51_a_history_of_qed__1_3_2_2_2_2_2_5 PRN n51_a_history_of_qed__1_3_2_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_5 n51_a_history_of_qed__1_3_2_2_2_2_2_1_1 NPR n51_a_history_of_qed__1_3_2_2_2_2_2_1->n51_a_history_of_qed__1_3_2_2_2_2_2_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_1_2 GENM n51_a_history_of_qed__1_3_2_2_2_2_2_1->n51_a_history_of_qed__1_3_2_2_2_2_2_1_2 n51_a_history_of_qed__1_3_2_2_2_2_2_1_1->n51_a_history_of_qed__1_3_2_2_2_2_2_1_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_1_2->n51_a_history_of_qed__1_3_2_2_2_2_2_1_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1 NLYR n51_a_history_of_qed__1_3_2_2_2_2_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1 NLYR n51_a_history_of_qed__1_3_2_2_2_2_2_2_1->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2 CONJP n51_a_history_of_qed__1_3_2_2_2_2_2_2_1->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1_1 NPR n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1_1->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_1_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_1 CONJ n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2 NLYR n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_1->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2_1 NPR n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2_1->n51_a_history_of_qed__1_3_2_2_2_2_2_2_1_2_2_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_3->n51_a_history_of_qed__1_3_2_2_2_2_2_3_1 n51_a_history_of_qed__1_3_2_2_2_2_2_4->n51_a_history_of_qed__1_3_2_2_2_2_2_4_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1 NP n51_a_history_of_qed__1_3_2_2_2_2_2_5->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1 ADVP n51_a_history_of_qed__1_3_2_2_2_2_2_5_1->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_2 D n51_a_history_of_qed__1_3_2_2_2_2_2_5_1->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_2 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3 ADJP n51_a_history_of_qed__1_3_2_2_2_2_2_5_1->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1_1 ADV n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1_1->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_1_1_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_2->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_2_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3_1 ADJ n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3_1 n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3_1->n51_a_history_of_qed__1_3_2_2_2_2_2_5_1_3_1_1 n51_a_history_of_qed__1_4->n51_a_history_of_qed__1_4_1 n51_a_history_of_qed__1_5_1 P-CONN n51_a_history_of_qed__1_5->n51_a_history_of_qed__1_5_1 n51_a_history_of_qed__1_5_2 IP-ADV n51_a_history_of_qed__1_5->n51_a_history_of_qed__1_5_2 n51_a_history_of_qed__1_5_1->n51_a_history_of_qed__1_5_1_1 n51_a_history_of_qed__1_5_2_1 NP n51_a_history_of_qed__1_5_2->n51_a_history_of_qed__1_5_2_1 n51_a_history_of_qed__1_5_2_2 DOP n51_a_history_of_qed__1_5_2->n51_a_history_of_qed__1_5_2_2 n51_a_history_of_qed__1_5_2_3 NEG;_clitic_ n51_a_history_of_qed__1_5_2->n51_a_history_of_qed__1_5_2_3 n51_a_history_of_qed__1_5_2_4 VB;~Tt n51_a_history_of_qed__1_5_2->n51_a_history_of_qed__1_5_2_4 n51_a_history_of_qed__1_5_2_5 IP-INF-OB1 n51_a_history_of_qed__1_5_2->n51_a_history_of_qed__1_5_2_5 n51_a_history_of_qed__1_5_2_1_1 PRO n51_a_history_of_qed__1_5_2_1->n51_a_history_of_qed__1_5_2_1_1 n51_a_history_of_qed__1_5_2_1_1->n51_a_history_of_qed__1_5_2_1_1_1 n51_a_history_of_qed__1_5_2_2->n51_a_history_of_qed__1_5_2_2_1 n51_a_history_of_qed__1_5_2_3->n51_a_history_of_qed__1_5_2_3_1 n51_a_history_of_qed__1_5_2_4->n51_a_history_of_qed__1_5_2_4_1 n51_a_history_of_qed__1_5_2_5_1 TO n51_a_history_of_qed__1_5_2_5->n51_a_history_of_qed__1_5_2_5_1 n51_a_history_of_qed__1_5_2_5_2 VB;~Ipr n51_a_history_of_qed__1_5_2_5->n51_a_history_of_qed__1_5_2_5_2 n51_a_history_of_qed__1_5_2_5_3 PP-CLR n51_a_history_of_qed__1_5_2_5->n51_a_history_of_qed__1_5_2_5_3 n51_a_history_of_qed__1_5_2_5_1->n51_a_history_of_qed__1_5_2_5_1_1 n51_a_history_of_qed__1_5_2_5_2->n51_a_history_of_qed__1_5_2_5_2_1 n51_a_history_of_qed__1_5_2_5_3_1 P-ROLE n51_a_history_of_qed__1_5_2_5_3->n51_a_history_of_qed__1_5_2_5_3_1 n51_a_history_of_qed__1_5_2_5_3_2 NP n51_a_history_of_qed__1_5_2_5_3->n51_a_history_of_qed__1_5_2_5_3_2 n51_a_history_of_qed__1_5_2_5_3_1->n51_a_history_of_qed__1_5_2_5_3_1_1 n51_a_history_of_qed__1_5_2_5_3_2_1 N n51_a_history_of_qed__1_5_2_5_3_2->n51_a_history_of_qed__1_5_2_5_3_2_1 n51_a_history_of_qed__1_5_2_5_3_2_2 N n51_a_history_of_qed__1_5_2_5_3_2->n51_a_history_of_qed__1_5_2_5_3_2_2 n51_a_history_of_qed__1_5_2_5_3_2_1->n51_a_history_of_qed__1_5_2_5_3_2_1_1 n51_a_history_of_qed__1_5_2_5_3_2_2->n51_a_history_of_qed__1_5_2_5_3_2_2_1 n51_a_history_of_qed__1_6->n51_a_history_of_qed__1_6_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ current;{current}))
                  (N implementation;{implementation})
                  (PP (P-ROLE of;{of})
                      (NP;{CURRENT_REGEX} (ADJP (ADJ regular;{regular}))
                                          (NS expressions;{expression})))
                  (PP (P-ROLE in;{in})
                      (NP (NLYR (NPR Bell;{Bell})
                                (NPR Labs;{Labs}))
                          (N research;{research})
                          (N software;{software}))))
          (VBP;~ uses;{use})
          (NP-OB1 (NS algorithms;{algorithm})
                  (ADJP (ADJ close;{close})
                        (PP (P-ROLE to;{to})
                            (NP (D;_nphd_ those;{those})
                                (PP (P-ROLE in;{in})
                                    (NP (NP-GEN;{KEN} (NPR Ken;{Ken})
                                                      (GENM <apos>s))
                                        (NLYR (NLYR (NLYR (NPR CTSS;{CTSS}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NPR Multics;{Multics})))))
                                        (NS versions;{version})
                                        (PUNC ,)
                                        (PRN (NP (ADVP (ADV particularly;{particularly}))
                                                 (D the;{the})
                                                 (ADJP (ADJ latter;{latter}))))))))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP;{CURRENT_REGEX} (PRO they;{they}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;~Tt try;{try})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;~Ipr compile;{compile[to]})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP (N machine;{machine})
                                                   (N code;{code}))))))
          (PUNC .))
  (ID 51_a_history_of_qed))