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.

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 PRN 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 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})
                                           (PRN (NP (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))


%3 z_0046_5005 r_0046_0008__ex ex z_0046_5005->r_0046_0008__ex [prd] r_0046_0006__the_r_0046_0007__name the name z_0046_5005->r_0046_0006__the_r_0046_0007__name [arg0] z_0046_5001 r_0046_0027___apos_s 's z_0046_5001->r_0046_0027___apos_s [conj2] r_0046_0010__works works z_0046_5001->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_0019__some_r_0046_0020__fancier_r_0046_0021__commands_r_0046_0022__and_r_0046_0023__better_r_0046_0024__diagnostics some fancier commands and better diagnostics r_0046_0027___apos_s->r_0046_0019__some_r_0046_0020__fancier_r_0046_0021__commands_r_0046_0022__and_r_0046_0023__better_r_0046_0024__diagnostics 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 r_0046_0011__better better r_0046_0010__works->r_0046_0011__better [nim] 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_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] 
arc(r_0046_0001__The_r_0046_0003__program,r_0046_0002__same,attrib).
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,nim).
arc(r_0046_0010__works,r_0046_0016__terminals,r_0046_0012__on).
arc(r_0046_0015__like,r_0046_0013__typewriter,nim).
arc(r_0046_0016__terminals,r_0046_0015__like,attrib).
arc(r_0046_0027___apos_s,r_0046_0001__The_r_0046_0003__program,arg0).
arc(r_0046_0027___apos_s,r_0046_0019__some_r_0046_0020__fancier_r_0046_0021__commands_r_0046_0022__and_r_0046_0023__better_r_0046_0024__diagnostics,r_0046_0018__aside_from__nim).
arc(r_0046_0027___apos_s,r_0046_0028__essentially,nim).
arc(r_0046_0027___apos_s,r_0046_0029__ed,prd).
arc(z_0046_5001,r_0046_0010__works,conj1).
arc(z_0046_5001,r_0046_0027___apos_s,conj2).
arc(z_0046_5005,r_0046_0006__the_r_0046_0007__name,arg0).
arc(z_0046_5005,r_0046_0008__ex,prd).


%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 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_0027___apos_s 's r_0046_0027___apos_s->r_0046_0001__The_r_0046_0003__program [arg0] r_0046_0019__some_r_0046_0020__fancier_r_0046_0021__commands_r_0046_0022__and_r_0046_0023__better_r_0046_0024__diagnostics some fancier commands and better diagnostics r_0046_0027___apos_s->r_0046_0019__some_r_0046_0020__fancier_r_0046_0021__commands_r_0046_0022__and_r_0046_0023__better_r_0046_0024__diagnostics 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_0046_5001 z_0046_5001->r_0046_0010__works [conj1] z_0046_5001->r_0046_0027___apos_s [conj2] z_0046_5005 z_0046_5005->r_0046_0006__the_r_0046_0007__name [arg0] r_0046_0008__ex ex z_0046_5005->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_0019__SOME_R_0046_0020__FANCIER_R_0046_0021__COMMANDS_R_0046_0022__AND_R_0046_0023__BETTER_R_0046_0024__DIAGNOSTICS,R_0046_0028__ESSENTIALLY,R_0046_0029__ED,R_0046_0027___APOS_S,Z_0046_5001,R_0046_0008__EX,Z_0046_5005] :
      ( 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_0019__some_r_0046_0020__fancier_r_0046_0021__commands_r_0046_0022__and_r_0046_0023__better_r_0046_0024__diagnostics(R_0046_0019__SOME_R_0046_0020__FANCIER_R_0046_0021__COMMANDS_R_0046_0022__AND_R_0046_0023__BETTER_R_0046_0024__DIAGNOSTICS)
      & r_0046_0028__essentially(R_0046_0028__ESSENTIALLY)
      & r_0046_0029__ed(R_0046_0029__ED)
      & z_0046_5005(Z_0046_5005)
      & has_prd(Z_0046_5005,R_0046_0008__EX)
      & has_arg0(Z_0046_5005,R_0046_0006__THE_R_0046_0007__NAME)
      & z_0046_5001(Z_0046_5001)
      & has_conj2(Z_0046_5001,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_nim(R_0046_0027___APOS_S,R_0046_0028__ESSENTIALLY)
      & has_r_0046_0018__aside_from__nim(R_0046_0027___APOS_S,R_0046_0019__SOME_R_0046_0020__FANCIER_R_0046_0021__COMMANDS_R_0046_0022__AND_R_0046_0023__BETTER_R_0046_0024__DIAGNOSTICS)
      & 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_attrib(R_0046_0001__THE_R_0046_0003__PROGRAM,R_0046_0002__SAME)
      & has_conj1(Z_0046_5001,R_0046_0010__WORKS)
      & r_0046_0010__works(R_0046_0010__WORKS)
      & has_r_0046_0012__on(R_0046_0010__WORKS,R_0046_0016__TERMINALS)
      & r_0046_0016__terminals(R_0046_0016__TERMINALS)
      & has_attrib(R_0046_0016__TERMINALS,R_0046_0015__LIKE)
      & r_0046_0015__like(R_0046_0015__LIKE)
      & has_nim(R_0046_0015__LIKE,R_0046_0013__TYPEWRITER)
      & has_nim(R_0046_0010__WORKS,R_0046_0011__BETTER)
      & has_arg0(R_0046_0010__WORKS,R_0046_0001__THE_R_0046_0003__PROGRAM) ) ).