Context                Previous, Next                Top


5_a_history_of_qed
Ken Thompson used this QED at Berkeley before he came to Bell Labs, and among the first things he did on arriving was to write a new version for the MIT CTSS system.

%3 r_0005_0003__used used r_0005_0001__Ken_r_0005_0002__Thompson Ken Thompson r_0005_0003__used->r_0005_0001__Ken_r_0005_0002__Thompson [arg0] r_0005_0004__this_r_0005_0005__QED this QED r_0005_0003__used->r_0005_0004__this_r_0005_0005__QED [arg1] r_0005_0007__Berkeley Berkeley r_0005_0003__used->r_0005_0007__Berkeley at [nim] r_0005_0008__before before r_0005_0008__before->r_0005_0003__used [scope] r_0005_0010__came came r_0005_0008__before->r_0005_0010__came [restriction] r_0005_0010__came->r_0005_0001__Ken_r_0005_0002__Thompson [arg0] r_0005_0012__Bell_r_0005_0013__Labs Bell Labs r_0005_0010__came->r_0005_0012__Bell_r_0005_0013__Labs to [nim] r_0005_0015__and and r_0005_0015__and->r_0005_0008__before [conj1] r_0005_0024__was was r_0005_0015__and->r_0005_0024__was [conj2] r_0005_0017__the_r_0005_0019__things the things r_0005_0024__was->r_0005_0017__the_r_0005_0019__things among [clr] r_0005_0025__to_r_0005_0026__write to write r_0005_0024__was->r_0005_0025__to_r_0005_0026__write [arg0] r_0005_0018__first first r_0005_0017__the_r_0005_0019__things->r_0005_0018__first [attrib] r_0005_0021__did did r_0005_0021__did->r_0005_0001__Ken_r_0005_0002__Thompson [arg0] r_0005_0021__did->r_0005_0017__the_r_0005_0019__things [arg1] r_0005_0023__arriving arriving r_0005_0021__did->r_0005_0023__arriving on [nim] z_000_5_a_history_of_qed_67 r_0005_0023__arriving->z_000_5_a_history_of_qed_67 [arg0] r_0005_0027__a_r_0005_0029__version a version r_0005_0025__to_r_0005_0026__write->r_0005_0027__a_r_0005_0029__version [arg1] r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system the MIT CTSS system r_0005_0025__to_r_0005_0026__write->r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system for [nim] z_000_5_a_history_of_qed_72 r_0005_0025__to_r_0005_0026__write->z_000_5_a_history_of_qed_72 [arg0] r_0005_0028__new new r_0005_0027__a_r_0005_0029__version->r_0005_0028__new [attrib] 
arc(r_0005_0003__used, r_0005_0001__Ken_r_0005_0002__Thompson, arg0).
arc(r_0005_0003__used, r_0005_0004__this_r_0005_0005__QED, arg1).
arc(r_0005_0003__used, r_0005_0007__Berkeley, r_0005_0006__at_nim19).
arc(r_0005_0008__before, r_0005_0003__used, scope).
arc(r_0005_0008__before, r_0005_0010__came, restriction).
arc(r_0005_0010__came, r_0005_0001__Ken_r_0005_0002__Thompson, arg0).
arc(r_0005_0010__came, r_0005_0012__Bell_r_0005_0013__Labs, r_0005_0011__to_nim34).
arc(r_0005_0015__and, r_0005_0008__before, conj1).
arc(r_0005_0015__and, r_0005_0024__was, conj2).
arc(r_0005_0017__the_r_0005_0019__things, r_0005_0018__first, attrib51).
arc(r_0005_0021__did, r_0005_0001__Ken_r_0005_0002__Thompson, arg0).
arc(r_0005_0021__did, r_0005_0017__the_r_0005_0019__things, arg1).
arc(r_0005_0021__did, r_0005_0023__arriving, r_0005_0022__on_nim67).
arc(r_0005_0023__arriving, z_000_5_a_history_of_qed_67, arg0).
arc(r_0005_0024__was, r_0005_0017__the_r_0005_0019__things, r_0005_0016__among_clr48).
arc(r_0005_0024__was, r_0005_0025__to_r_0005_0026__write, arg0).
arc(r_0005_0025__to_r_0005_0026__write, r_0005_0027__a_r_0005_0029__version, arg1).
arc(r_0005_0025__to_r_0005_0026__write, r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system, r_0005_0030__for_nim88).
arc(r_0005_0025__to_r_0005_0026__write, z_000_5_a_history_of_qed_72, arg0).
arc(r_0005_0027__a_r_0005_0029__version, r_0005_0028__new, attrib80).


%3 r_0005_0027__a_r_0005_0029__version a version r_0005_0028__new new r_0005_0027__a_r_0005_0029__version->r_0005_0028__new [attrib] r_0005_0025__to_r_0005_0026__write to write r_0005_0025__to_r_0005_0026__write->r_0005_0027__a_r_0005_0029__version [arg1] z_000_5_a_history_of_qed_72 r_0005_0025__to_r_0005_0026__write->z_000_5_a_history_of_qed_72 [arg0] r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system the MIT CTSS system r_0005_0025__to_r_0005_0026__write->r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system for [nim] r_0005_0024__was was r_0005_0024__was->r_0005_0025__to_r_0005_0026__write [arg0] r_0005_0017__the_r_0005_0019__things the things r_0005_0024__was->r_0005_0017__the_r_0005_0019__things among [clr] r_0005_0018__first first r_0005_0017__the_r_0005_0019__things->r_0005_0018__first [attrib] r_0005_0023__arriving arriving z_000_5_a_history_of_qed_67 r_0005_0023__arriving->z_000_5_a_history_of_qed_67 [arg0] r_0005_0021__did did r_0005_0021__did->r_0005_0017__the_r_0005_0019__things [arg1] r_0005_0021__did->r_0005_0023__arriving on [nim] r_0005_0001__Ken_r_0005_0002__Thompson Ken Thompson r_0005_0021__did->r_0005_0001__Ken_r_0005_0002__Thompson [arg0] r_0005_0015__and and r_0005_0015__and->r_0005_0024__was [conj2] r_0005_0008__before before r_0005_0015__and->r_0005_0008__before [conj1] r_0005_0010__came came r_0005_0008__before->r_0005_0010__came [conj1] r_0005_0003__used used r_0005_0008__before->r_0005_0003__used [conj2] r_0005_0010__came->r_0005_0001__Ken_r_0005_0002__Thompson [arg0] r_0005_0012__Bell_r_0005_0013__Labs Bell Labs r_0005_0010__came->r_0005_0012__Bell_r_0005_0013__Labs to [nim] r_0005_0003__used->r_0005_0001__Ken_r_0005_0002__Thompson [arg0] r_0005_0007__Berkeley Berkeley r_0005_0003__used->r_0005_0007__Berkeley at [nim] r_0005_0004__this_r_0005_0005__QED this QED r_0005_0003__used->r_0005_0004__this_r_0005_0005__QED [arg1] 
fof(formula,axiom,
    ? [R_0005_0001__KEN_R_0005_0002__THOMPSON,R_0005_0004__THIS_R_0005_0005__QED,R_0005_0007__BERKELEY,R_0005_0003__USED,R_0005_0012__BELL_R_0005_0013__LABS,R_0005_0010__CAME,R_0005_0008__BEFORE,R_0005_0018__FIRST,R_0005_0017__THE_R_0005_0019__THINGS,R_0005_0028__NEW,R_0005_0027__A_R_0005_0029__VERSION,R_0005_0031__THE_R_0005_0032__MIT_R_0005_0033__CTSS_R_0005_0034__SYSTEM,Z_000_5_A_HISTORY_OF_QED_72,R_0005_0025__TO_R_0005_0026__WRITE,R_0005_0024__WAS,R_0005_0015__AND,Z_000_5_A_HISTORY_OF_QED_67,R_0005_0023__ARRIVING,R_0005_0021__DID] :
      ( r_0005_0001__Ken_r_0005_0002__Thompson(R_0005_0001__KEN_R_0005_0002__THOMPSON)
      & r_0005_0004__this_r_0005_0005__QED(R_0005_0004__THIS_R_0005_0005__QED)
      & r_0005_0007__Berkeley(R_0005_0007__BERKELEY)
      & r_0005_0012__Bell_r_0005_0013__Labs(R_0005_0012__BELL_R_0005_0013__LABS)
      & r_0005_0018__first(R_0005_0018__FIRST)
      & r_0005_0028__new(R_0005_0028__NEW)
      & r_0005_0031__the_r_0005_0032__MIT_r_0005_0033__CTSS_r_0005_0034__system(R_0005_0031__THE_R_0005_0032__MIT_R_0005_0033__CTSS_R_0005_0034__SYSTEM)
      & z_000_5_a_history_of_qed_67(Z_000_5_A_HISTORY_OF_QED_67)
      & z_000_5_a_history_of_qed_72(Z_000_5_A_HISTORY_OF_QED_72)
      & r_0005_0021__did(R_0005_0021__DID)
      & has_r_0005_0022__on_nim67(R_0005_0021__DID,R_0005_0023__ARRIVING)
      & r_0005_0023__arriving(R_0005_0023__ARRIVING)
      & has_arg0(R_0005_0023__ARRIVING,Z_000_5_A_HISTORY_OF_QED_67)
      & has_arg1(R_0005_0021__DID,R_0005_0017__THE_R_0005_0019__THINGS)
      & r_0005_0017__the_r_0005_0019__things(R_0005_0017__THE_R_0005_0019__THINGS)
      & has_attrib51(R_0005_0017__THE_R_0005_0019__THINGS,R_0005_0018__FIRST)
      & has_arg0(R_0005_0021__DID,R_0005_0001__KEN_R_0005_0002__THOMPSON)
      & r_0005_0015__and(R_0005_0015__AND)
      & has_conj2(R_0005_0015__AND,R_0005_0024__WAS)
      & r_0005_0024__was(R_0005_0024__WAS)
      & has_arg0(R_0005_0024__WAS,R_0005_0025__TO_R_0005_0026__WRITE)
      & r_0005_0025__to_r_0005_0026__write(R_0005_0025__TO_R_0005_0026__WRITE)
      & has_arg0(R_0005_0025__TO_R_0005_0026__WRITE,Z_000_5_A_HISTORY_OF_QED_72)
      & has_r_0005_0030__for_nim88(R_0005_0025__TO_R_0005_0026__WRITE,R_0005_0031__THE_R_0005_0032__MIT_R_0005_0033__CTSS_R_0005_0034__SYSTEM)
      & has_arg1(R_0005_0025__TO_R_0005_0026__WRITE,R_0005_0027__A_R_0005_0029__VERSION)
      & r_0005_0027__a_r_0005_0029__version(R_0005_0027__A_R_0005_0029__VERSION)
      & has_attrib80(R_0005_0027__A_R_0005_0029__VERSION,R_0005_0028__NEW)
      & has_r_0005_0016__among_clr48(R_0005_0024__WAS,R_0005_0017__THE_R_0005_0019__THINGS)
      & has_conj1(R_0005_0015__AND,R_0005_0008__BEFORE)
      & r_0005_0008__before(R_0005_0008__BEFORE)
      & has_conj1(R_0005_0008__BEFORE,R_0005_0010__CAME)
      & r_0005_0010__came(R_0005_0010__CAME)
      & has_r_0005_0011__to_nim34(R_0005_0010__CAME,R_0005_0012__BELL_R_0005_0013__LABS)
      & has_arg0(R_0005_0010__CAME,R_0005_0001__KEN_R_0005_0002__THOMPSON)
      & has_conj2(R_0005_0008__BEFORE,R_0005_0003__USED)
      & r_0005_0003__used(R_0005_0003__USED)
      & has_r_0005_0006__at_nim19(R_0005_0003__USED,R_0005_0007__BERKELEY)
      & has_arg1(R_0005_0003__USED,R_0005_0004__THIS_R_0005_0005__QED)
      & has_arg0(R_0005_0003__USED,R_0005_0001__KEN_R_0005_0002__THOMPSON) ) ).


n5_a_history_of_qed n5_a_history_of_qed__1_1_1_1_1_1 Ken n5_a_history_of_qed__1_1_1_1_2_1 Thompson n5_a_history_of_qed__1_1_1_2_1 used n5_a_history_of_qed__1_1_1_3_1_1 this n5_a_history_of_qed__1_1_1_3_2_1 QED n5_a_history_of_qed__1_1_1_4_1_1 at n5_a_history_of_qed__1_1_1_4_2_1_1 Berkeley n5_a_history_of_qed__1_1_1_5_1_1 before n5_a_history_of_qed__1_1_1_5_2_1_1_1 he n5_a_history_of_qed__1_1_1_5_2_2_1 came n5_a_history_of_qed__1_1_1_5_2_3_1_1 to n5_a_history_of_qed__1_1_1_5_2_3_2_1_1 Bell n5_a_history_of_qed__1_1_1_5_2_3_2_2_1 Labs n5_a_history_of_qed__1_1_2_1 , n5_a_history_of_qed__1_1_3_1_1 and n5_a_history_of_qed__1_1_3_2_1_1_1 among n5_a_history_of_qed__1_1_3_2_1_2_1_1 the n5_a_history_of_qed__1_1_3_2_1_2_2_1_1 first n5_a_history_of_qed__1_1_3_2_1_2_3_1 things n5_a_history_of_qed__1_1_3_2_1_2_4_1_1 *T* n5_a_history_of_qed__1_1_3_2_1_2_4_2_1_1 he n5_a_history_of_qed__1_1_3_2_1_2_4_3_1 did n5_a_history_of_qed__1_1_3_2_1_2_4_4_1_1 on n5_a_history_of_qed__1_1_3_2_1_2_4_4_2_1_1 arriving n5_a_history_of_qed__1_1_3_2_2_1 was n5_a_history_of_qed__1_1_3_2_3_1_1 to n5_a_history_of_qed__1_1_3_2_3_2_1 write n5_a_history_of_qed__1_1_3_2_3_3_1_1 a n5_a_history_of_qed__1_1_3_2_3_3_2_1_1 new n5_a_history_of_qed__1_1_3_2_3_3_3_1 version n5_a_history_of_qed__1_1_3_2_3_4_1_1 for n5_a_history_of_qed__1_1_3_2_3_4_2_1_1 the n5_a_history_of_qed__1_1_3_2_3_4_2_2_1 MIT n5_a_history_of_qed__1_1_3_2_3_4_2_3_1 CTSS n5_a_history_of_qed__1_1_3_2_3_4_2_4_1 system n5_a_history_of_qed__1_2_1 . n5_a_history_of_qed__1 IP-MAT n5_a_history_of_qed__1_1 ILYR n5_a_history_of_qed__1->n5_a_history_of_qed__1_1 n5_a_history_of_qed__1_2 PUNC n5_a_history_of_qed__1->n5_a_history_of_qed__1_2 n5_a_history_of_qed__1_1_1 ILYR n5_a_history_of_qed__1_1->n5_a_history_of_qed__1_1_1 n5_a_history_of_qed__1_1_2 PUNC n5_a_history_of_qed__1_1->n5_a_history_of_qed__1_1_2 n5_a_history_of_qed__1_1_3 CONJP n5_a_history_of_qed__1_1->n5_a_history_of_qed__1_1_3 n5_a_history_of_qed__1_1_1_1 NP-SBJ n5_a_history_of_qed__1_1_1->n5_a_history_of_qed__1_1_1_1 n5_a_history_of_qed__1_1_1_2 VBD;__ n5_a_history_of_qed__1_1_1->n5_a_history_of_qed__1_1_1_2 n5_a_history_of_qed__1_1_1_3 NP-OB1 n5_a_history_of_qed__1_1_1->n5_a_history_of_qed__1_1_1_3 n5_a_history_of_qed__1_1_1_4 PP-NIM n5_a_history_of_qed__1_1_1->n5_a_history_of_qed__1_1_1_4 n5_a_history_of_qed__1_1_1_5 PP-SCON n5_a_history_of_qed__1_1_1->n5_a_history_of_qed__1_1_1_5 n5_a_history_of_qed__1_1_1_1_1 NPR n5_a_history_of_qed__1_1_1_1->n5_a_history_of_qed__1_1_1_1_1 n5_a_history_of_qed__1_1_1_1_2 NPR n5_a_history_of_qed__1_1_1_1->n5_a_history_of_qed__1_1_1_1_2 n5_a_history_of_qed__1_1_1_1_1->n5_a_history_of_qed__1_1_1_1_1_1 n5_a_history_of_qed__1_1_1_1_2->n5_a_history_of_qed__1_1_1_1_2_1 n5_a_history_of_qed__1_1_1_2->n5_a_history_of_qed__1_1_1_2_1 n5_a_history_of_qed__1_1_1_3_1 D n5_a_history_of_qed__1_1_1_3->n5_a_history_of_qed__1_1_1_3_1 n5_a_history_of_qed__1_1_1_3_2 NPR n5_a_history_of_qed__1_1_1_3->n5_a_history_of_qed__1_1_1_3_2 n5_a_history_of_qed__1_1_1_3_1->n5_a_history_of_qed__1_1_1_3_1_1 n5_a_history_of_qed__1_1_1_3_2->n5_a_history_of_qed__1_1_1_3_2_1 n5_a_history_of_qed__1_1_1_4_1 P-ROLE n5_a_history_of_qed__1_1_1_4->n5_a_history_of_qed__1_1_1_4_1 n5_a_history_of_qed__1_1_1_4_2 NP n5_a_history_of_qed__1_1_1_4->n5_a_history_of_qed__1_1_1_4_2 n5_a_history_of_qed__1_1_1_4_1->n5_a_history_of_qed__1_1_1_4_1_1 n5_a_history_of_qed__1_1_1_4_2_1 NPR n5_a_history_of_qed__1_1_1_4_2->n5_a_history_of_qed__1_1_1_4_2_1 n5_a_history_of_qed__1_1_1_4_2_1->n5_a_history_of_qed__1_1_1_4_2_1_1 n5_a_history_of_qed__1_1_1_5_1 P-CONN n5_a_history_of_qed__1_1_1_5->n5_a_history_of_qed__1_1_1_5_1 n5_a_history_of_qed__1_1_1_5_2 IP-ADV n5_a_history_of_qed__1_1_1_5->n5_a_history_of_qed__1_1_1_5_2 n5_a_history_of_qed__1_1_1_5_1->n5_a_history_of_qed__1_1_1_5_1_1 n5_a_history_of_qed__1_1_1_5_2_1 NP-SBJ n5_a_history_of_qed__1_1_1_5_2->n5_a_history_of_qed__1_1_1_5_2_1 n5_a_history_of_qed__1_1_1_5_2_2 VBD;__ n5_a_history_of_qed__1_1_1_5_2->n5_a_history_of_qed__1_1_1_5_2_2 n5_a_history_of_qed__1_1_1_5_2_3 PP-NIM n5_a_history_of_qed__1_1_1_5_2->n5_a_history_of_qed__1_1_1_5_2_3 n5_a_history_of_qed__1_1_1_5_2_1_1 PRO n5_a_history_of_qed__1_1_1_5_2_1->n5_a_history_of_qed__1_1_1_5_2_1_1 n5_a_history_of_qed__1_1_1_5_2_1_1->n5_a_history_of_qed__1_1_1_5_2_1_1_1 n5_a_history_of_qed__1_1_1_5_2_2->n5_a_history_of_qed__1_1_1_5_2_2_1 n5_a_history_of_qed__1_1_1_5_2_3_1 P-ROLE n5_a_history_of_qed__1_1_1_5_2_3->n5_a_history_of_qed__1_1_1_5_2_3_1 n5_a_history_of_qed__1_1_1_5_2_3_2 NP n5_a_history_of_qed__1_1_1_5_2_3->n5_a_history_of_qed__1_1_1_5_2_3_2 n5_a_history_of_qed__1_1_1_5_2_3_1->n5_a_history_of_qed__1_1_1_5_2_3_1_1 n5_a_history_of_qed__1_1_1_5_2_3_2_1 NPR n5_a_history_of_qed__1_1_1_5_2_3_2->n5_a_history_of_qed__1_1_1_5_2_3_2_1 n5_a_history_of_qed__1_1_1_5_2_3_2_2 NPR n5_a_history_of_qed__1_1_1_5_2_3_2->n5_a_history_of_qed__1_1_1_5_2_3_2_2 n5_a_history_of_qed__1_1_1_5_2_3_2_1->n5_a_history_of_qed__1_1_1_5_2_3_2_1_1 n5_a_history_of_qed__1_1_1_5_2_3_2_2->n5_a_history_of_qed__1_1_1_5_2_3_2_2_1 n5_a_history_of_qed__1_1_2->n5_a_history_of_qed__1_1_2_1 n5_a_history_of_qed__1_1_3_1 CONJ n5_a_history_of_qed__1_1_3->n5_a_history_of_qed__1_1_3_1 n5_a_history_of_qed__1_1_3_2 ILYR n5_a_history_of_qed__1_1_3->n5_a_history_of_qed__1_1_3_2 n5_a_history_of_qed__1_1_3_1->n5_a_history_of_qed__1_1_3_1_1 n5_a_history_of_qed__1_1_3_2_1 PP-TPC-CLR n5_a_history_of_qed__1_1_3_2->n5_a_history_of_qed__1_1_3_2_1 n5_a_history_of_qed__1_1_3_2_2 BED;_Ipr_ n5_a_history_of_qed__1_1_3_2->n5_a_history_of_qed__1_1_3_2_2 n5_a_history_of_qed__1_1_3_2_3 IP-INF-SBJ n5_a_history_of_qed__1_1_3_2->n5_a_history_of_qed__1_1_3_2_3 n5_a_history_of_qed__1_1_3_2_1_1 P-ROLE n5_a_history_of_qed__1_1_3_2_1->n5_a_history_of_qed__1_1_3_2_1_1 n5_a_history_of_qed__1_1_3_2_1_2 NP n5_a_history_of_qed__1_1_3_2_1->n5_a_history_of_qed__1_1_3_2_1_2 n5_a_history_of_qed__1_1_3_2_1_1->n5_a_history_of_qed__1_1_3_2_1_1_1 n5_a_history_of_qed__1_1_3_2_1_2_1 D n5_a_history_of_qed__1_1_3_2_1_2->n5_a_history_of_qed__1_1_3_2_1_2_1 n5_a_history_of_qed__1_1_3_2_1_2_2 ADJP n5_a_history_of_qed__1_1_3_2_1_2->n5_a_history_of_qed__1_1_3_2_1_2_2 n5_a_history_of_qed__1_1_3_2_1_2_3 NS n5_a_history_of_qed__1_1_3_2_1_2->n5_a_history_of_qed__1_1_3_2_1_2_3 n5_a_history_of_qed__1_1_3_2_1_2_4 IP-REL n5_a_history_of_qed__1_1_3_2_1_2->n5_a_history_of_qed__1_1_3_2_1_2_4 n5_a_history_of_qed__1_1_3_2_1_2_1->n5_a_history_of_qed__1_1_3_2_1_2_1_1 n5_a_history_of_qed__1_1_3_2_1_2_2_1 ADJ n5_a_history_of_qed__1_1_3_2_1_2_2->n5_a_history_of_qed__1_1_3_2_1_2_2_1 n5_a_history_of_qed__1_1_3_2_1_2_2_1->n5_a_history_of_qed__1_1_3_2_1_2_2_1_1 n5_a_history_of_qed__1_1_3_2_1_2_3->n5_a_history_of_qed__1_1_3_2_1_2_3_1 n5_a_history_of_qed__1_1_3_2_1_2_4_1 NP-OB1 n5_a_history_of_qed__1_1_3_2_1_2_4->n5_a_history_of_qed__1_1_3_2_1_2_4_1 n5_a_history_of_qed__1_1_3_2_1_2_4_2 NP-SBJ n5_a_history_of_qed__1_1_3_2_1_2_4->n5_a_history_of_qed__1_1_3_2_1_2_4_2 n5_a_history_of_qed__1_1_3_2_1_2_4_3 DOD;_Tn_ n5_a_history_of_qed__1_1_3_2_1_2_4->n5_a_history_of_qed__1_1_3_2_1_2_4_3 n5_a_history_of_qed__1_1_3_2_1_2_4_4 PP-NIM n5_a_history_of_qed__1_1_3_2_1_2_4->n5_a_history_of_qed__1_1_3_2_1_2_4_4 n5_a_history_of_qed__1_1_3_2_1_2_4_1->n5_a_history_of_qed__1_1_3_2_1_2_4_1_1 n5_a_history_of_qed__1_1_3_2_1_2_4_2_1 PRO n5_a_history_of_qed__1_1_3_2_1_2_4_2->n5_a_history_of_qed__1_1_3_2_1_2_4_2_1 n5_a_history_of_qed__1_1_3_2_1_2_4_2_1->n5_a_history_of_qed__1_1_3_2_1_2_4_2_1_1 n5_a_history_of_qed__1_1_3_2_1_2_4_3->n5_a_history_of_qed__1_1_3_2_1_2_4_3_1 n5_a_history_of_qed__1_1_3_2_1_2_4_4_1 P-ROLE n5_a_history_of_qed__1_1_3_2_1_2_4_4->n5_a_history_of_qed__1_1_3_2_1_2_4_4_1 n5_a_history_of_qed__1_1_3_2_1_2_4_4_2 IP-PPL2 n5_a_history_of_qed__1_1_3_2_1_2_4_4->n5_a_history_of_qed__1_1_3_2_1_2_4_4_2 n5_a_history_of_qed__1_1_3_2_1_2_4_4_1->n5_a_history_of_qed__1_1_3_2_1_2_4_4_1_1 n5_a_history_of_qed__1_1_3_2_1_2_4_4_2_1 VAG;__ n5_a_history_of_qed__1_1_3_2_1_2_4_4_2->n5_a_history_of_qed__1_1_3_2_1_2_4_4_2_1 n5_a_history_of_qed__1_1_3_2_1_2_4_4_2_1->n5_a_history_of_qed__1_1_3_2_1_2_4_4_2_1_1 n5_a_history_of_qed__1_1_3_2_2->n5_a_history_of_qed__1_1_3_2_2_1 n5_a_history_of_qed__1_1_3_2_3_1 TO n5_a_history_of_qed__1_1_3_2_3->n5_a_history_of_qed__1_1_3_2_3_1 n5_a_history_of_qed__1_1_3_2_3_2 VB;__ n5_a_history_of_qed__1_1_3_2_3->n5_a_history_of_qed__1_1_3_2_3_2 n5_a_history_of_qed__1_1_3_2_3_3 NP-OB1 n5_a_history_of_qed__1_1_3_2_3->n5_a_history_of_qed__1_1_3_2_3_3 n5_a_history_of_qed__1_1_3_2_3_4 PP-NIM n5_a_history_of_qed__1_1_3_2_3->n5_a_history_of_qed__1_1_3_2_3_4 n5_a_history_of_qed__1_1_3_2_3_1->n5_a_history_of_qed__1_1_3_2_3_1_1 n5_a_history_of_qed__1_1_3_2_3_2->n5_a_history_of_qed__1_1_3_2_3_2_1 n5_a_history_of_qed__1_1_3_2_3_3_1 D n5_a_history_of_qed__1_1_3_2_3_3->n5_a_history_of_qed__1_1_3_2_3_3_1 n5_a_history_of_qed__1_1_3_2_3_3_2 ADJP n5_a_history_of_qed__1_1_3_2_3_3->n5_a_history_of_qed__1_1_3_2_3_3_2 n5_a_history_of_qed__1_1_3_2_3_3_3 N n5_a_history_of_qed__1_1_3_2_3_3->n5_a_history_of_qed__1_1_3_2_3_3_3 n5_a_history_of_qed__1_1_3_2_3_3_1->n5_a_history_of_qed__1_1_3_2_3_3_1_1 n5_a_history_of_qed__1_1_3_2_3_3_2_1 ADJ n5_a_history_of_qed__1_1_3_2_3_3_2->n5_a_history_of_qed__1_1_3_2_3_3_2_1 n5_a_history_of_qed__1_1_3_2_3_3_2_1->n5_a_history_of_qed__1_1_3_2_3_3_2_1_1 n5_a_history_of_qed__1_1_3_2_3_3_3->n5_a_history_of_qed__1_1_3_2_3_3_3_1 n5_a_history_of_qed__1_1_3_2_3_4_1 P-ROLE n5_a_history_of_qed__1_1_3_2_3_4->n5_a_history_of_qed__1_1_3_2_3_4_1 n5_a_history_of_qed__1_1_3_2_3_4_2 NP n5_a_history_of_qed__1_1_3_2_3_4->n5_a_history_of_qed__1_1_3_2_3_4_2 n5_a_history_of_qed__1_1_3_2_3_4_1->n5_a_history_of_qed__1_1_3_2_3_4_1_1 n5_a_history_of_qed__1_1_3_2_3_4_2_1 D n5_a_history_of_qed__1_1_3_2_3_4_2->n5_a_history_of_qed__1_1_3_2_3_4_2_1 n5_a_history_of_qed__1_1_3_2_3_4_2_2 NPR n5_a_history_of_qed__1_1_3_2_3_4_2->n5_a_history_of_qed__1_1_3_2_3_4_2_2 n5_a_history_of_qed__1_1_3_2_3_4_2_3 NPR n5_a_history_of_qed__1_1_3_2_3_4_2->n5_a_history_of_qed__1_1_3_2_3_4_2_3 n5_a_history_of_qed__1_1_3_2_3_4_2_4 N n5_a_history_of_qed__1_1_3_2_3_4_2->n5_a_history_of_qed__1_1_3_2_3_4_2_4 n5_a_history_of_qed__1_1_3_2_3_4_2_1->n5_a_history_of_qed__1_1_3_2_3_4_2_1_1 n5_a_history_of_qed__1_1_3_2_3_4_2_2->n5_a_history_of_qed__1_1_3_2_3_4_2_2_1 n5_a_history_of_qed__1_1_3_2_3_4_2_3->n5_a_history_of_qed__1_1_3_2_3_4_2_3_1 n5_a_history_of_qed__1_1_3_2_3_4_2_4->n5_a_history_of_qed__1_1_3_2_3_4_2_4_1 n5_a_history_of_qed__1_2->n5_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{KEN} (NPR Ken;{Ken})
                                    (NPR Thompson;{Thompson}))
                      (VBD;__ used;{use})
                      (NP-OB1;{BERKELEY_QED} (D this;{this})
                                             (NPR QED;{QED}))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (NPR Berkeley;{Berkeley})))
                      (PP-SCON (P-CONN before;{before})
                               (IP-ADV (NP-SBJ;{KEN} (PRO he;{he}))
                                       (VBD;__ came;{come})
                                       (PP-NIM (P-ROLE to;{to})
                                               (NP (NPR Bell;{Bell})
                                                   (NPR Labs;{Labs}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-TPC-CLR (P-ROLE among;{among})
                                         (NP (D the;{the})
                                             (ADJP (ADJ first;{first}))
                                             (NS things;{thing})
                                             (IP-REL (NP-OB1 *T*)
                                                     (NP-SBJ;{KEN} (PRO he;{he}))
                                                     (DOD;_Tn_ did;{do})
                                                     (PP-NIM (P-ROLE on;{on})
                                                             (IP-PPL2 (VAG;__ arriving;{arrive}))))))
                             (BED;_Ipr_ was;{be[among]})
                             (IP-INF-SBJ (TO to;{to})
                                         (VB;__ write;{write})
                                         (NP-OB1;{CTSS_QED} (D a;{a})
                                                            (ADJP (ADJ new;{new}))
                                                            (N version;{version}))
                                         (PP-NIM (P-ROLE for;{for})
                                                 (NP (D the;{the})
                                                     (NPR MIT;{MIT})
                                                     (NPR CTSS;{CTSS})
                                                     (N system;{system})))))))
          (PUNC .))
  (ID 5_a_history_of_qed))