Context                Previous, Next                Top


15_a_history_of_qed
CTSS was used at Bell Labs as part of our participation in the Multics project, and as Ken began to use Multics, he wrote yet another version of QED for that system.

n15_a_history_of_qed n15_a_history_of_qed__1_1_1_1_1_1 CTSS n15_a_history_of_qed__1_1_1_2_1 was n15_a_history_of_qed__1_1_1_3_1_1 * n15_a_history_of_qed__1_1_1_3_2_1 used n15_a_history_of_qed__1_1_1_3_3_1_1 at n15_a_history_of_qed__1_1_1_3_3_2_1_1 Bell n15_a_history_of_qed__1_1_1_3_3_2_2_1 Labs n15_a_history_of_qed__1_1_1_3_4_1_1 as n15_a_history_of_qed__1_1_1_3_4_2_1_1 part n15_a_history_of_qed__1_1_1_3_4_2_2_1_1 of n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1_1 our n15_a_history_of_qed__1_1_1_3_4_2_2_2_2_1 participation n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1_1 in n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1_1 the n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2_1 Multics n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3_1 project n15_a_history_of_qed__1_1_2_1 , n15_a_history_of_qed__1_1_3_1_1 and n15_a_history_of_qed__1_1_3_2_1_1_1 as n15_a_history_of_qed__1_1_3_2_1_2_1_1_1 Ken n15_a_history_of_qed__1_1_3_2_1_2_2_1 began n15_a_history_of_qed__1_1_3_2_1_2_3_1_1 to n15_a_history_of_qed__1_1_3_2_1_2_3_2_1 use n15_a_history_of_qed__1_1_3_2_1_2_3_3_1_1 Multics n15_a_history_of_qed__1_1_3_2_2_1 , n15_a_history_of_qed__1_1_3_2_3_1_1 he n15_a_history_of_qed__1_1_3_2_4_1 wrote n15_a_history_of_qed__1_1_3_2_5_1_1_1 yet n15_a_history_of_qed__1_1_3_2_5_2_1 another n15_a_history_of_qed__1_1_3_2_5_3_1 version n15_a_history_of_qed__1_1_3_2_5_4_1_1 of n15_a_history_of_qed__1_1_3_2_5_4_2_1_1 QED n15_a_history_of_qed__1_1_3_2_5_5_1_1 for n15_a_history_of_qed__1_1_3_2_5_5_2_1_1 that n15_a_history_of_qed__1_1_3_2_5_5_2_2_1 system n15_a_history_of_qed__1_2_1 . n15_a_history_of_qed__1 IP-MAT n15_a_history_of_qed__1_1 ILYR n15_a_history_of_qed__1->n15_a_history_of_qed__1_1 n15_a_history_of_qed__1_2 PUNC n15_a_history_of_qed__1->n15_a_history_of_qed__1_2 n15_a_history_of_qed__1_1_1 ILYR n15_a_history_of_qed__1_1->n15_a_history_of_qed__1_1_1 n15_a_history_of_qed__1_1_2 PUNC n15_a_history_of_qed__1_1->n15_a_history_of_qed__1_1_2 n15_a_history_of_qed__1_1_3 CONJP n15_a_history_of_qed__1_1->n15_a_history_of_qed__1_1_3 n15_a_history_of_qed__1_1_1_1 NP-SBJ n15_a_history_of_qed__1_1_1->n15_a_history_of_qed__1_1_1_1 n15_a_history_of_qed__1_1_1_2 BED;_cat_VePASS_ n15_a_history_of_qed__1_1_1->n15_a_history_of_qed__1_1_1_2 n15_a_history_of_qed__1_1_1_3 IP-PPL-CAT n15_a_history_of_qed__1_1_1->n15_a_history_of_qed__1_1_1_3 n15_a_history_of_qed__1_1_1_1_1 NPR n15_a_history_of_qed__1_1_1_1->n15_a_history_of_qed__1_1_1_1_1 n15_a_history_of_qed__1_1_1_1_1->n15_a_history_of_qed__1_1_1_1_1_1 n15_a_history_of_qed__1_1_1_2->n15_a_history_of_qed__1_1_1_2_1 n15_a_history_of_qed__1_1_1_3_1 NP-LGS n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_1 n15_a_history_of_qed__1_1_1_3_2 VVN;_Cn.n/a_ n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_2 n15_a_history_of_qed__1_1_1_3_3 PP-NIM n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_3 n15_a_history_of_qed__1_1_1_3_4 PP-PRD n15_a_history_of_qed__1_1_1_3->n15_a_history_of_qed__1_1_1_3_4 n15_a_history_of_qed__1_1_1_3_1->n15_a_history_of_qed__1_1_1_3_1_1 n15_a_history_of_qed__1_1_1_3_2->n15_a_history_of_qed__1_1_1_3_2_1 n15_a_history_of_qed__1_1_1_3_3_1 P-ROLE n15_a_history_of_qed__1_1_1_3_3->n15_a_history_of_qed__1_1_1_3_3_1 n15_a_history_of_qed__1_1_1_3_3_2 NP n15_a_history_of_qed__1_1_1_3_3->n15_a_history_of_qed__1_1_1_3_3_2 n15_a_history_of_qed__1_1_1_3_3_1->n15_a_history_of_qed__1_1_1_3_3_1_1 n15_a_history_of_qed__1_1_1_3_3_2_1 NPR n15_a_history_of_qed__1_1_1_3_3_2->n15_a_history_of_qed__1_1_1_3_3_2_1 n15_a_history_of_qed__1_1_1_3_3_2_2 NPRS n15_a_history_of_qed__1_1_1_3_3_2->n15_a_history_of_qed__1_1_1_3_3_2_2 n15_a_history_of_qed__1_1_1_3_3_2_1->n15_a_history_of_qed__1_1_1_3_3_2_1_1 n15_a_history_of_qed__1_1_1_3_3_2_2->n15_a_history_of_qed__1_1_1_3_3_2_2_1 n15_a_history_of_qed__1_1_1_3_4_1 P-ROLE n15_a_history_of_qed__1_1_1_3_4->n15_a_history_of_qed__1_1_1_3_4_1 n15_a_history_of_qed__1_1_1_3_4_2 NP n15_a_history_of_qed__1_1_1_3_4->n15_a_history_of_qed__1_1_1_3_4_2 n15_a_history_of_qed__1_1_1_3_4_1->n15_a_history_of_qed__1_1_1_3_4_1_1 n15_a_history_of_qed__1_1_1_3_4_2_1 N n15_a_history_of_qed__1_1_1_3_4_2->n15_a_history_of_qed__1_1_1_3_4_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2 PP n15_a_history_of_qed__1_1_1_3_4_2->n15_a_history_of_qed__1_1_1_3_4_2_2 n15_a_history_of_qed__1_1_1_3_4_2_1->n15_a_history_of_qed__1_1_1_3_4_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_1 P-ROLE n15_a_history_of_qed__1_1_1_3_4_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2 NP n15_a_history_of_qed__1_1_1_3_4_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2 n15_a_history_of_qed__1_1_1_3_4_2_2_1->n15_a_history_of_qed__1_1_1_3_4_2_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_1 NP-GEN n15_a_history_of_qed__1_1_1_3_4_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_2 N n15_a_history_of_qed__1_1_1_3_4_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_2 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3 PP n15_a_history_of_qed__1_1_1_3_4_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3 n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1 PRO;_genm_ n15_a_history_of_qed__1_1_1_3_4_2_2_2_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_1_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1 P-ROLE n15_a_history_of_qed__1_1_1_3_4_2_2_2_3->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2 NP n15_a_history_of_qed__1_1_1_3_4_2_2_2_3->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1 D n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2 NPR n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3 N n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_1_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_2_1 n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3->n15_a_history_of_qed__1_1_1_3_4_2_2_2_3_2_3_1 n15_a_history_of_qed__1_1_2->n15_a_history_of_qed__1_1_2_1 n15_a_history_of_qed__1_1_3_1 CONJ n15_a_history_of_qed__1_1_3->n15_a_history_of_qed__1_1_3_1 n15_a_history_of_qed__1_1_3_2 ILYR n15_a_history_of_qed__1_1_3->n15_a_history_of_qed__1_1_3_2 n15_a_history_of_qed__1_1_3_1->n15_a_history_of_qed__1_1_3_1_1 n15_a_history_of_qed__1_1_3_2_1 PP-SCON n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_1 n15_a_history_of_qed__1_1_3_2_2 PUNC n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_2 n15_a_history_of_qed__1_1_3_2_3 NP-SBJ n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_3 n15_a_history_of_qed__1_1_3_2_4 VBD;__ n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_4 n15_a_history_of_qed__1_1_3_2_5 NP-OB1 n15_a_history_of_qed__1_1_3_2->n15_a_history_of_qed__1_1_3_2_5 n15_a_history_of_qed__1_1_3_2_1_1 P-CONN n15_a_history_of_qed__1_1_3_2_1->n15_a_history_of_qed__1_1_3_2_1_1 n15_a_history_of_qed__1_1_3_2_1_2 IP-ADV n15_a_history_of_qed__1_1_3_2_1->n15_a_history_of_qed__1_1_3_2_1_2 n15_a_history_of_qed__1_1_3_2_1_1->n15_a_history_of_qed__1_1_3_2_1_1_1 n15_a_history_of_qed__1_1_3_2_1_2_1 NP-SBJ n15_a_history_of_qed__1_1_3_2_1_2->n15_a_history_of_qed__1_1_3_2_1_2_1 n15_a_history_of_qed__1_1_3_2_1_2_2 VBD;__ n15_a_history_of_qed__1_1_3_2_1_2->n15_a_history_of_qed__1_1_3_2_1_2_2 n15_a_history_of_qed__1_1_3_2_1_2_3 IP-INF-OB1 n15_a_history_of_qed__1_1_3_2_1_2->n15_a_history_of_qed__1_1_3_2_1_2_3 n15_a_history_of_qed__1_1_3_2_1_2_1_1 NPR n15_a_history_of_qed__1_1_3_2_1_2_1->n15_a_history_of_qed__1_1_3_2_1_2_1_1 n15_a_history_of_qed__1_1_3_2_1_2_1_1->n15_a_history_of_qed__1_1_3_2_1_2_1_1_1 n15_a_history_of_qed__1_1_3_2_1_2_2->n15_a_history_of_qed__1_1_3_2_1_2_2_1 n15_a_history_of_qed__1_1_3_2_1_2_3_1 TO n15_a_history_of_qed__1_1_3_2_1_2_3->n15_a_history_of_qed__1_1_3_2_1_2_3_1 n15_a_history_of_qed__1_1_3_2_1_2_3_2 VB;__ n15_a_history_of_qed__1_1_3_2_1_2_3->n15_a_history_of_qed__1_1_3_2_1_2_3_2 n15_a_history_of_qed__1_1_3_2_1_2_3_3 NP-OB1 n15_a_history_of_qed__1_1_3_2_1_2_3->n15_a_history_of_qed__1_1_3_2_1_2_3_3 n15_a_history_of_qed__1_1_3_2_1_2_3_1->n15_a_history_of_qed__1_1_3_2_1_2_3_1_1 n15_a_history_of_qed__1_1_3_2_1_2_3_2->n15_a_history_of_qed__1_1_3_2_1_2_3_2_1 n15_a_history_of_qed__1_1_3_2_1_2_3_3_1 NPR n15_a_history_of_qed__1_1_3_2_1_2_3_3->n15_a_history_of_qed__1_1_3_2_1_2_3_3_1 n15_a_history_of_qed__1_1_3_2_1_2_3_3_1->n15_a_history_of_qed__1_1_3_2_1_2_3_3_1_1 n15_a_history_of_qed__1_1_3_2_2->n15_a_history_of_qed__1_1_3_2_2_1 n15_a_history_of_qed__1_1_3_2_3_1 PRO n15_a_history_of_qed__1_1_3_2_3->n15_a_history_of_qed__1_1_3_2_3_1 n15_a_history_of_qed__1_1_3_2_3_1->n15_a_history_of_qed__1_1_3_2_3_1_1 n15_a_history_of_qed__1_1_3_2_4->n15_a_history_of_qed__1_1_3_2_4_1 n15_a_history_of_qed__1_1_3_2_5_1 ADVP n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_1 n15_a_history_of_qed__1_1_3_2_5_2 D n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_2 n15_a_history_of_qed__1_1_3_2_5_3 N n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_3 n15_a_history_of_qed__1_1_3_2_5_4 PP n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_4 n15_a_history_of_qed__1_1_3_2_5_5 PP n15_a_history_of_qed__1_1_3_2_5->n15_a_history_of_qed__1_1_3_2_5_5 n15_a_history_of_qed__1_1_3_2_5_1_1 ADV n15_a_history_of_qed__1_1_3_2_5_1->n15_a_history_of_qed__1_1_3_2_5_1_1 n15_a_history_of_qed__1_1_3_2_5_1_1->n15_a_history_of_qed__1_1_3_2_5_1_1_1 n15_a_history_of_qed__1_1_3_2_5_2->n15_a_history_of_qed__1_1_3_2_5_2_1 n15_a_history_of_qed__1_1_3_2_5_3->n15_a_history_of_qed__1_1_3_2_5_3_1 n15_a_history_of_qed__1_1_3_2_5_4_1 P-ROLE n15_a_history_of_qed__1_1_3_2_5_4->n15_a_history_of_qed__1_1_3_2_5_4_1 n15_a_history_of_qed__1_1_3_2_5_4_2 NP n15_a_history_of_qed__1_1_3_2_5_4->n15_a_history_of_qed__1_1_3_2_5_4_2 n15_a_history_of_qed__1_1_3_2_5_4_1->n15_a_history_of_qed__1_1_3_2_5_4_1_1 n15_a_history_of_qed__1_1_3_2_5_4_2_1 NPR n15_a_history_of_qed__1_1_3_2_5_4_2->n15_a_history_of_qed__1_1_3_2_5_4_2_1 n15_a_history_of_qed__1_1_3_2_5_4_2_1->n15_a_history_of_qed__1_1_3_2_5_4_2_1_1 n15_a_history_of_qed__1_1_3_2_5_5_1 P-ROLE n15_a_history_of_qed__1_1_3_2_5_5->n15_a_history_of_qed__1_1_3_2_5_5_1 n15_a_history_of_qed__1_1_3_2_5_5_2 NP n15_a_history_of_qed__1_1_3_2_5_5->n15_a_history_of_qed__1_1_3_2_5_5_2 n15_a_history_of_qed__1_1_3_2_5_5_1->n15_a_history_of_qed__1_1_3_2_5_5_1_1 n15_a_history_of_qed__1_1_3_2_5_5_2_1 D n15_a_history_of_qed__1_1_3_2_5_5_2->n15_a_history_of_qed__1_1_3_2_5_5_2_1 n15_a_history_of_qed__1_1_3_2_5_5_2_2 N n15_a_history_of_qed__1_1_3_2_5_5_2->n15_a_history_of_qed__1_1_3_2_5_5_2_2 n15_a_history_of_qed__1_1_3_2_5_5_2_1->n15_a_history_of_qed__1_1_3_2_5_5_2_1_1 n15_a_history_of_qed__1_1_3_2_5_5_2_2->n15_a_history_of_qed__1_1_3_2_5_5_2_2_1 n15_a_history_of_qed__1_2->n15_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR CTSS;{CTSS}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.n/a_ used;{use[as]})
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP;{BELL_LABS} (NPR Bell;{Bell})
                                                          (NPRS Labs;{Labs})))
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (N part;{part})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NP-GEN;{BELL_LABS} (PRO;_genm_ our;{our}))
                                                      (N participation;{participation})
                                                      (PP (P-ROLE in;{in})
                                                          (NP (D the;{the})
                                                              (NPR Multics;{Multics})
                                                              (N project;{project})))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN as;{as})
                                      (IP-ADV (NP-SBJ;{KEN} (NPR Ken;{Ken}))
                                              (VBD;__ began;{begin})
                                              (IP-INF-OB1 (TO to;{to})
                                                          (VB;__ use;{use})
                                                          (NP-OB1;{MULTICS} (NPR Multics;{Multics})))))
                             (PUNC ,)
                             (NP-SBJ;{KEN} (PRO he;{he}))
                             (VBD;__ wrote;{write})
                             (NP-OB1;{MULTICS_QED} (ADVP (ADV yet;{yet}))
                                                   (D another;{another})
                                                   (N version;{version})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (NPR QED;{QED})))
                                                   (PP (P-ROLE for;{for})
                                                       (NP;{MULTICS} (D that;{that})
                                                                     (N system;{system})))))))
          (PUNC .))
  (ID 15_a_history_of_qed))


%3 r_0015_0028__another_r_0015_0029__version another version r_0015_0031__QED QED r_0015_0028__another_r_0015_0029__version->r_0015_0031__QED of r_0015_0027__yet yet r_0015_0028__another_r_0015_0029__version->r_0015_0027__yet [qual] r_0015_0023__Multics Multics r_0015_0028__another_r_0015_0029__version->r_0015_0023__Multics for r_0015_0026__wrote wrote r_0015_0026__wrote->r_0015_0028__another_r_0015_0029__version [arg1] r_0015_0019__Ken Ken r_0015_0026__wrote->r_0015_0019__Ken [arg0] r_0015_0022__use use r_0015_0022__use->r_0015_0023__Multics [arg1] r_0015_0022__use->r_0015_0019__Ken [arg0] r_0015_0020__began began r_0015_0020__began->r_0015_0019__Ken [arg0] r_0015_0020__began->r_0015_0022__use [arg1] r_0015_0018__as as r_0015_0018__as->r_0015_0026__wrote [scope] r_0015_0018__as->r_0015_0020__began [restriction] r_0015_0017__and and r_0015_0017__and->r_0015_0018__as [conj2] r_0015_0002__was was r_0015_0017__and->r_0015_0002__was [conj1] r_0015_0003__used used r_0015_0002__was->r_0015_0003__used [scope] r_0015_0011__participation participation r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project the Multics project r_0015_0011__participation->r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project in r_0015_0010__our our r_0015_0011__participation->r_0015_0010__our [gen] r_0015_0008__part part r_0015_0008__part->r_0015_0011__participation of r_0015_0003__used->r_0015_0008__part as [prd] z_0015_5006___star_ * r_0015_0003__used->z_0015_5006___star_ [arg0] r_0015_0005__Bell_r_0015_0006__Labs Bell Labs r_0015_0003__used->r_0015_0005__Bell_r_0015_0006__Labs at [nim] r_0015_0001__CTSS CTSS r_0015_0003__used->r_0015_0001__CTSS [arg1] 
arc(r_0015_0002__was,r_0015_0003__used,scope).
arc(r_0015_0003__used,r_0015_0001__CTSS,arg1).
arc(r_0015_0003__used,r_0015_0005__Bell_r_0015_0006__Labs,r_0015_0004__at__nim).
arc(r_0015_0003__used,r_0015_0008__part,r_0015_0007__as__prd).
arc(r_0015_0003__used,z_0015_5006___star_,arg0).
arc(r_0015_0008__part,r_0015_0011__participation,r_0015_0009__of).
arc(r_0015_0011__participation,r_0015_0010__our,gen).
arc(r_0015_0011__participation,r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project,r_0015_0012__in).
arc(r_0015_0017__and,r_0015_0002__was,conj1).
arc(r_0015_0017__and,r_0015_0018__as,conj2).
arc(r_0015_0018__as,r_0015_0020__began,restriction).
arc(r_0015_0018__as,r_0015_0026__wrote,scope).
arc(r_0015_0020__began,r_0015_0019__Ken,arg0).
arc(r_0015_0020__began,r_0015_0022__use,arg1).
arc(r_0015_0022__use,r_0015_0019__Ken,arg0).
arc(r_0015_0022__use,r_0015_0023__Multics,arg1).
arc(r_0015_0026__wrote,r_0015_0019__Ken,arg0).
arc(r_0015_0026__wrote,r_0015_0028__another_r_0015_0029__version,arg1).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0023__Multics,r_0015_0032__for).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0027__yet,qual).
arc(r_0015_0028__another_r_0015_0029__version,r_0015_0031__QED,r_0015_0030__of).


%3 r_0015_0002__was_r_0015_0003__used was used r_0015_0001__CTSS CTSS r_0015_0002__was_r_0015_0003__used->r_0015_0001__CTSS [arg1] r_0015_0005__Bell_r_0015_0006__Labs Bell Labs r_0015_0002__was_r_0015_0003__used->r_0015_0005__Bell_r_0015_0006__Labs at [nim] r_0015_0008__part part r_0015_0002__was_r_0015_0003__used->r_0015_0008__part as [prd] z_0015_5006___star_ * r_0015_0002__was_r_0015_0003__used->z_0015_5006___star_ [arg0] r_0015_0011__participation participation r_0015_0008__part->r_0015_0011__participation of r_0015_0010__our our r_0015_0011__participation->r_0015_0010__our [gen] r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project the Multics project r_0015_0011__participation->r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project in r_0015_0017__and and r_0015_0017__and->r_0015_0002__was_r_0015_0003__used [conj1] r_0015_0018__as as r_0015_0017__and->r_0015_0018__as [conj2] r_0015_0020__began began r_0015_0018__as->r_0015_0020__began [conj1] r_0015_0026__wrote wrote r_0015_0018__as->r_0015_0026__wrote [conj2] r_0015_0019__Ken Ken r_0015_0020__began->r_0015_0019__Ken [arg0] r_0015_0022__use use r_0015_0020__began->r_0015_0022__use [arg1] r_0015_0026__wrote->r_0015_0019__Ken [arg0] r_0015_0028__another_r_0015_0029__version another version r_0015_0026__wrote->r_0015_0028__another_r_0015_0029__version [arg1] r_0015_0022__use->r_0015_0019__Ken [arg0] r_0015_0023__Multics Multics r_0015_0022__use->r_0015_0023__Multics [arg1] r_0015_0028__another_r_0015_0029__version->r_0015_0023__Multics for r_0015_0027__yet yet r_0015_0028__another_r_0015_0029__version->r_0015_0027__yet [qual] r_0015_0031__QED QED r_0015_0028__another_r_0015_0029__version->r_0015_0031__QED of 
fof(formula,axiom,
    ? [R_0015_0001__CTSS,R_0015_0005__BELL_R_0015_0006__LABS,R_0015_0010__OUR,R_0015_0013__THE_R_0015_0014__MULTICS_R_0015_0015__PROJECT,R_0015_0011__PARTICIPATION,R_0015_0008__PART,Z_0015_5006___STAR_,R_0015_0002__WAS_R_0015_0003__USED,R_0015_0019__KEN,R_0015_0023__MULTICS,R_0015_0022__USE,R_0015_0020__BEGAN,R_0015_0027__YET,R_0015_0031__QED,R_0015_0028__ANOTHER_R_0015_0029__VERSION,R_0015_0026__WROTE,R_0015_0018__AS,R_0015_0017__AND] :
      ( r_0015_0001__CTSS(R_0015_0001__CTSS)
      & r_0015_0005__Bell_r_0015_0006__Labs(R_0015_0005__BELL_R_0015_0006__LABS)
      & r_0015_0010__our(R_0015_0010__OUR)
      & r_0015_0013__the_r_0015_0014__Multics_r_0015_0015__project(R_0015_0013__THE_R_0015_0014__MULTICS_R_0015_0015__PROJECT)
      & r_0015_0019__Ken(R_0015_0019__KEN)
      & r_0015_0023__Multics(R_0015_0023__MULTICS)
      & r_0015_0027__yet(R_0015_0027__YET)
      & r_0015_0031__QED(R_0015_0031__QED)
      & z_0015_5006___star_(Z_0015_5006___STAR_)
      & r_0015_0017__and(R_0015_0017__AND)
      & has_conj2(R_0015_0017__AND,R_0015_0018__AS)
      & r_0015_0018__as(R_0015_0018__AS)
      & has_conj2(R_0015_0018__AS,R_0015_0026__WROTE)
      & r_0015_0026__wrote(R_0015_0026__WROTE)
      & has_arg1(R_0015_0026__WROTE,R_0015_0028__ANOTHER_R_0015_0029__VERSION)
      & r_0015_0028__another_r_0015_0029__version(R_0015_0028__ANOTHER_R_0015_0029__VERSION)
      & has_r_0015_0030__of(R_0015_0028__ANOTHER_R_0015_0029__VERSION,R_0015_0031__QED)
      & has_qual(R_0015_0028__ANOTHER_R_0015_0029__VERSION,R_0015_0027__YET)
      & has_r_0015_0032__for(R_0015_0028__ANOTHER_R_0015_0029__VERSION,R_0015_0023__MULTICS)
      & has_arg0(R_0015_0026__WROTE,R_0015_0019__KEN)
      & has_conj1(R_0015_0018__AS,R_0015_0020__BEGAN)
      & r_0015_0020__began(R_0015_0020__BEGAN)
      & has_arg1(R_0015_0020__BEGAN,R_0015_0022__USE)
      & r_0015_0022__use(R_0015_0022__USE)
      & has_arg1(R_0015_0022__USE,R_0015_0023__MULTICS)
      & has_arg0(R_0015_0022__USE,R_0015_0019__KEN)
      & has_arg0(R_0015_0020__BEGAN,R_0015_0019__KEN)
      & has_conj1(R_0015_0017__AND,R_0015_0002__WAS_R_0015_0003__USED)
      & r_0015_0002__was_r_0015_0003__used(R_0015_0002__WAS_R_0015_0003__USED)
      & has_arg0(R_0015_0002__WAS_R_0015_0003__USED,Z_0015_5006___STAR_)
      & has_r_0015_0007__as__prd(R_0015_0002__WAS_R_0015_0003__USED,R_0015_0008__PART)
      & r_0015_0008__part(R_0015_0008__PART)
      & has_r_0015_0009__of(R_0015_0008__PART,R_0015_0011__PARTICIPATION)
      & r_0015_0011__participation(R_0015_0011__PARTICIPATION)
      & has_r_0015_0012__in(R_0015_0011__PARTICIPATION,R_0015_0013__THE_R_0015_0014__MULTICS_R_0015_0015__PROJECT)
      & has_gen(R_0015_0011__PARTICIPATION,R_0015_0010__OUR)
      & has_r_0015_0004__at__nim(R_0015_0002__WAS_R_0015_0003__USED,R_0015_0005__BELL_R_0015_0006__LABS)
      & has_arg1(R_0015_0002__WAS_R_0015_0003__USED,R_0015_0001__CTSS) ) ).