Context                Previous, Next                Top


46_a_history_of_qed
The same program, under the name ex, works better on typewriter - like terminals; aside from some fancier commands and better diagnostics, it's essentially ed.

%3 r_0046_0001__The_r_0046_0003__program The program r_0046_0002__same same r_0046_0001__The_r_0046_0003__program->r_0046_0002__same [attrib] r_0046_0006__the_r_0046_0007__name the name r_0046_0001__The_r_0046_0003__program->r_0046_0006__the_r_0046_0007__name under r_0046_0010__works works r_0046_0010__works->r_0046_0001__The_r_0046_0003__program [arg0] r_0046_0011__better better r_0046_0010__works->r_0046_0011__better [nim] r_0046_0016__terminals terminals r_0046_0010__works->r_0046_0016__terminals on [nim] r_0046_0015__like like r_0046_0016__terminals->r_0046_0015__like [attrib] r_0046_0013__typewriter typewriter r_0046_0015__like->r_0046_0013__typewriter [nim] r_0046_0021__commands commands r_0046_0020__fancier fancier r_0046_0021__commands->r_0046_0020__fancier [attrib] r_0046_0022__and and r_0046_0022__and->r_0046_0021__commands [conj1] r_0046_0024__diagnostics diagnostics r_0046_0022__and->r_0046_0024__diagnostics [conj2] r_0046_0023__better better r_0046_0024__diagnostics->r_0046_0023__better [attrib] r_0046_0027___apos_s 's r_0046_0027___apos_s->r_0046_0001__The_r_0046_0003__program [arg0] r_0046_0027___apos_s->r_0046_0022__and aside from [nim] r_0046_0028__essentially essentially r_0046_0027___apos_s->r_0046_0028__essentially [nim] r_0046_0029__ed ed r_0046_0027___apos_s->r_0046_0029__ed [prd] z_000_46_a_history_of_qed_2 z_000_46_a_history_of_qed_2->r_0046_0010__works [conj1] z_000_46_a_history_of_qed_2->r_0046_0027___apos_s [conj2] z_000_46_a_history_of_qed_22 z_000_46_a_history_of_qed_22->r_0046_0006__the_r_0046_0007__name [arg0] r_0046_0008__ex ex z_000_46_a_history_of_qed_22->r_0046_0008__ex [prd] 
arc(r_0046_0001__The_r_0046_0003__program, r_0046_0002__same, attrib7).
arc(r_0046_0001__The_r_0046_0003__program, r_0046_0006__the_r_0046_0007__name, r_0046_0005__under).
arc(r_0046_0010__works, r_0046_0001__The_r_0046_0003__program, arg0).
arc(r_0046_0010__works, r_0046_0011__better, nim30).
arc(r_0046_0010__works, r_0046_0016__terminals, r_0046_0012__on_nim36).
arc(r_0046_0015__like, r_0046_0013__typewriter, nim38).
arc(r_0046_0016__terminals, r_0046_0015__like, attrib37).
arc(r_0046_0021__commands, r_0046_0020__fancier, attrib59).
arc(r_0046_0022__and, r_0046_0021__commands, conj1).
arc(r_0046_0022__and, r_0046_0024__diagnostics, conj2).
arc(r_0046_0024__diagnostics, r_0046_0023__better, attrib68).
arc(r_0046_0027___apos_s, r_0046_0001__The_r_0046_0003__program, arg0).
arc(r_0046_0027___apos_s, r_0046_0022__and, r_0046_0018__aside_from_nim54).
arc(r_0046_0027___apos_s, r_0046_0028__essentially, nim80).
arc(r_0046_0027___apos_s, r_0046_0029__ed, prd).
arc(z_000_46_a_history_of_qed_2, r_0046_0010__works, conj1).
arc(z_000_46_a_history_of_qed_2, r_0046_0027___apos_s, conj2).
arc(z_000_46_a_history_of_qed_22, r_0046_0006__the_r_0046_0007__name, arg0).
arc(z_000_46_a_history_of_qed_22, r_0046_0008__ex, prd).


%3 z_000_46_a_history_of_qed_22 r_0046_0008__ex ex z_000_46_a_history_of_qed_22->r_0046_0008__ex [prd] r_0046_0006__the_r_0046_0007__name the name z_000_46_a_history_of_qed_22->r_0046_0006__the_r_0046_0007__name [arg0] z_000_46_a_history_of_qed_2 r_0046_0027___apos_s 's z_000_46_a_history_of_qed_2->r_0046_0027___apos_s [conj2] r_0046_0010__works works z_000_46_a_history_of_qed_2->r_0046_0010__works [conj1] r_0046_0029__ed ed r_0046_0027___apos_s->r_0046_0029__ed [prd] r_0046_0028__essentially essentially r_0046_0027___apos_s->r_0046_0028__essentially [nim] r_0046_0022__and and r_0046_0027___apos_s->r_0046_0022__and aside from [nim] r_0046_0001__The_r_0046_0003__program The program r_0046_0027___apos_s->r_0046_0001__The_r_0046_0003__program [arg0] r_0046_0010__works->r_0046_0001__The_r_0046_0003__program [arg0] r_0046_0016__terminals terminals r_0046_0010__works->r_0046_0016__terminals on [nim] r_0046_0011__better better r_0046_0010__works->r_0046_0011__better [nim] r_0046_0024__diagnostics diagnostics r_0046_0022__and->r_0046_0024__diagnostics [conj2] r_0046_0021__commands commands r_0046_0022__and->r_0046_0021__commands [conj1] r_0046_0001__The_r_0046_0003__program->r_0046_0006__the_r_0046_0007__name under r_0046_0002__same same r_0046_0001__The_r_0046_0003__program->r_0046_0002__same [attrib] r_0046_0023__better better r_0046_0024__diagnostics->r_0046_0023__better [attrib] r_0046_0020__fancier fancier r_0046_0021__commands->r_0046_0020__fancier [attrib] r_0046_0015__like like r_0046_0016__terminals->r_0046_0015__like [attrib] r_0046_0013__typewriter typewriter r_0046_0015__like->r_0046_0013__typewriter [nim] 
fof(formula,axiom,
    ? [Z_46_A_HISTORY_OF_QED_2,R_46_10_WORKS,R_46_11_BETTER,R_46_16_TERMINALS,R_46_15_LIKE,R_46_13_TYPEWRITER,R_46_27__APOS_S,R_46_1_THE_PROGRAM,R_46_2_SAME,R_46_28_ESSENTIALLY,R_46_29_ED,R_46_22_AND,R_46_21_COMMANDS,R_46_20_FANCIER,R_46_24_DIAGNOSTICS,R_46_23_BETTER,Z_46_A_HISTORY_OF_QED_22,R_46_6_THE_NAME,R_46_8_EX] :
      ( better(R_46_11_BETTER)
      & typewriter(R_46_13_TYPEWRITER)
      & same(R_46_2_SAME)
      & essentially(R_46_28_ESSENTIALLY)
      & ed(R_46_29_ED)
      & fancier(R_46_20_FANCIER)
      & better(R_46_23_BETTER)
      & the_name(R_46_6_THE_NAME)
      & ex(R_46_8_EX)
      & z_46_a_history_of_qed_2(Z_46_A_HISTORY_OF_QED_2)
      & conj1(Z_46_A_HISTORY_OF_QED_2,R_46_10_WORKS)
      & works(R_46_10_WORKS,R_46_1_THE_PROGRAM)
      & the_program(R_46_1_THE_PROGRAM)
      & attrib7(R_46_1_THE_PROGRAM,R_46_2_SAME)
      & under(R_46_1_THE_PROGRAM,R_46_6_THE_NAME)
      & nim30(R_46_10_WORKS,R_46_11_BETTER)
      & on_nim36(R_46_10_WORKS,R_46_16_TERMINALS)
      & terminals(R_46_16_TERMINALS)
      & attrib37(R_46_16_TERMINALS,R_46_15_LIKE)
      & like(R_46_15_LIKE)
      & nim38(R_46_15_LIKE,R_46_13_TYPEWRITER)
      & conj2(Z_46_A_HISTORY_OF_QED_2,R_46_27__APOS_S)
      & _apos_s(R_46_27__APOS_S,R_46_1_THE_PROGRAM,R_46_29_ED)
      & nim80(R_46_27__APOS_S,R_46_28_ESSENTIALLY)
      & aside_from_nim54(R_46_27__APOS_S,R_46_22_AND)
      & and(R_46_22_AND)
      & conj1(R_46_22_AND,R_46_21_COMMANDS)
      & commands(R_46_21_COMMANDS)
      & attrib59(R_46_21_COMMANDS,R_46_20_FANCIER)
      & conj2(R_46_22_AND,R_46_24_DIAGNOSTICS)
      & diagnostics(R_46_24_DIAGNOSTICS)
      & attrib68(R_46_24_DIAGNOSTICS,R_46_23_BETTER)
      & z_46_a_history_of_qed_22(Z_46_A_HISTORY_OF_QED_22,R_46_6_THE_NAME,R_46_8_EX) ) ).


n46_a_history_of_qed n46_a_history_of_qed__1_1_1_1_1_1 The n46_a_history_of_qed__1_1_1_1_2_1_1 same n46_a_history_of_qed__1_1_1_1_3_1 program n46_a_history_of_qed__1_1_1_1_4_1 , n46_a_history_of_qed__1_1_1_1_5_1_1 under n46_a_history_of_qed__1_1_1_1_5_2_1_1 the n46_a_history_of_qed__1_1_1_1_5_2_2_1 name n46_a_history_of_qed__1_1_1_1_5_2_3_1_1_1 ex n46_a_history_of_qed__1_1_1_2_1 , n46_a_history_of_qed__1_1_1_3_1 works n46_a_history_of_qed__1_1_1_4_1_1 better n46_a_history_of_qed__1_1_1_5_1_1 on n46_a_history_of_qed__1_1_1_5_2_1_1_1_1 typewriter n46_a_history_of_qed__1_1_1_5_2_1_2_1 - n46_a_history_of_qed__1_1_1_5_2_1_3_1 like n46_a_history_of_qed__1_1_1_5_2_2_1 terminals n46_a_history_of_qed__1_1_2_1 ; n46_a_history_of_qed__1_1_3_1_1_1_1 aside_from n46_a_history_of_qed__1_1_3_1_1_2_1_1 some n46_a_history_of_qed__1_1_3_1_1_2_2_1_1_1_1 fancier n46_a_history_of_qed__1_1_3_1_1_2_2_1_2_1 commands n46_a_history_of_qed__1_1_3_1_1_2_2_2_1_1 and n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1_1_1 better n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_2_1 diagnostics n46_a_history_of_qed__1_1_3_1_2_1 , n46_a_history_of_qed__1_1_3_1_3_1_1 it n46_a_history_of_qed__1_1_3_1_4_1 's n46_a_history_of_qed__1_1_3_1_5_1_1 essentially n46_a_history_of_qed__1_1_3_1_6_1_1 ed n46_a_history_of_qed__1_2_1 . n46_a_history_of_qed__1 IP-MAT n46_a_history_of_qed__1_1 ILYR n46_a_history_of_qed__1->n46_a_history_of_qed__1_1 n46_a_history_of_qed__1_2 PUNC n46_a_history_of_qed__1->n46_a_history_of_qed__1_2 n46_a_history_of_qed__1_1_1 ILYR n46_a_history_of_qed__1_1->n46_a_history_of_qed__1_1_1 n46_a_history_of_qed__1_1_2 PUNC n46_a_history_of_qed__1_1->n46_a_history_of_qed__1_1_2 n46_a_history_of_qed__1_1_3 CONJP n46_a_history_of_qed__1_1->n46_a_history_of_qed__1_1_3 n46_a_history_of_qed__1_1_1_1 NP-SBJ n46_a_history_of_qed__1_1_1->n46_a_history_of_qed__1_1_1_1 n46_a_history_of_qed__1_1_1_2 PUNC n46_a_history_of_qed__1_1_1->n46_a_history_of_qed__1_1_1_2 n46_a_history_of_qed__1_1_1_3 VBP;__ n46_a_history_of_qed__1_1_1->n46_a_history_of_qed__1_1_1_3 n46_a_history_of_qed__1_1_1_4 ADVP-NIM n46_a_history_of_qed__1_1_1->n46_a_history_of_qed__1_1_1_4 n46_a_history_of_qed__1_1_1_5 PP n46_a_history_of_qed__1_1_1->n46_a_history_of_qed__1_1_1_5 n46_a_history_of_qed__1_1_1_1_1 D n46_a_history_of_qed__1_1_1_1->n46_a_history_of_qed__1_1_1_1_1 n46_a_history_of_qed__1_1_1_1_2 ADJP n46_a_history_of_qed__1_1_1_1->n46_a_history_of_qed__1_1_1_1_2 n46_a_history_of_qed__1_1_1_1_3 N n46_a_history_of_qed__1_1_1_1->n46_a_history_of_qed__1_1_1_1_3 n46_a_history_of_qed__1_1_1_1_4 PUNC n46_a_history_of_qed__1_1_1_1->n46_a_history_of_qed__1_1_1_1_4 n46_a_history_of_qed__1_1_1_1_5 PP n46_a_history_of_qed__1_1_1_1->n46_a_history_of_qed__1_1_1_1_5 n46_a_history_of_qed__1_1_1_1_1->n46_a_history_of_qed__1_1_1_1_1_1 n46_a_history_of_qed__1_1_1_1_2_1 ADJ n46_a_history_of_qed__1_1_1_1_2->n46_a_history_of_qed__1_1_1_1_2_1 n46_a_history_of_qed__1_1_1_1_2_1->n46_a_history_of_qed__1_1_1_1_2_1_1 n46_a_history_of_qed__1_1_1_1_3->n46_a_history_of_qed__1_1_1_1_3_1 n46_a_history_of_qed__1_1_1_1_4->n46_a_history_of_qed__1_1_1_1_4_1 n46_a_history_of_qed__1_1_1_1_5_1 P-ROLE n46_a_history_of_qed__1_1_1_1_5->n46_a_history_of_qed__1_1_1_1_5_1 n46_a_history_of_qed__1_1_1_1_5_2 NP n46_a_history_of_qed__1_1_1_1_5->n46_a_history_of_qed__1_1_1_1_5_2 n46_a_history_of_qed__1_1_1_1_5_1->n46_a_history_of_qed__1_1_1_1_5_1_1 n46_a_history_of_qed__1_1_1_1_5_2_1 D n46_a_history_of_qed__1_1_1_1_5_2->n46_a_history_of_qed__1_1_1_1_5_2_1 n46_a_history_of_qed__1_1_1_1_5_2_2 N n46_a_history_of_qed__1_1_1_1_5_2->n46_a_history_of_qed__1_1_1_1_5_2_2 n46_a_history_of_qed__1_1_1_1_5_2_3 IP-PPL n46_a_history_of_qed__1_1_1_1_5_2->n46_a_history_of_qed__1_1_1_1_5_2_3 n46_a_history_of_qed__1_1_1_1_5_2_1->n46_a_history_of_qed__1_1_1_1_5_2_1_1 n46_a_history_of_qed__1_1_1_1_5_2_2->n46_a_history_of_qed__1_1_1_1_5_2_2_1 n46_a_history_of_qed__1_1_1_1_5_2_3_1 NP-PRD n46_a_history_of_qed__1_1_1_1_5_2_3->n46_a_history_of_qed__1_1_1_1_5_2_3_1 n46_a_history_of_qed__1_1_1_1_5_2_3_1_1 NPR n46_a_history_of_qed__1_1_1_1_5_2_3_1->n46_a_history_of_qed__1_1_1_1_5_2_3_1_1 n46_a_history_of_qed__1_1_1_1_5_2_3_1_1->n46_a_history_of_qed__1_1_1_1_5_2_3_1_1_1 n46_a_history_of_qed__1_1_1_2->n46_a_history_of_qed__1_1_1_2_1 n46_a_history_of_qed__1_1_1_3->n46_a_history_of_qed__1_1_1_3_1 n46_a_history_of_qed__1_1_1_4_1 ADVR n46_a_history_of_qed__1_1_1_4->n46_a_history_of_qed__1_1_1_4_1 n46_a_history_of_qed__1_1_1_4_1->n46_a_history_of_qed__1_1_1_4_1_1 n46_a_history_of_qed__1_1_1_5_1 P-ROLE n46_a_history_of_qed__1_1_1_5->n46_a_history_of_qed__1_1_1_5_1 n46_a_history_of_qed__1_1_1_5_2 NP n46_a_history_of_qed__1_1_1_5->n46_a_history_of_qed__1_1_1_5_2 n46_a_history_of_qed__1_1_1_5_1->n46_a_history_of_qed__1_1_1_5_1_1 n46_a_history_of_qed__1_1_1_5_2_1 ADJP n46_a_history_of_qed__1_1_1_5_2->n46_a_history_of_qed__1_1_1_5_2_1 n46_a_history_of_qed__1_1_1_5_2_2 NS n46_a_history_of_qed__1_1_1_5_2->n46_a_history_of_qed__1_1_1_5_2_2 n46_a_history_of_qed__1_1_1_5_2_1_1 NP n46_a_history_of_qed__1_1_1_5_2_1->n46_a_history_of_qed__1_1_1_5_2_1_1 n46_a_history_of_qed__1_1_1_5_2_1_2 PUNC n46_a_history_of_qed__1_1_1_5_2_1->n46_a_history_of_qed__1_1_1_5_2_1_2 n46_a_history_of_qed__1_1_1_5_2_1_3 ADJ n46_a_history_of_qed__1_1_1_5_2_1->n46_a_history_of_qed__1_1_1_5_2_1_3 n46_a_history_of_qed__1_1_1_5_2_1_1_1 N n46_a_history_of_qed__1_1_1_5_2_1_1->n46_a_history_of_qed__1_1_1_5_2_1_1_1 n46_a_history_of_qed__1_1_1_5_2_1_1_1->n46_a_history_of_qed__1_1_1_5_2_1_1_1_1 n46_a_history_of_qed__1_1_1_5_2_1_2->n46_a_history_of_qed__1_1_1_5_2_1_2_1 n46_a_history_of_qed__1_1_1_5_2_1_3->n46_a_history_of_qed__1_1_1_5_2_1_3_1 n46_a_history_of_qed__1_1_1_5_2_2->n46_a_history_of_qed__1_1_1_5_2_2_1 n46_a_history_of_qed__1_1_2->n46_a_history_of_qed__1_1_2_1 n46_a_history_of_qed__1_1_3_1 ILYR n46_a_history_of_qed__1_1_3->n46_a_history_of_qed__1_1_3_1 n46_a_history_of_qed__1_1_3_1_1 PP-NIM n46_a_history_of_qed__1_1_3_1->n46_a_history_of_qed__1_1_3_1_1 n46_a_history_of_qed__1_1_3_1_2 PUNC n46_a_history_of_qed__1_1_3_1->n46_a_history_of_qed__1_1_3_1_2 n46_a_history_of_qed__1_1_3_1_3 NP-SBJ n46_a_history_of_qed__1_1_3_1->n46_a_history_of_qed__1_1_3_1_3 n46_a_history_of_qed__1_1_3_1_4 BEP;_Ln_ n46_a_history_of_qed__1_1_3_1->n46_a_history_of_qed__1_1_3_1_4 n46_a_history_of_qed__1_1_3_1_5 ADVP-NIM n46_a_history_of_qed__1_1_3_1->n46_a_history_of_qed__1_1_3_1_5 n46_a_history_of_qed__1_1_3_1_6 NP-PRD n46_a_history_of_qed__1_1_3_1->n46_a_history_of_qed__1_1_3_1_6 n46_a_history_of_qed__1_1_3_1_1_1 P-ROLE n46_a_history_of_qed__1_1_3_1_1->n46_a_history_of_qed__1_1_3_1_1_1 n46_a_history_of_qed__1_1_3_1_1_2 NP n46_a_history_of_qed__1_1_3_1_1->n46_a_history_of_qed__1_1_3_1_1_2 n46_a_history_of_qed__1_1_3_1_1_1->n46_a_history_of_qed__1_1_3_1_1_1_1 n46_a_history_of_qed__1_1_3_1_1_2_1 D n46_a_history_of_qed__1_1_3_1_1_2->n46_a_history_of_qed__1_1_3_1_1_2_1 n46_a_history_of_qed__1_1_3_1_1_2_2 NLYR n46_a_history_of_qed__1_1_3_1_1_2->n46_a_history_of_qed__1_1_3_1_1_2_2 n46_a_history_of_qed__1_1_3_1_1_2_1->n46_a_history_of_qed__1_1_3_1_1_2_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_1 NLYR n46_a_history_of_qed__1_1_3_1_1_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2 CONJP n46_a_history_of_qed__1_1_3_1_1_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_2 n46_a_history_of_qed__1_1_3_1_1_2_2_1_1 ADJP n46_a_history_of_qed__1_1_3_1_1_2_2_1->n46_a_history_of_qed__1_1_3_1_1_2_2_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_1_2 NS n46_a_history_of_qed__1_1_3_1_1_2_2_1->n46_a_history_of_qed__1_1_3_1_1_2_2_1_2 n46_a_history_of_qed__1_1_3_1_1_2_2_1_1_1 ADJR n46_a_history_of_qed__1_1_3_1_1_2_2_1_1->n46_a_history_of_qed__1_1_3_1_1_2_2_1_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_1_1_1->n46_a_history_of_qed__1_1_3_1_1_2_2_1_1_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_1_2->n46_a_history_of_qed__1_1_3_1_1_2_2_1_2_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2_1 CONJ n46_a_history_of_qed__1_1_3_1_1_2_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_2_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2_2 NLYR n46_a_history_of_qed__1_1_3_1_1_2_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_2_2 n46_a_history_of_qed__1_1_3_1_1_2_2_2_1->n46_a_history_of_qed__1_1_3_1_1_2_2_2_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1 ADJP n46_a_history_of_qed__1_1_3_1_1_2_2_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_2 NS n46_a_history_of_qed__1_1_3_1_1_2_2_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_2 n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1_1 ADJR n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1->n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1_1->n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_1_1_1 n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_2->n46_a_history_of_qed__1_1_3_1_1_2_2_2_2_2_1 n46_a_history_of_qed__1_1_3_1_2->n46_a_history_of_qed__1_1_3_1_2_1 n46_a_history_of_qed__1_1_3_1_3_1 PRO n46_a_history_of_qed__1_1_3_1_3->n46_a_history_of_qed__1_1_3_1_3_1 n46_a_history_of_qed__1_1_3_1_3_1->n46_a_history_of_qed__1_1_3_1_3_1_1 n46_a_history_of_qed__1_1_3_1_4->n46_a_history_of_qed__1_1_3_1_4_1 n46_a_history_of_qed__1_1_3_1_5_1 ADV n46_a_history_of_qed__1_1_3_1_5->n46_a_history_of_qed__1_1_3_1_5_1 n46_a_history_of_qed__1_1_3_1_5_1->n46_a_history_of_qed__1_1_3_1_5_1_1 n46_a_history_of_qed__1_1_3_1_6_1 NPR n46_a_history_of_qed__1_1_3_1_6->n46_a_history_of_qed__1_1_3_1_6_1 n46_a_history_of_qed__1_1_3_1_6_1->n46_a_history_of_qed__1_1_3_1_6_1_1 n46_a_history_of_qed__1_2->n46_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{VI} (D The;{the})
                                   (ADJP (ADJ same;{same}))
                                   (N program;{program})
                                   (PUNC ,)
                                   (PP (P-ROLE under;{under})
                                       (NP (D the;{the})
                                           (N name;{name})
                                           (IP-PPL (NP-PRD (NPR ex;{ex}))))))
                      (PUNC ,)
                      (VBP;__ works;{work})
                      (ADVP-NIM (ADVR better;{well}))
                      (PP (P-ROLE on;{on})
                          (NP (ADJP (NP (N typewriter;{typewriter}))
                                    (PUNC <hyphen>)
                                    (ADJ like;{like}))
                              (NS terminals;{terminal}))))
                (PUNC ;)
                (CONJP (ILYR (PP-NIM (P-ROLE aside_from;{aside_from})
                                     (NP (D some;{some})
                                         (NLYR (NLYR (ADJP (ADJR fancier;{fancy}))
                                                     (NS commands;{command}))
                                               (CONJP (CONJ and;{and})
                                                      (NLYR (ADJP (ADJR better;{good}))
                                                            (NS diagnostics;{diagnostics}))))))
                             (PUNC ,)
                             (NP-SBJ;{VI} (PRO it;{it}))
                             (BEP;_Ln_ <apos>s;{be})
                             (ADVP-NIM (ADV essentially;{essentially}))
                             (NP-PRD;{STANDARD_ED} (NPR ed;{ed})))))
          (PUNC .))
  (ID 46_a_history_of_qed))