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_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] 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] 
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_22, r_0046_0006__the_r_0046_0007__name, arg0).
arc(z_000_46_a_history_of_qed_22, r_0046_0008__ex, 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).


%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_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] 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] 
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_6 The n46_a_history_of_qed_9 same n46_a_history_of_qed_11 program n46_a_history_of_qed_13 , n46_a_history_of_qed_16 under n46_a_history_of_qed_19 the n46_a_history_of_qed_21 name n46_a_history_of_qed_25 ex n46_a_history_of_qed_27 , n46_a_history_of_qed_29 works n46_a_history_of_qed_32 better n46_a_history_of_qed_35 on n46_a_history_of_qed_40 typewriter n46_a_history_of_qed_42 - n46_a_history_of_qed_44 like n46_a_history_of_qed_46 terminals n46_a_history_of_qed_48 ; n46_a_history_of_qed_53 aside_from n46_a_history_of_qed_56 some n46_a_history_of_qed_61 fancier n46_a_history_of_qed_63 commands n46_a_history_of_qed_66 and n46_a_history_of_qed_70 better n46_a_history_of_qed_72 diagnostics n46_a_history_of_qed_74 , n46_a_history_of_qed_77 it n46_a_history_of_qed_79 's n46_a_history_of_qed_82 essentially n46_a_history_of_qed_85 ed n46_a_history_of_qed_87 . n46_a_history_of_qed_1 IP-MAT n46_a_history_of_qed_2 ILYR n46_a_history_of_qed_1->n46_a_history_of_qed_2 n46_a_history_of_qed_86 PUNC n46_a_history_of_qed_1->n46_a_history_of_qed_86 n46_a_history_of_qed_3 ILYR n46_a_history_of_qed_2->n46_a_history_of_qed_3 n46_a_history_of_qed_47 PUNC n46_a_history_of_qed_2->n46_a_history_of_qed_47 n46_a_history_of_qed_49 CONJP n46_a_history_of_qed_2->n46_a_history_of_qed_49 n46_a_history_of_qed_4 NP-SBJ n46_a_history_of_qed_3->n46_a_history_of_qed_4 n46_a_history_of_qed_26 PUNC n46_a_history_of_qed_3->n46_a_history_of_qed_26 n46_a_history_of_qed_28 VBP;__ n46_a_history_of_qed_3->n46_a_history_of_qed_28 n46_a_history_of_qed_30 ADVP-NIM n46_a_history_of_qed_3->n46_a_history_of_qed_30 n46_a_history_of_qed_33 PP n46_a_history_of_qed_3->n46_a_history_of_qed_33 n46_a_history_of_qed_5 D n46_a_history_of_qed_4->n46_a_history_of_qed_5 n46_a_history_of_qed_7 ADJP n46_a_history_of_qed_4->n46_a_history_of_qed_7 n46_a_history_of_qed_10 N n46_a_history_of_qed_4->n46_a_history_of_qed_10 n46_a_history_of_qed_12 PUNC n46_a_history_of_qed_4->n46_a_history_of_qed_12 n46_a_history_of_qed_14 PP n46_a_history_of_qed_4->n46_a_history_of_qed_14 n46_a_history_of_qed_5->n46_a_history_of_qed_6 n46_a_history_of_qed_8 ADJ n46_a_history_of_qed_7->n46_a_history_of_qed_8 n46_a_history_of_qed_8->n46_a_history_of_qed_9 n46_a_history_of_qed_10->n46_a_history_of_qed_11 n46_a_history_of_qed_12->n46_a_history_of_qed_13 n46_a_history_of_qed_15 P-ROLE n46_a_history_of_qed_14->n46_a_history_of_qed_15 n46_a_history_of_qed_17 NP n46_a_history_of_qed_14->n46_a_history_of_qed_17 n46_a_history_of_qed_15->n46_a_history_of_qed_16 n46_a_history_of_qed_18 D n46_a_history_of_qed_17->n46_a_history_of_qed_18 n46_a_history_of_qed_20 N n46_a_history_of_qed_17->n46_a_history_of_qed_20 n46_a_history_of_qed_22 IP-PPL n46_a_history_of_qed_17->n46_a_history_of_qed_22 n46_a_history_of_qed_18->n46_a_history_of_qed_19 n46_a_history_of_qed_20->n46_a_history_of_qed_21 n46_a_history_of_qed_23 NP-PRD n46_a_history_of_qed_22->n46_a_history_of_qed_23 n46_a_history_of_qed_24 NPR n46_a_history_of_qed_23->n46_a_history_of_qed_24 n46_a_history_of_qed_24->n46_a_history_of_qed_25 n46_a_history_of_qed_26->n46_a_history_of_qed_27 n46_a_history_of_qed_28->n46_a_history_of_qed_29 n46_a_history_of_qed_31 ADVR n46_a_history_of_qed_30->n46_a_history_of_qed_31 n46_a_history_of_qed_31->n46_a_history_of_qed_32 n46_a_history_of_qed_34 P-ROLE n46_a_history_of_qed_33->n46_a_history_of_qed_34 n46_a_history_of_qed_36 NP n46_a_history_of_qed_33->n46_a_history_of_qed_36 n46_a_history_of_qed_34->n46_a_history_of_qed_35 n46_a_history_of_qed_37 ADJP n46_a_history_of_qed_36->n46_a_history_of_qed_37 n46_a_history_of_qed_45 NS n46_a_history_of_qed_36->n46_a_history_of_qed_45 n46_a_history_of_qed_38 NP n46_a_history_of_qed_37->n46_a_history_of_qed_38 n46_a_history_of_qed_41 PUNC n46_a_history_of_qed_37->n46_a_history_of_qed_41 n46_a_history_of_qed_43 ADJ n46_a_history_of_qed_37->n46_a_history_of_qed_43 n46_a_history_of_qed_39 N n46_a_history_of_qed_38->n46_a_history_of_qed_39 n46_a_history_of_qed_39->n46_a_history_of_qed_40 n46_a_history_of_qed_41->n46_a_history_of_qed_42 n46_a_history_of_qed_43->n46_a_history_of_qed_44 n46_a_history_of_qed_45->n46_a_history_of_qed_46 n46_a_history_of_qed_47->n46_a_history_of_qed_48 n46_a_history_of_qed_50 ILYR n46_a_history_of_qed_49->n46_a_history_of_qed_50 n46_a_history_of_qed_51 PP-NIM n46_a_history_of_qed_50->n46_a_history_of_qed_51 n46_a_history_of_qed_73 PUNC n46_a_history_of_qed_50->n46_a_history_of_qed_73 n46_a_history_of_qed_75 NP-SBJ n46_a_history_of_qed_50->n46_a_history_of_qed_75 n46_a_history_of_qed_78 BEP;_Ln_ n46_a_history_of_qed_50->n46_a_history_of_qed_78 n46_a_history_of_qed_80 ADVP-NIM n46_a_history_of_qed_50->n46_a_history_of_qed_80 n46_a_history_of_qed_83 NP-PRD n46_a_history_of_qed_50->n46_a_history_of_qed_83 n46_a_history_of_qed_52 P-ROLE n46_a_history_of_qed_51->n46_a_history_of_qed_52 n46_a_history_of_qed_54 NP n46_a_history_of_qed_51->n46_a_history_of_qed_54 n46_a_history_of_qed_52->n46_a_history_of_qed_53 n46_a_history_of_qed_55 D n46_a_history_of_qed_54->n46_a_history_of_qed_55 n46_a_history_of_qed_57 NLYR n46_a_history_of_qed_54->n46_a_history_of_qed_57 n46_a_history_of_qed_55->n46_a_history_of_qed_56 n46_a_history_of_qed_58 NLYR n46_a_history_of_qed_57->n46_a_history_of_qed_58 n46_a_history_of_qed_64 CONJP n46_a_history_of_qed_57->n46_a_history_of_qed_64 n46_a_history_of_qed_59 ADJP n46_a_history_of_qed_58->n46_a_history_of_qed_59 n46_a_history_of_qed_62 NS n46_a_history_of_qed_58->n46_a_history_of_qed_62 n46_a_history_of_qed_60 ADJR n46_a_history_of_qed_59->n46_a_history_of_qed_60 n46_a_history_of_qed_60->n46_a_history_of_qed_61 n46_a_history_of_qed_62->n46_a_history_of_qed_63 n46_a_history_of_qed_65 CONJ n46_a_history_of_qed_64->n46_a_history_of_qed_65 n46_a_history_of_qed_67 NLYR n46_a_history_of_qed_64->n46_a_history_of_qed_67 n46_a_history_of_qed_65->n46_a_history_of_qed_66 n46_a_history_of_qed_68 ADJP n46_a_history_of_qed_67->n46_a_history_of_qed_68 n46_a_history_of_qed_71 NS n46_a_history_of_qed_67->n46_a_history_of_qed_71 n46_a_history_of_qed_69 ADJR n46_a_history_of_qed_68->n46_a_history_of_qed_69 n46_a_history_of_qed_69->n46_a_history_of_qed_70 n46_a_history_of_qed_71->n46_a_history_of_qed_72 n46_a_history_of_qed_73->n46_a_history_of_qed_74 n46_a_history_of_qed_76 PRO n46_a_history_of_qed_75->n46_a_history_of_qed_76 n46_a_history_of_qed_76->n46_a_history_of_qed_77 n46_a_history_of_qed_78->n46_a_history_of_qed_79 n46_a_history_of_qed_81 ADV n46_a_history_of_qed_80->n46_a_history_of_qed_81 n46_a_history_of_qed_81->n46_a_history_of_qed_82 n46_a_history_of_qed_84 NPR n46_a_history_of_qed_83->n46_a_history_of_qed_84 n46_a_history_of_qed_84->n46_a_history_of_qed_85 n46_a_history_of_qed_86->n46_a_history_of_qed_87 
( (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))