Context                Previous, Next                Top


30_a_history_of_qed
By 1974, Jay Michlin at Bell Labs wrote a version approximating this rendition for the IBM TSO system, and it was used at the Labs locations using IBM hardware and software.

n30_a_history_of_qed n30_a_history_of_qed__1_1_1_1_1_1 By n30_a_history_of_qed__1_1_1_1_2_1_1 1974 n30_a_history_of_qed__1_1_1_2_1 , n30_a_history_of_qed__1_1_1_3_1_1 Jay n30_a_history_of_qed__1_1_1_3_2_1 Michlin n30_a_history_of_qed__1_1_1_3_3_1_1 at n30_a_history_of_qed__1_1_1_3_3_2_1_1 Bell n30_a_history_of_qed__1_1_1_3_3_2_2_1 Labs n30_a_history_of_qed__1_1_1_4_1 wrote n30_a_history_of_qed__1_1_1_5_1_1 a n30_a_history_of_qed__1_1_1_5_2_1 version n30_a_history_of_qed__1_1_1_5_3_1_1 approximating n30_a_history_of_qed__1_1_1_5_3_2_1_1 this n30_a_history_of_qed__1_1_1_5_3_2_2_1 rendition n30_a_history_of_qed__1_1_1_5_4_1_1 for n30_a_history_of_qed__1_1_1_5_4_2_1_1 the n30_a_history_of_qed__1_1_1_5_4_2_2_1 IBM n30_a_history_of_qed__1_1_1_5_4_2_3_1 TSO n30_a_history_of_qed__1_1_1_5_4_2_4_1 system n30_a_history_of_qed__1_1_2_1 , n30_a_history_of_qed__1_1_3_1_1 and n30_a_history_of_qed__1_1_3_2_1_1_1 it n30_a_history_of_qed__1_1_3_2_2_1 was n30_a_history_of_qed__1_1_3_2_3_1_1 * n30_a_history_of_qed__1_1_3_2_3_2_1 used n30_a_history_of_qed__1_1_3_2_3_3_1_1 at n30_a_history_of_qed__1_1_3_2_3_3_2_1_1 the n30_a_history_of_qed__1_1_3_2_3_3_2_2_1 Labs n30_a_history_of_qed__1_1_3_2_3_3_2_3_1 locations n30_a_history_of_qed__1_1_3_2_3_4_1_1 using n30_a_history_of_qed__1_1_3_2_3_4_2_1_1 IBM n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1_1 hardware n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1_1 and n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1_1 software n30_a_history_of_qed__1_2_1 . n30_a_history_of_qed__1 IP-MAT n30_a_history_of_qed__1_1 ILYR n30_a_history_of_qed__1->n30_a_history_of_qed__1_1 n30_a_history_of_qed__1_2 PUNC n30_a_history_of_qed__1->n30_a_history_of_qed__1_2 n30_a_history_of_qed__1_1_1 ILYR n30_a_history_of_qed__1_1->n30_a_history_of_qed__1_1_1 n30_a_history_of_qed__1_1_2 PUNC n30_a_history_of_qed__1_1->n30_a_history_of_qed__1_1_2 n30_a_history_of_qed__1_1_3 CONJP n30_a_history_of_qed__1_1->n30_a_history_of_qed__1_1_3 n30_a_history_of_qed__1_1_1_1 PP-NIM n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_1 n30_a_history_of_qed__1_1_1_2 PUNC n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_2 n30_a_history_of_qed__1_1_1_3 NP-SBJ n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_3 n30_a_history_of_qed__1_1_1_4 VBD;__ n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_4 n30_a_history_of_qed__1_1_1_5 NP-OB1 n30_a_history_of_qed__1_1_1->n30_a_history_of_qed__1_1_1_5 n30_a_history_of_qed__1_1_1_1_1 P-ROLE n30_a_history_of_qed__1_1_1_1->n30_a_history_of_qed__1_1_1_1_1 n30_a_history_of_qed__1_1_1_1_2 NP n30_a_history_of_qed__1_1_1_1->n30_a_history_of_qed__1_1_1_1_2 n30_a_history_of_qed__1_1_1_1_1->n30_a_history_of_qed__1_1_1_1_1_1 n30_a_history_of_qed__1_1_1_1_2_1 NPR n30_a_history_of_qed__1_1_1_1_2->n30_a_history_of_qed__1_1_1_1_2_1 n30_a_history_of_qed__1_1_1_1_2_1->n30_a_history_of_qed__1_1_1_1_2_1_1 n30_a_history_of_qed__1_1_1_2->n30_a_history_of_qed__1_1_1_2_1 n30_a_history_of_qed__1_1_1_3_1 NPR n30_a_history_of_qed__1_1_1_3->n30_a_history_of_qed__1_1_1_3_1 n30_a_history_of_qed__1_1_1_3_2 NPR n30_a_history_of_qed__1_1_1_3->n30_a_history_of_qed__1_1_1_3_2 n30_a_history_of_qed__1_1_1_3_3 PP n30_a_history_of_qed__1_1_1_3->n30_a_history_of_qed__1_1_1_3_3 n30_a_history_of_qed__1_1_1_3_1->n30_a_history_of_qed__1_1_1_3_1_1 n30_a_history_of_qed__1_1_1_3_2->n30_a_history_of_qed__1_1_1_3_2_1 n30_a_history_of_qed__1_1_1_3_3_1 P-ROLE n30_a_history_of_qed__1_1_1_3_3->n30_a_history_of_qed__1_1_1_3_3_1 n30_a_history_of_qed__1_1_1_3_3_2 NP n30_a_history_of_qed__1_1_1_3_3->n30_a_history_of_qed__1_1_1_3_3_2 n30_a_history_of_qed__1_1_1_3_3_1->n30_a_history_of_qed__1_1_1_3_3_1_1 n30_a_history_of_qed__1_1_1_3_3_2_1 NPR n30_a_history_of_qed__1_1_1_3_3_2->n30_a_history_of_qed__1_1_1_3_3_2_1 n30_a_history_of_qed__1_1_1_3_3_2_2 NPR n30_a_history_of_qed__1_1_1_3_3_2->n30_a_history_of_qed__1_1_1_3_3_2_2 n30_a_history_of_qed__1_1_1_3_3_2_1->n30_a_history_of_qed__1_1_1_3_3_2_1_1 n30_a_history_of_qed__1_1_1_3_3_2_2->n30_a_history_of_qed__1_1_1_3_3_2_2_1 n30_a_history_of_qed__1_1_1_4->n30_a_history_of_qed__1_1_1_4_1 n30_a_history_of_qed__1_1_1_5_1 D n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_1 n30_a_history_of_qed__1_1_1_5_2 N n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_2 n30_a_history_of_qed__1_1_1_5_3 IP-PPL n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_3 n30_a_history_of_qed__1_1_1_5_4 PP n30_a_history_of_qed__1_1_1_5->n30_a_history_of_qed__1_1_1_5_4 n30_a_history_of_qed__1_1_1_5_1->n30_a_history_of_qed__1_1_1_5_1_1 n30_a_history_of_qed__1_1_1_5_2->n30_a_history_of_qed__1_1_1_5_2_1 n30_a_history_of_qed__1_1_1_5_3_1 VAG;__ n30_a_history_of_qed__1_1_1_5_3->n30_a_history_of_qed__1_1_1_5_3_1 n30_a_history_of_qed__1_1_1_5_3_2 NP-OB1 n30_a_history_of_qed__1_1_1_5_3->n30_a_history_of_qed__1_1_1_5_3_2 n30_a_history_of_qed__1_1_1_5_3_1->n30_a_history_of_qed__1_1_1_5_3_1_1 n30_a_history_of_qed__1_1_1_5_3_2_1 D n30_a_history_of_qed__1_1_1_5_3_2->n30_a_history_of_qed__1_1_1_5_3_2_1 n30_a_history_of_qed__1_1_1_5_3_2_2 N n30_a_history_of_qed__1_1_1_5_3_2->n30_a_history_of_qed__1_1_1_5_3_2_2 n30_a_history_of_qed__1_1_1_5_3_2_1->n30_a_history_of_qed__1_1_1_5_3_2_1_1 n30_a_history_of_qed__1_1_1_5_3_2_2->n30_a_history_of_qed__1_1_1_5_3_2_2_1 n30_a_history_of_qed__1_1_1_5_4_1 P-ROLE n30_a_history_of_qed__1_1_1_5_4->n30_a_history_of_qed__1_1_1_5_4_1 n30_a_history_of_qed__1_1_1_5_4_2 NP n30_a_history_of_qed__1_1_1_5_4->n30_a_history_of_qed__1_1_1_5_4_2 n30_a_history_of_qed__1_1_1_5_4_1->n30_a_history_of_qed__1_1_1_5_4_1_1 n30_a_history_of_qed__1_1_1_5_4_2_1 D n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_1 n30_a_history_of_qed__1_1_1_5_4_2_2 NPR n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_2 n30_a_history_of_qed__1_1_1_5_4_2_3 NPR n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_3 n30_a_history_of_qed__1_1_1_5_4_2_4 N n30_a_history_of_qed__1_1_1_5_4_2->n30_a_history_of_qed__1_1_1_5_4_2_4 n30_a_history_of_qed__1_1_1_5_4_2_1->n30_a_history_of_qed__1_1_1_5_4_2_1_1 n30_a_history_of_qed__1_1_1_5_4_2_2->n30_a_history_of_qed__1_1_1_5_4_2_2_1 n30_a_history_of_qed__1_1_1_5_4_2_3->n30_a_history_of_qed__1_1_1_5_4_2_3_1 n30_a_history_of_qed__1_1_1_5_4_2_4->n30_a_history_of_qed__1_1_1_5_4_2_4_1 n30_a_history_of_qed__1_1_2->n30_a_history_of_qed__1_1_2_1 n30_a_history_of_qed__1_1_3_1 CONJ n30_a_history_of_qed__1_1_3->n30_a_history_of_qed__1_1_3_1 n30_a_history_of_qed__1_1_3_2 ILYR n30_a_history_of_qed__1_1_3->n30_a_history_of_qed__1_1_3_2 n30_a_history_of_qed__1_1_3_1->n30_a_history_of_qed__1_1_3_1_1 n30_a_history_of_qed__1_1_3_2_1 NP-SBJ n30_a_history_of_qed__1_1_3_2->n30_a_history_of_qed__1_1_3_2_1 n30_a_history_of_qed__1_1_3_2_2 BED;_cat_VePASS_ n30_a_history_of_qed__1_1_3_2->n30_a_history_of_qed__1_1_3_2_2 n30_a_history_of_qed__1_1_3_2_3 IP-PPL-CAT n30_a_history_of_qed__1_1_3_2->n30_a_history_of_qed__1_1_3_2_3 n30_a_history_of_qed__1_1_3_2_1_1 PRO n30_a_history_of_qed__1_1_3_2_1->n30_a_history_of_qed__1_1_3_2_1_1 n30_a_history_of_qed__1_1_3_2_1_1->n30_a_history_of_qed__1_1_3_2_1_1_1 n30_a_history_of_qed__1_1_3_2_2->n30_a_history_of_qed__1_1_3_2_2_1 n30_a_history_of_qed__1_1_3_2_3_1 NP-LGS n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_1 n30_a_history_of_qed__1_1_3_2_3_2 VVN;__ n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_2 n30_a_history_of_qed__1_1_3_2_3_3 PP-NIM n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_3 n30_a_history_of_qed__1_1_3_2_3_4 IP-PPL-OB1 n30_a_history_of_qed__1_1_3_2_3->n30_a_history_of_qed__1_1_3_2_3_4 n30_a_history_of_qed__1_1_3_2_3_1->n30_a_history_of_qed__1_1_3_2_3_1_1 n30_a_history_of_qed__1_1_3_2_3_2->n30_a_history_of_qed__1_1_3_2_3_2_1 n30_a_history_of_qed__1_1_3_2_3_3_1 P-ROLE n30_a_history_of_qed__1_1_3_2_3_3->n30_a_history_of_qed__1_1_3_2_3_3_1 n30_a_history_of_qed__1_1_3_2_3_3_2 NP n30_a_history_of_qed__1_1_3_2_3_3->n30_a_history_of_qed__1_1_3_2_3_3_2 n30_a_history_of_qed__1_1_3_2_3_3_1->n30_a_history_of_qed__1_1_3_2_3_3_1_1 n30_a_history_of_qed__1_1_3_2_3_3_2_1 D n30_a_history_of_qed__1_1_3_2_3_3_2->n30_a_history_of_qed__1_1_3_2_3_3_2_1 n30_a_history_of_qed__1_1_3_2_3_3_2_2 NPRS n30_a_history_of_qed__1_1_3_2_3_3_2->n30_a_history_of_qed__1_1_3_2_3_3_2_2 n30_a_history_of_qed__1_1_3_2_3_3_2_3 NS n30_a_history_of_qed__1_1_3_2_3_3_2->n30_a_history_of_qed__1_1_3_2_3_3_2_3 n30_a_history_of_qed__1_1_3_2_3_3_2_1->n30_a_history_of_qed__1_1_3_2_3_3_2_1_1 n30_a_history_of_qed__1_1_3_2_3_3_2_2->n30_a_history_of_qed__1_1_3_2_3_3_2_2_1 n30_a_history_of_qed__1_1_3_2_3_3_2_3->n30_a_history_of_qed__1_1_3_2_3_3_2_3_1 n30_a_history_of_qed__1_1_3_2_3_4_1 VAG;__ n30_a_history_of_qed__1_1_3_2_3_4->n30_a_history_of_qed__1_1_3_2_3_4_1 n30_a_history_of_qed__1_1_3_2_3_4_2 NP-OB1 n30_a_history_of_qed__1_1_3_2_3_4->n30_a_history_of_qed__1_1_3_2_3_4_2 n30_a_history_of_qed__1_1_3_2_3_4_1->n30_a_history_of_qed__1_1_3_2_3_4_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_1 NPR n30_a_history_of_qed__1_1_3_2_3_4_2->n30_a_history_of_qed__1_1_3_2_3_4_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2 n30_a_history_of_qed__1_1_3_2_3_4_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2 CONJP n30_a_history_of_qed__1_1_3_2_3_4_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1 N n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1 CONJ n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1 N n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_2_2_1_1 n30_a_history_of_qed__1_2->n30_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE By;{by})
                              (NP (NPR 1974)))
                      (PUNC ,)
                      (NP-SBJ (NPR Jay;{Jay})
                              (NPR Michlin;{Michlin})
                              (PP (P-ROLE at;{at})
                                  (NP;{BELL_LABS} (NPR Bell;{Bell})
                                                  (NPR Labs;{Labs}))))
                      (VBD;__ wrote;{write})
                      (NP-OB1;{TSO_QED} (D a;{a})
                                        (N version;{version})
                                        (IP-PPL (VAG;__ approximating;{approximate})
                                                (NP-OB1 (D this;{this})
                                                        (N rendition;{rendition})))
                                        (PP (P-ROLE for;{for})
                                            (NP (D the;{the})
                                                (NPR IBM;{IBM})
                                                (NPR TSO;{TSO})
                                                (N system;{system})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{TSO_QED} (PRO it;{it}))
                             (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;__ used;{use})
                                         (PP-NIM (P-ROLE at;{at})
                                                 (NP (D the;{the})
                                                     (NPRS Labs;{Labs})
                                                     (NS locations;{location})))
                                         (IP-PPL-OB1 (VAG;__ using;{use})
                                                     (NP-OB1 (NPR IBM;{IBM})
                                                             (NLYR (NLYR (NLYR (N hardware;{hardware}))
                                                                         (CONJP (CONJ and;{and})
                                                                                (NLYR (N software;{software})))))))))))
          (PUNC .))
  (ID 30_a_history_of_qed))


%3 r_0030_0029__using using r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software IBM hardware and software r_0030_0029__using->r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software [arg1] r_0030_0010__a_r_0030_0011__version a version r_0030_0029__using->r_0030_0010__a_r_0030_0011__version [arg0] r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system the IBM TSO system r_0030_0010__a_r_0030_0011__version->r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system for r_0030_0024__used used r_0030_0024__used->r_0030_0029__using [arg1] r_0030_0024__used->r_0030_0010__a_r_0030_0011__version [arg2] z_0030_5012___star_ * r_0030_0024__used->z_0030_5012___star_ [arg0] r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations the Labs locations r_0030_0024__used->r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations at [nim] r_0030_0023__was was r_0030_0023__was->r_0030_0024__used [scope] r_0030_0021__and and r_0030_0021__and->r_0030_0023__was [conj2] r_0030_0009__wrote wrote r_0030_0021__and->r_0030_0009__wrote [conj1] r_0030_0009__wrote->r_0030_0010__a_r_0030_0011__version [arg1] r_0030_0004__Jay_r_0030_0005__Michlin Jay Michlin r_0030_0009__wrote->r_0030_0004__Jay_r_0030_0005__Michlin [arg0] r_0030_0002__1974 1974 r_0030_0009__wrote->r_0030_0002__1974 By [nim] r_0030_0012__approximating approximating r_0030_0012__approximating->r_0030_0010__a_r_0030_0011__version [inv_arg0] r_0030_0013__this_r_0030_0014__rendition this rendition r_0030_0012__approximating->r_0030_0013__this_r_0030_0014__rendition [arg1] r_0030_0007__Bell_r_0030_0008__Labs Bell Labs r_0030_0004__Jay_r_0030_0005__Michlin->r_0030_0007__Bell_r_0030_0008__Labs at 
arc(r_0030_0004__Jay_r_0030_0005__Michlin,r_0030_0007__Bell_r_0030_0008__Labs,r_0030_0006__at).
arc(r_0030_0009__wrote,r_0030_0002__1974,r_0030_0001__By__nim).
arc(r_0030_0009__wrote,r_0030_0004__Jay_r_0030_0005__Michlin,arg0).
arc(r_0030_0009__wrote,r_0030_0010__a_r_0030_0011__version,arg1).
arc(r_0030_0010__a_r_0030_0011__version,r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system,r_0030_0015__for).
arc(r_0030_0012__approximating,r_0030_0010__a_r_0030_0011__version,inv_arg0).
arc(r_0030_0012__approximating,r_0030_0013__this_r_0030_0014__rendition,arg1).
arc(r_0030_0021__and,r_0030_0009__wrote,conj1).
arc(r_0030_0021__and,r_0030_0023__was,conj2).
arc(r_0030_0023__was,r_0030_0024__used,scope).
arc(r_0030_0024__used,r_0030_0010__a_r_0030_0011__version,arg2).
arc(r_0030_0024__used,r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations,r_0030_0025__at__nim).
arc(r_0030_0024__used,r_0030_0029__using,arg1).
arc(r_0030_0024__used,z_0030_5012___star_,arg0).
arc(r_0030_0029__using,r_0030_0010__a_r_0030_0011__version,arg0).
arc(r_0030_0029__using,r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software,arg1).


%3 r_0030_0004__Jay_r_0030_0005__Michlin Jay Michlin r_0030_0007__Bell_r_0030_0008__Labs Bell Labs r_0030_0004__Jay_r_0030_0005__Michlin->r_0030_0007__Bell_r_0030_0008__Labs at r_0030_0009__wrote wrote r_0030_0009__wrote->r_0030_0004__Jay_r_0030_0005__Michlin [arg0] r_0030_0002__1974 1974 r_0030_0009__wrote->r_0030_0002__1974 By [nim] r_0030_0010__a_r_0030_0011__version a version r_0030_0009__wrote->r_0030_0010__a_r_0030_0011__version [arg1] r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system the IBM TSO system r_0030_0010__a_r_0030_0011__version->r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system for r_0030_0012__approximating approximating r_0030_0010__a_r_0030_0011__version->r_0030_0012__approximating [inv_arg0] r_0030_0013__this_r_0030_0014__rendition this rendition r_0030_0012__approximating->r_0030_0013__this_r_0030_0014__rendition [arg1] r_0030_0021__and and r_0030_0021__and->r_0030_0009__wrote [conj1] r_0030_0023__was_r_0030_0024__used was used r_0030_0021__and->r_0030_0023__was_r_0030_0024__used [conj2] r_0030_0023__was_r_0030_0024__used->r_0030_0010__a_r_0030_0011__version [arg2] r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations the Labs locations r_0030_0023__was_r_0030_0024__used->r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations at [nim] r_0030_0029__using using r_0030_0023__was_r_0030_0024__used->r_0030_0029__using [arg1] z_0030_5012___star_ * r_0030_0023__was_r_0030_0024__used->z_0030_5012___star_ [arg0] r_0030_0029__using->r_0030_0010__a_r_0030_0011__version [arg0] r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software IBM hardware and software r_0030_0029__using->r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software [arg1] 
fof(formula,axiom,
    ? [R_0030_0002__1974,R_0030_0007__BELL_R_0030_0008__LABS,R_0030_0004__JAY_R_0030_0005__MICHLIN,R_0030_0016__THE_R_0030_0017__IBM_R_0030_0018__TSO_R_0030_0019__SYSTEM,R_0030_0013__THIS_R_0030_0014__RENDITION,R_0030_0012__APPROXIMATING,R_0030_0010__A_R_0030_0011__VERSION,R_0030_0009__WROTE,R_0030_0026__THE_R_0030_0027__LABS_R_0030_0028__LOCATIONS,R_0030_0030__IBM_R_0030_0031__HARDWARE_R_0030_0032__AND_R_0030_0033__SOFTWARE,R_0030_0029__USING,Z_0030_5012___STAR_,R_0030_0023__WAS_R_0030_0024__USED,R_0030_0021__AND] :
      ( r_0030_0002__1974(R_0030_0002__1974)
      & r_0030_0007__Bell_r_0030_0008__Labs(R_0030_0007__BELL_R_0030_0008__LABS)
      & r_0030_0013__this_r_0030_0014__rendition(R_0030_0013__THIS_R_0030_0014__RENDITION)
      & r_0030_0016__the_r_0030_0017__IBM_r_0030_0018__TSO_r_0030_0019__system(R_0030_0016__THE_R_0030_0017__IBM_R_0030_0018__TSO_R_0030_0019__SYSTEM)
      & r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations(R_0030_0026__THE_R_0030_0027__LABS_R_0030_0028__LOCATIONS)
      & r_0030_0030__IBM_r_0030_0031__hardware_r_0030_0032__and_r_0030_0033__software(R_0030_0030__IBM_R_0030_0031__HARDWARE_R_0030_0032__AND_R_0030_0033__SOFTWARE)
      & z_0030_5012___star_(Z_0030_5012___STAR_)
      & r_0030_0021__and(R_0030_0021__AND)
      & has_conj2(R_0030_0021__AND,R_0030_0023__WAS_R_0030_0024__USED)
      & r_0030_0023__was_r_0030_0024__used(R_0030_0023__WAS_R_0030_0024__USED)
      & has_arg0(R_0030_0023__WAS_R_0030_0024__USED,Z_0030_5012___STAR_)
      & has_arg1(R_0030_0023__WAS_R_0030_0024__USED,R_0030_0029__USING)
      & r_0030_0029__using(R_0030_0029__USING)
      & has_arg1(R_0030_0029__USING,R_0030_0030__IBM_R_0030_0031__HARDWARE_R_0030_0032__AND_R_0030_0033__SOFTWARE)
      & has_arg0(R_0030_0029__USING,R_0030_0010__A_R_0030_0011__VERSION)
      & r_0030_0010__a_r_0030_0011__version(R_0030_0010__A_R_0030_0011__VERSION)
      & has_inv_arg0(R_0030_0010__A_R_0030_0011__VERSION,R_0030_0012__APPROXIMATING)
      & r_0030_0012__approximating(R_0030_0012__APPROXIMATING)
      & has_arg1(R_0030_0012__APPROXIMATING,R_0030_0013__THIS_R_0030_0014__RENDITION)
      & has_r_0030_0015__for(R_0030_0010__A_R_0030_0011__VERSION,R_0030_0016__THE_R_0030_0017__IBM_R_0030_0018__TSO_R_0030_0019__SYSTEM)
      & has_r_0030_0025__at__nim(R_0030_0023__WAS_R_0030_0024__USED,R_0030_0026__THE_R_0030_0027__LABS_R_0030_0028__LOCATIONS)
      & has_arg2(R_0030_0023__WAS_R_0030_0024__USED,R_0030_0010__A_R_0030_0011__VERSION)
      & has_conj1(R_0030_0021__AND,R_0030_0009__WROTE)
      & r_0030_0009__wrote(R_0030_0009__WROTE)
      & has_arg1(R_0030_0009__WROTE,R_0030_0010__A_R_0030_0011__VERSION)
      & has_arg0(R_0030_0009__WROTE,R_0030_0004__JAY_R_0030_0005__MICHLIN)
      & r_0030_0004__Jay_r_0030_0005__Michlin(R_0030_0004__JAY_R_0030_0005__MICHLIN)
      & has_r_0030_0006__at(R_0030_0004__JAY_R_0030_0005__MICHLIN,R_0030_0007__BELL_R_0030_0008__LABS)
      & has_r_0030_0001__By__nim(R_0030_0009__WROTE,R_0030_0002__1974) ) ).