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 r_0051_0001__The_r_0051_0003__implementation The implementation r_0051_0002__current current r_0051_0001__The_r_0051_0003__implementation->r_0051_0002__current [attrib] r_0051_0006__expressions expressions r_0051_0001__The_r_0051_0003__implementation->r_0051_0006__expressions of r_0051_0008__Bell_r_0051_0009__Labs_r_0051_0010__research_r_0051_0011__software Bell Labs research software r_0051_0001__The_r_0051_0003__implementation->r_0051_0008__Bell_r_0051_0009__Labs_r_0051_0010__research_r_0051_0011__software in r_0051_0005__regular regular r_0051_0006__expressions->r_0051_0005__regular [attrib] r_0051_0012__uses uses r_0051_0012__uses->r_0051_0001__The_r_0051_0003__implementation [arg0] r_0051_0013__algorithms algorithms r_0051_0012__uses->r_0051_0013__algorithms [arg1] r_0051_0014__close close r_0051_0016__those those r_0051_0014__close->r_0051_0016__those to r_0051_0021__and and r_0051_0016__those->r_0051_0021__and in r_0051_0018__Ken_r_0051_0019___apos_s Ken 's r_0051_0021__and->r_0051_0018__Ken_r_0051_0019___apos_s [gen] r_0051_0020__CTSS CTSS r_0051_0021__and->r_0051_0020__CTSS [conj1] r_0051_0022__Multics_r_0051_0023__versions Multics versions r_0051_0021__and->r_0051_0022__Multics_r_0051_0023__versions [conj2] r_0051_0026__the the r_0051_0027__latter latter r_0051_0026__the->r_0051_0027__latter [attrib] r_0051_0029__because because r_0051_0029__because->r_0051_0012__uses [scope] r_0051_0032__n_apos_t n't r_0051_0029__because->r_0051_0032__n_apos_t [restriction] r_0051_0031__do_r_0051_0033__try do try r_0051_0032__n_apos_t->r_0051_0031__do_r_0051_0033__try [keep_scope] r_0051_0034__to_r_0051_0035__compile to compile r_0051_0031__do_r_0051_0033__try->r_0051_0034__to_r_0051_0035__compile [scope] r_0051_0034__to_r_0051_0035__compile->r_0051_0006__expressions [arg0] r_0051_0037__machine_r_0051_0038__code machine code r_0051_0034__to_r_0051_0035__compile->r_0051_0037__machine_r_0051_0038__code to [clr] z_000_51_a_history_of_qed_36 z_000_51_a_history_of_qed_36->r_0051_0013__algorithms [arg0] z_000_51_a_history_of_qed_36->r_0051_0014__close [prd] z_000_51_a_history_of_qed_69 z_000_51_a_history_of_qed_69->r_0051_0016__those [arg0] z_000_51_a_history_of_qed_69->r_0051_0026__the [prd] r_0051_0025__particularly particularly z_000_51_a_history_of_qed_69->r_0051_0025__particularly [nim] 
arc(r_0051_0001__The_r_0051_0003__implementation, r_0051_0002__current, attrib5).
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_0008__Bell_r_0051_0009__Labs_r_0051_0010__research_r_0051_0011__software, r_0051_0007__in).
arc(r_0051_0006__expressions, r_0051_0005__regular, attrib14).
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_0014__close, r_0051_0016__those, r_0051_0015__to).
arc(r_0051_0016__those, r_0051_0021__and, r_0051_0017__in).
arc(r_0051_0021__and, r_0051_0018__Ken_r_0051_0019___apos_s, gen).
arc(r_0051_0021__and, r_0051_0020__CTSS, conj1).
arc(r_0051_0021__and, r_0051_0022__Multics_r_0051_0023__versions, conj2).
arc(r_0051_0026__the, r_0051_0027__latter, attrib76).
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_0034__to_r_0051_0035__compile, scope).
arc(r_0051_0032__n_apos_t, r_0051_0031__do_r_0051_0033__try, keep_scope).
arc(r_0051_0034__to_r_0051_0035__compile, r_0051_0006__expressions, arg0).
arc(r_0051_0034__to_r_0051_0035__compile, r_0051_0037__machine_r_0051_0038__code, r_0051_0036__to_clr102).
arc(z_000_51_a_history_of_qed_36, r_0051_0013__algorithms, arg0).
arc(z_000_51_a_history_of_qed_36, r_0051_0014__close, prd).
arc(z_000_51_a_history_of_qed_69, r_0051_0016__those, arg0).
arc(z_000_51_a_history_of_qed_69, r_0051_0025__particularly, nim70).
arc(z_000_51_a_history_of_qed_69, r_0051_0026__the, prd).


%3 r_0051_0001__The_r_0051_0003__implementation The implementation r_0051_0002__current current r_0051_0001__The_r_0051_0003__implementation->r_0051_0002__current [attrib] r_0051_0006__expressions expressions r_0051_0001__The_r_0051_0003__implementation->r_0051_0006__expressions of r_0051_0008__Bell_r_0051_0009__Labs_r_0051_0010__research_r_0051_0011__software Bell Labs research software r_0051_0001__The_r_0051_0003__implementation->r_0051_0008__Bell_r_0051_0009__Labs_r_0051_0010__research_r_0051_0011__software in r_0051_0005__regular regular r_0051_0006__expressions->r_0051_0005__regular [attrib] r_0051_0012__uses uses r_0051_0012__uses->r_0051_0001__The_r_0051_0003__implementation [arg0] r_0051_0013__algorithms algorithms r_0051_0012__uses->r_0051_0013__algorithms [arg1] r_0051_0014__close close r_0051_0016__those those r_0051_0014__close->r_0051_0016__those to r_0051_0021__and and r_0051_0016__those->r_0051_0021__and in r_0051_0018__Ken_r_0051_0019___apos_s Ken 's r_0051_0021__and->r_0051_0018__Ken_r_0051_0019___apos_s [gen] r_0051_0020__CTSS CTSS r_0051_0021__and->r_0051_0020__CTSS [conj1] r_0051_0022__Multics_r_0051_0023__versions Multics versions r_0051_0021__and->r_0051_0022__Multics_r_0051_0023__versions [conj2] r_0051_0026__the the r_0051_0027__latter latter r_0051_0026__the->r_0051_0027__latter [attrib] r_0051_0029__because because r_0051_0029__because->r_0051_0012__uses [conj2] r_0051_0032__n_apos_t n't r_0051_0029__because->r_0051_0032__n_apos_t [conj1] r_0051_0031__do_r_0051_0033__try_r_0051_0034__to_r_0051_0035__compile do try to compile r_0051_0032__n_apos_t->r_0051_0031__do_r_0051_0033__try_r_0051_0034__to_r_0051_0035__compile [keep_scope] r_0051_0031__do_r_0051_0033__try_r_0051_0034__to_r_0051_0035__compile->r_0051_0006__expressions [arg0] r_0051_0037__machine_r_0051_0038__code machine code r_0051_0031__do_r_0051_0033__try_r_0051_0034__to_r_0051_0035__compile->r_0051_0037__machine_r_0051_0038__code to [clr] z_000_51_a_history_of_qed_36 z_000_51_a_history_of_qed_36->r_0051_0013__algorithms [arg0] z_000_51_a_history_of_qed_36->r_0051_0014__close [prd] z_000_51_a_history_of_qed_69 z_000_51_a_history_of_qed_69->r_0051_0016__those [arg0] z_000_51_a_history_of_qed_69->r_0051_0026__the [prd] r_0051_0025__particularly particularly z_000_51_a_history_of_qed_69->r_0051_0025__particularly [nim] 
fof(formula,axiom,
    ? [R_51_29_BECAUSE,R_51_12_USES,R_51_1_THE_IMPLEMENTATION,R_51_2_CURRENT,R_51_6_EXPRESSIONS,R_51_5_REGULAR,R_51_8_BELL_LABS_RESEARCH_SOFTWARE,Z_51_A_HISTORY_OF_QED_36,R_51_13_ALGORITHMS,R_51_14_CLOSE,Z_51_A_HISTORY_OF_QED_69,R_51_16_THOSE,R_51_21_AND,R_51_20_CTSS,R_51_22_MULTICS_VERSIONS,R_51_18_KEN_APOS_S,R_51_25_PARTICULARLY,R_51_26_THE,R_51_27_LATTER] :
      ( current(R_51_2_CURRENT)
      & regular(R_51_5_REGULAR)
      & bell_Labs_research_software(R_51_8_BELL_LABS_RESEARCH_SOFTWARE)
      & algorithms(R_51_13_ALGORITHMS)
      & cTSS(R_51_20_CTSS)
      & multics_versions(R_51_22_MULTICS_VERSIONS)
      & ken_apos_s(R_51_18_KEN_APOS_S)
      & particularly(R_51_25_PARTICULARLY)
      & latter(R_51_27_LATTER)
      & because(R_51_29_BECAUSE)
      & conj1(R_51_29_BECAUSE,R_51_32_N_APOS_T)
      & ~ ? [R_51_31_DO_TRY_TO_COMPILE,R_51_37_MACHINE_CODE] :
            ( machine_code(R_51_37_MACHINE_CODE)
            & do_try_to_compile(R_51_31_DO_TRY_TO_COMPILE,R_51_6_EXPRESSIONS)
            & to_clr102(R_51_31_DO_TRY_TO_COMPILE,R_51_37_MACHINE_CODE) )
      & conj2(R_51_29_BECAUSE,R_51_12_USES)
      & uses(R_51_12_USES,R_51_1_THE_IMPLEMENTATION,R_51_13_ALGORITHMS)
      & the_implementation(R_51_1_THE_IMPLEMENTATION)
      & attrib5(R_51_1_THE_IMPLEMENTATION,R_51_2_CURRENT)
      & of(R_51_1_THE_IMPLEMENTATION,R_51_6_EXPRESSIONS)
      & expressions(R_51_6_EXPRESSIONS)
      & attrib14(R_51_6_EXPRESSIONS,R_51_5_REGULAR)
      & in(R_51_1_THE_IMPLEMENTATION,R_51_8_BELL_LABS_RESEARCH_SOFTWARE)
      & z_51_a_history_of_qed_36(Z_51_A_HISTORY_OF_QED_36,R_51_13_ALGORITHMS,R_51_14_CLOSE)
      & close(R_51_14_CLOSE)
      & to(R_51_14_CLOSE,R_51_16_THOSE)
      & those(R_51_16_THOSE)
      & in(R_51_16_THOSE,R_51_21_AND)
      & and(R_51_21_AND)
      & conj1(R_51_21_AND,R_51_20_CTSS)
      & conj2(R_51_21_AND,R_51_22_MULTICS_VERSIONS)
      & gen(R_51_21_AND,R_51_18_KEN_APOS_S)
      & z_51_a_history_of_qed_69(Z_51_A_HISTORY_OF_QED_69,R_51_16_THOSE,R_51_26_THE)
      & the(R_51_26_THE)
      & attrib76(R_51_26_THE,R_51_27_LATTER)
      & nim70(Z_51_A_HISTORY_OF_QED_69,R_51_25_PARTICULARLY) ) ).


n51_a_history_of_qed n51_a_history_of_qed_4 The n51_a_history_of_qed_7 current n51_a_history_of_qed_9 implementation n51_a_history_of_qed_12 of n51_a_history_of_qed_16 regular n51_a_history_of_qed_18 expressions n51_a_history_of_qed_21 in n51_a_history_of_qed_24 Bell n51_a_history_of_qed_26 Labs n51_a_history_of_qed_28 research n51_a_history_of_qed_30 software n51_a_history_of_qed_32 uses n51_a_history_of_qed_35 algorithms n51_a_history_of_qed_39 close n51_a_history_of_qed_42 to n51_a_history_of_qed_45 those n51_a_history_of_qed_48 in n51_a_history_of_qed_52 Ken n51_a_history_of_qed_54 's n51_a_history_of_qed_58 CTSS n51_a_history_of_qed_61 and n51_a_history_of_qed_64 Multics n51_a_history_of_qed_66 versions n51_a_history_of_qed_68 , n51_a_history_of_qed_72 particularly n51_a_history_of_qed_75 the n51_a_history_of_qed_78 latter n51_a_history_of_qed_80 , n51_a_history_of_qed_83 because n51_a_history_of_qed_87 they n51_a_history_of_qed_89 do n51_a_history_of_qed_91 n't n51_a_history_of_qed_93 try n51_a_history_of_qed_96 to n51_a_history_of_qed_98 compile n51_a_history_of_qed_101 to n51_a_history_of_qed_104 machine n51_a_history_of_qed_106 code n51_a_history_of_qed_108 . n51_a_history_of_qed_1 IP-MAT n51_a_history_of_qed_2 NP-SBJ n51_a_history_of_qed_1->n51_a_history_of_qed_2 n51_a_history_of_qed_31 VBP;_Tn_ n51_a_history_of_qed_1->n51_a_history_of_qed_31 n51_a_history_of_qed_33 NP-OB1 n51_a_history_of_qed_1->n51_a_history_of_qed_33 n51_a_history_of_qed_79 PUNC n51_a_history_of_qed_1->n51_a_history_of_qed_79 n51_a_history_of_qed_81 PP-SCON n51_a_history_of_qed_1->n51_a_history_of_qed_81 n51_a_history_of_qed_107 PUNC n51_a_history_of_qed_1->n51_a_history_of_qed_107 n51_a_history_of_qed_3 D n51_a_history_of_qed_2->n51_a_history_of_qed_3 n51_a_history_of_qed_5 ADJP n51_a_history_of_qed_2->n51_a_history_of_qed_5 n51_a_history_of_qed_8 N n51_a_history_of_qed_2->n51_a_history_of_qed_8 n51_a_history_of_qed_10 PP n51_a_history_of_qed_2->n51_a_history_of_qed_10 n51_a_history_of_qed_19 PP n51_a_history_of_qed_2->n51_a_history_of_qed_19 n51_a_history_of_qed_3->n51_a_history_of_qed_4 n51_a_history_of_qed_6 ADJ n51_a_history_of_qed_5->n51_a_history_of_qed_6 n51_a_history_of_qed_6->n51_a_history_of_qed_7 n51_a_history_of_qed_8->n51_a_history_of_qed_9 n51_a_history_of_qed_11 P-ROLE n51_a_history_of_qed_10->n51_a_history_of_qed_11 n51_a_history_of_qed_13 NP n51_a_history_of_qed_10->n51_a_history_of_qed_13 n51_a_history_of_qed_11->n51_a_history_of_qed_12 n51_a_history_of_qed_14 ADJP n51_a_history_of_qed_13->n51_a_history_of_qed_14 n51_a_history_of_qed_17 NS n51_a_history_of_qed_13->n51_a_history_of_qed_17 n51_a_history_of_qed_15 ADJ n51_a_history_of_qed_14->n51_a_history_of_qed_15 n51_a_history_of_qed_15->n51_a_history_of_qed_16 n51_a_history_of_qed_17->n51_a_history_of_qed_18 n51_a_history_of_qed_20 P-ROLE n51_a_history_of_qed_19->n51_a_history_of_qed_20 n51_a_history_of_qed_22 NP n51_a_history_of_qed_19->n51_a_history_of_qed_22 n51_a_history_of_qed_20->n51_a_history_of_qed_21 n51_a_history_of_qed_23 NPR n51_a_history_of_qed_22->n51_a_history_of_qed_23 n51_a_history_of_qed_25 NPR n51_a_history_of_qed_22->n51_a_history_of_qed_25 n51_a_history_of_qed_27 N n51_a_history_of_qed_22->n51_a_history_of_qed_27 n51_a_history_of_qed_29 N n51_a_history_of_qed_22->n51_a_history_of_qed_29 n51_a_history_of_qed_23->n51_a_history_of_qed_24 n51_a_history_of_qed_25->n51_a_history_of_qed_26 n51_a_history_of_qed_27->n51_a_history_of_qed_28 n51_a_history_of_qed_29->n51_a_history_of_qed_30 n51_a_history_of_qed_31->n51_a_history_of_qed_32 n51_a_history_of_qed_34 NS n51_a_history_of_qed_33->n51_a_history_of_qed_34 n51_a_history_of_qed_36 IP-PPL n51_a_history_of_qed_33->n51_a_history_of_qed_36 n51_a_history_of_qed_34->n51_a_history_of_qed_35 n51_a_history_of_qed_37 ADJP-PRD n51_a_history_of_qed_36->n51_a_history_of_qed_37 n51_a_history_of_qed_38 ADJ n51_a_history_of_qed_37->n51_a_history_of_qed_38 n51_a_history_of_qed_40 PP n51_a_history_of_qed_37->n51_a_history_of_qed_40 n51_a_history_of_qed_38->n51_a_history_of_qed_39 n51_a_history_of_qed_41 P-ROLE n51_a_history_of_qed_40->n51_a_history_of_qed_41 n51_a_history_of_qed_43 NP n51_a_history_of_qed_40->n51_a_history_of_qed_43 n51_a_history_of_qed_41->n51_a_history_of_qed_42 n51_a_history_of_qed_44 D;_nphd_ n51_a_history_of_qed_43->n51_a_history_of_qed_44 n51_a_history_of_qed_46 PP n51_a_history_of_qed_43->n51_a_history_of_qed_46 n51_a_history_of_qed_67 PUNC n51_a_history_of_qed_43->n51_a_history_of_qed_67 n51_a_history_of_qed_69 IP-PPL n51_a_history_of_qed_43->n51_a_history_of_qed_69 n51_a_history_of_qed_44->n51_a_history_of_qed_45 n51_a_history_of_qed_47 P-ROLE n51_a_history_of_qed_46->n51_a_history_of_qed_47 n51_a_history_of_qed_49 NP n51_a_history_of_qed_46->n51_a_history_of_qed_49 n51_a_history_of_qed_47->n51_a_history_of_qed_48 n51_a_history_of_qed_50 NP-GEN n51_a_history_of_qed_49->n51_a_history_of_qed_50 n51_a_history_of_qed_55 NLYR n51_a_history_of_qed_49->n51_a_history_of_qed_55 n51_a_history_of_qed_51 NPR n51_a_history_of_qed_50->n51_a_history_of_qed_51 n51_a_history_of_qed_53 GENM n51_a_history_of_qed_50->n51_a_history_of_qed_53 n51_a_history_of_qed_51->n51_a_history_of_qed_52 n51_a_history_of_qed_53->n51_a_history_of_qed_54 n51_a_history_of_qed_56 NLYR n51_a_history_of_qed_55->n51_a_history_of_qed_56 n51_a_history_of_qed_59 CONJP n51_a_history_of_qed_55->n51_a_history_of_qed_59 n51_a_history_of_qed_57 NPR n51_a_history_of_qed_56->n51_a_history_of_qed_57 n51_a_history_of_qed_57->n51_a_history_of_qed_58 n51_a_history_of_qed_60 CONJ n51_a_history_of_qed_59->n51_a_history_of_qed_60 n51_a_history_of_qed_62 NLYR n51_a_history_of_qed_59->n51_a_history_of_qed_62 n51_a_history_of_qed_60->n51_a_history_of_qed_61 n51_a_history_of_qed_63 NPR n51_a_history_of_qed_62->n51_a_history_of_qed_63 n51_a_history_of_qed_65 NS n51_a_history_of_qed_62->n51_a_history_of_qed_65 n51_a_history_of_qed_63->n51_a_history_of_qed_64 n51_a_history_of_qed_65->n51_a_history_of_qed_66 n51_a_history_of_qed_67->n51_a_history_of_qed_68 n51_a_history_of_qed_70 ADVP-NIM n51_a_history_of_qed_69->n51_a_history_of_qed_70 n51_a_history_of_qed_73 NP-PRD n51_a_history_of_qed_69->n51_a_history_of_qed_73 n51_a_history_of_qed_71 ADV n51_a_history_of_qed_70->n51_a_history_of_qed_71 n51_a_history_of_qed_71->n51_a_history_of_qed_72 n51_a_history_of_qed_74 D n51_a_history_of_qed_73->n51_a_history_of_qed_74 n51_a_history_of_qed_76 ADJP n51_a_history_of_qed_73->n51_a_history_of_qed_76 n51_a_history_of_qed_74->n51_a_history_of_qed_75 n51_a_history_of_qed_77 ADJ n51_a_history_of_qed_76->n51_a_history_of_qed_77 n51_a_history_of_qed_77->n51_a_history_of_qed_78 n51_a_history_of_qed_79->n51_a_history_of_qed_80 n51_a_history_of_qed_82 P-CONN n51_a_history_of_qed_81->n51_a_history_of_qed_82 n51_a_history_of_qed_84 IP-ADV n51_a_history_of_qed_81->n51_a_history_of_qed_84 n51_a_history_of_qed_82->n51_a_history_of_qed_83 n51_a_history_of_qed_85 NP-SBJ n51_a_history_of_qed_84->n51_a_history_of_qed_85 n51_a_history_of_qed_88 DOP n51_a_history_of_qed_84->n51_a_history_of_qed_88 n51_a_history_of_qed_90 NEG;_clitic_ n51_a_history_of_qed_84->n51_a_history_of_qed_90 n51_a_history_of_qed_92 VB;_cat_Vt_ n51_a_history_of_qed_84->n51_a_history_of_qed_92 n51_a_history_of_qed_94 IP-INF-CAT n51_a_history_of_qed_84->n51_a_history_of_qed_94 n51_a_history_of_qed_86 PRO n51_a_history_of_qed_85->n51_a_history_of_qed_86 n51_a_history_of_qed_86->n51_a_history_of_qed_87 n51_a_history_of_qed_88->n51_a_history_of_qed_89 n51_a_history_of_qed_90->n51_a_history_of_qed_91 n51_a_history_of_qed_92->n51_a_history_of_qed_93 n51_a_history_of_qed_95 TO n51_a_history_of_qed_94->n51_a_history_of_qed_95 n51_a_history_of_qed_97 VB;_Ipr_ n51_a_history_of_qed_94->n51_a_history_of_qed_97 n51_a_history_of_qed_99 PP-CLR n51_a_history_of_qed_94->n51_a_history_of_qed_99 n51_a_history_of_qed_95->n51_a_history_of_qed_96 n51_a_history_of_qed_97->n51_a_history_of_qed_98 n51_a_history_of_qed_100 P-ROLE n51_a_history_of_qed_99->n51_a_history_of_qed_100 n51_a_history_of_qed_102 NP n51_a_history_of_qed_99->n51_a_history_of_qed_102 n51_a_history_of_qed_100->n51_a_history_of_qed_101 n51_a_history_of_qed_103 N n51_a_history_of_qed_102->n51_a_history_of_qed_103 n51_a_history_of_qed_105 N n51_a_history_of_qed_102->n51_a_history_of_qed_105 n51_a_history_of_qed_103->n51_a_history_of_qed_104 n51_a_history_of_qed_105->n51_a_history_of_qed_106 n51_a_history_of_qed_107->n51_a_history_of_qed_108 
( (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 (NPR Bell;{Bell})
                          (NPR Labs;{Labs})
                          (N research;{research})
                          (N software;{software}))))
          (VBP;_Tn_ uses;{use})
          (NP-OB1 (NS algorithms;{algorithm})
                  (IP-PPL (ADJP-PRD (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 (NPR CTSS;{CTSS}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (NPR Multics;{Multics})
                                                                       (NS versions;{version}))))))
                                            (PUNC ,)
                                            (IP-PPL (ADVP-NIM (ADV particularly;{particularly}))
                                                    (NP-PRD (D the;{the})
                                                            (ADJP (ADJ latter;{latter})))))))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ;{CURRENT_REGEX} (PRO they;{they}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;_cat_Vt_ try;{try})
                           (IP-INF-CAT (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))