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.

%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_0012__approximating->r_0030_0010__a_r_0030_0011__version [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 was r_0030_0021__and->r_0030_0023__was [conj2] r_0030_0024__used used r_0030_0023__was->r_0030_0024__used [scope] 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_0024__used->r_0030_0026__the_r_0030_0027__Labs_r_0030_0028__locations at [nim] r_0030_0029__using using r_0030_0024__used->r_0030_0029__using [arg1] z_000_30_a_history_of_qed_64 r_0030_0024__used->z_000_30_a_history_of_qed_64 [arg0] r_0030_0029__using->r_0030_0010__a_r_0030_0011__version [arg0] r_0030_0032__and and r_0030_0029__using->r_0030_0032__and [arg1] r_0030_0031__hardware hardware r_0030_0032__and->r_0030_0031__hardware [conj1] r_0030_0033__software software r_0030_0032__and->r_0030_0033__software [conj2] 
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_nim7).
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, 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_nim71).
arc(r_0030_0024__used, r_0030_0029__using, arg1).
arc(r_0030_0024__used, z_000_30_a_history_of_qed_64, arg0).
arc(r_0030_0029__using, r_0030_0010__a_r_0030_0011__version, arg0).
arc(r_0030_0029__using, r_0030_0032__and, arg1).
arc(r_0030_0032__and, r_0030_0031__hardware, conj1).
arc(r_0030_0032__and, r_0030_0033__software, conj2).


%3 r_0030_0032__and and r_0030_0033__software software r_0030_0032__and->r_0030_0033__software [conj2] r_0030_0031__hardware hardware r_0030_0032__and->r_0030_0031__hardware [conj1] r_0030_0029__using using r_0030_0029__using->r_0030_0032__and [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_0023__was_r_0030_0024__used was used r_0030_0023__was_r_0030_0024__used->r_0030_0029__using [arg1] r_0030_0023__was_r_0030_0024__used->r_0030_0010__a_r_0030_0011__version [arg2] z_000_30_a_history_of_qed_64 r_0030_0023__was_r_0030_0024__used->z_000_30_a_history_of_qed_64 [arg0] 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_0021__and and r_0030_0021__and->r_0030_0023__was_r_0030_0024__used [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 [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 
fof(formula,axiom,
    ? [R_30_12_APPROXIMATING,R_30_13_THIS_RENDITION,R_30_21_AND,R_30_9_WROTE,R_30_4_JAY_MICHLIN,R_30_7_BELL_LABS,R_30_2_1974,R_30_23_WAS_USED,Z_30_A_HISTORY_OF_QED_64,R_30_29_USING,R_30_32_AND,R_30_31_HARDWARE,R_30_33_SOFTWARE,R_30_10_A_VERSION,R_30_16_THE_IBM_TSO_SYSTEM,R_30_26_THE_LABS_LOCATIONS] :
      ( this_rendition(R_30_13_THIS_RENDITION)
      & bell_Labs(R_30_7_BELL_LABS)
      & 1974(R_30_2_1974)
      & hardware(R_30_31_HARDWARE)
      & software(R_30_33_SOFTWARE)
      & the_IBM_TSO_system(R_30_16_THE_IBM_TSO_SYSTEM)
      & the_Labs_locations(R_30_26_THE_LABS_LOCATIONS)
      & approximating(R_30_12_APPROXIMATING,R_30_10_A_VERSION,R_30_13_THIS_RENDITION)
      & a_version(R_30_10_A_VERSION)
      & for(R_30_10_A_VERSION,R_30_16_THE_IBM_TSO_SYSTEM)
      & and(R_30_21_AND)
      & conj1(R_30_21_AND,R_30_9_WROTE)
      & wrote(R_30_9_WROTE,R_30_4_JAY_MICHLIN,R_30_10_A_VERSION)
      & jay_Michlin(R_30_4_JAY_MICHLIN)
      & at(R_30_4_JAY_MICHLIN,R_30_7_BELL_LABS)
      & by_nim7(R_30_9_WROTE,R_30_2_1974)
      & conj2(R_30_21_AND,R_30_23_WAS_USED)
      & was_used(R_30_23_WAS_USED,Z_30_A_HISTORY_OF_QED_64,R_30_29_USING,R_30_10_A_VERSION)
      & using(R_30_29_USING,R_30_10_A_VERSION,R_30_32_AND)
      & and(R_30_32_AND)
      & conj1(R_30_32_AND,R_30_31_HARDWARE)
      & conj2(R_30_32_AND,R_30_33_SOFTWARE)
      & at_nim71(R_30_23_WAS_USED,R_30_26_THE_LABS_LOCATIONS) ) ).


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 hardware n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_1_1 and n30_a_history_of_qed__1_1_3_2_3_4_2_2_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_2 CONJP 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_2 n30_a_history_of_qed__1_1_3_2_3_4_2_2_1_1 N 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_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_2_1 CONJ n30_a_history_of_qed__1_1_3_2_3_4_2_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_2 NLYR n30_a_history_of_qed__1_1_3_2_3_4_2_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_2 n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_1_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_2_1 N n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_2->n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_2_1 n30_a_history_of_qed__1_1_3_2_3_4_2_2_2_2_1->n30_a_history_of_qed__1_1_3_2_3_4_2_2_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 (N hardware;{hardware}))
                                                                   (CONJP (CONJ and;{and})
                                                                          (NLYR (N software;{software}))))))))))
          (PUNC .))
  (ID 30_a_history_of_qed))