TSPC 46_a_history_of

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.

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).

fof(formula,axiom,
    ? [R_0046_0002__SAME,R_0046_0006__THE_R_0046_0007__NAME,R_0046_0001__THE_R_0046_0003__PROGRAM,R_0046_0011__BETTER,R_0046_0013__TYPEWRITER,R_0046_0015__LIKE,R_0046_0016__TERMINALS,R_0046_0010__WORKS,R_0046_0020__FANCIER,R_0046_0021__COMMANDS,R_0046_0023__BETTER,R_0046_0024__DIAGNOSTICS,R_0046_0022__AND,R_0046_0028__ESSENTIALLY,R_0046_0029__ED,R_0046_0027___APOS_S,Z_000_46_A_HISTORY_OF_QED_2,R_0046_0008__EX,Z_000_46_A_HISTORY_OF_QED_22] :
      ( r_0046_0002__same(R_0046_0002__SAME)
      & r_0046_0006__the_r_0046_0007__name(R_0046_0006__THE_R_0046_0007__NAME)
      & r_0046_0008__ex(R_0046_0008__EX)
      & r_0046_0011__better(R_0046_0011__BETTER)
      & r_0046_0013__typewriter(R_0046_0013__TYPEWRITER)
      & r_0046_0020__fancier(R_0046_0020__FANCIER)
      & r_0046_0023__better(R_0046_0023__BETTER)
      & r_0046_0028__essentially(R_0046_0028__ESSENTIALLY)
      & r_0046_0029__ed(R_0046_0029__ED)
      & z_000_46_a_history_of_qed_22(Z_000_46_A_HISTORY_OF_QED_22)
      & has_prd(Z_000_46_A_HISTORY_OF_QED_22,R_0046_0008__EX)
      & has_arg0(Z_000_46_A_HISTORY_OF_QED_22,R_0046_0006__THE_R_0046_0007__NAME)
      & z_000_46_a_history_of_qed_2(Z_000_46_A_HISTORY_OF_QED_2)
      & has_conj2(Z_000_46_A_HISTORY_OF_QED_2,R_0046_0027___APOS_S)
      & r_0046_0027___apos_s(R_0046_0027___APOS_S)
      & has_prd(R_0046_0027___APOS_S,R_0046_0029__ED)
      & has_nim80(R_0046_0027___APOS_S,R_0046_0028__ESSENTIALLY)
      & has_r_0046_0018__aside_from_nim54(R_0046_0027___APOS_S,R_0046_0022__AND)
      & r_0046_0022__and(R_0046_0022__AND)
      & has_conj2(R_0046_0022__AND,R_0046_0024__DIAGNOSTICS)
      & r_0046_0024__diagnostics(R_0046_0024__DIAGNOSTICS)
      & has_attrib68(R_0046_0024__DIAGNOSTICS,R_0046_0023__BETTER)
      & has_conj1(R_0046_0022__AND,R_0046_0021__COMMANDS)
      & r_0046_0021__commands(R_0046_0021__COMMANDS)
      & has_attrib59(R_0046_0021__COMMANDS,R_0046_0020__FANCIER)
      & has_arg0(R_0046_0027___APOS_S,R_0046_0001__THE_R_0046_0003__PROGRAM)
      & r_0046_0001__The_r_0046_0003__program(R_0046_0001__THE_R_0046_0003__PROGRAM)
      & has_r_0046_0005__under(R_0046_0001__THE_R_0046_0003__PROGRAM,R_0046_0006__THE_R_0046_0007__NAME)
      & has_attrib7(R_0046_0001__THE_R_0046_0003__PROGRAM,R_0046_0002__SAME)
      & has_conj1(Z_000_46_A_HISTORY_OF_QED_2,R_0046_0010__WORKS)
      & r_0046_0010__works(R_0046_0010__WORKS)
      & has_r_0046_0012__on_nim36(R_0046_0010__WORKS,R_0046_0016__TERMINALS)
      & r_0046_0016__terminals(R_0046_0016__TERMINALS)
      & has_attrib37(R_0046_0016__TERMINALS,R_0046_0015__LIKE)
      & r_0046_0015__like(R_0046_0015__LIKE)
      & has_nim38(R_0046_0015__LIKE,R_0046_0013__TYPEWRITER)
      & has_nim30(R_0046_0010__WORKS,R_0046_0011__BETTER)
      & has_arg0(R_0046_0010__WORKS,R_0046_0001__THE_R_0046_0003__PROGRAM) ) ).

( (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))