Context                Previous, Next                Top


18_a_history_of_qed
During the same period (ca. 1967), I arrived at Bell Labs, and fairly soon thereafter the company began withdrawing from Multics.

n18_a_history_of_qed n18_a_history_of_qed__1_1_1_1_1_1 During n18_a_history_of_qed__1_1_1_1_2_1_1 the n18_a_history_of_qed__1_1_1_1_2_2_1_1 same n18_a_history_of_qed__1_1_1_1_2_3_1 period n18_a_history_of_qed__1_1_1_1_2_4_1 -LRB- n18_a_history_of_qed__1_1_1_1_2_5_1_1_1 ca. n18_a_history_of_qed__1_1_1_1_2_5_1_2_1 1967 n18_a_history_of_qed__1_1_1_1_2_6_1 -RRB- n18_a_history_of_qed__1_1_1_2_1 , n18_a_history_of_qed__1_1_1_3_1_1 I n18_a_history_of_qed__1_1_1_4_1 arrived n18_a_history_of_qed__1_1_1_5_1_1 at n18_a_history_of_qed__1_1_1_5_2_1_1 Bell n18_a_history_of_qed__1_1_1_5_2_2_1 Labs n18_a_history_of_qed__1_1_2_1 , n18_a_history_of_qed__1_1_3_1_1 and n18_a_history_of_qed__1_1_3_2_1_1_1_1_1 fairly n18_a_history_of_qed__1_1_3_2_1_1_2_1 soon n18_a_history_of_qed__1_1_3_2_1_2_1 thereafter n18_a_history_of_qed__1_1_3_2_2_1_1 the n18_a_history_of_qed__1_1_3_2_2_2_1 company n18_a_history_of_qed__1_1_3_2_3_1 began n18_a_history_of_qed__1_1_3_2_4_1_1 withdrawing n18_a_history_of_qed__1_1_3_2_4_2_1_1 from n18_a_history_of_qed__1_1_3_2_4_2_2_1_1 Multics n18_a_history_of_qed__1_2_1 . n18_a_history_of_qed__1 IP-MAT n18_a_history_of_qed__1_1 ILYR n18_a_history_of_qed__1->n18_a_history_of_qed__1_1 n18_a_history_of_qed__1_2 PUNC n18_a_history_of_qed__1->n18_a_history_of_qed__1_2 n18_a_history_of_qed__1_1_1 ILYR n18_a_history_of_qed__1_1->n18_a_history_of_qed__1_1_1 n18_a_history_of_qed__1_1_2 PUNC n18_a_history_of_qed__1_1->n18_a_history_of_qed__1_1_2 n18_a_history_of_qed__1_1_3 CONJP n18_a_history_of_qed__1_1->n18_a_history_of_qed__1_1_3 n18_a_history_of_qed__1_1_1_1 PP-NIM n18_a_history_of_qed__1_1_1->n18_a_history_of_qed__1_1_1_1 n18_a_history_of_qed__1_1_1_2 PUNC n18_a_history_of_qed__1_1_1->n18_a_history_of_qed__1_1_1_2 n18_a_history_of_qed__1_1_1_3 NP-SBJ n18_a_history_of_qed__1_1_1->n18_a_history_of_qed__1_1_1_3 n18_a_history_of_qed__1_1_1_4 VBD;__ n18_a_history_of_qed__1_1_1->n18_a_history_of_qed__1_1_1_4 n18_a_history_of_qed__1_1_1_5 PP-NIM n18_a_history_of_qed__1_1_1->n18_a_history_of_qed__1_1_1_5 n18_a_history_of_qed__1_1_1_1_1 P-ROLE n18_a_history_of_qed__1_1_1_1->n18_a_history_of_qed__1_1_1_1_1 n18_a_history_of_qed__1_1_1_1_2 NP n18_a_history_of_qed__1_1_1_1->n18_a_history_of_qed__1_1_1_1_2 n18_a_history_of_qed__1_1_1_1_1->n18_a_history_of_qed__1_1_1_1_1_1 n18_a_history_of_qed__1_1_1_1_2_1 D n18_a_history_of_qed__1_1_1_1_2->n18_a_history_of_qed__1_1_1_1_2_1 n18_a_history_of_qed__1_1_1_1_2_2 ADJP n18_a_history_of_qed__1_1_1_1_2->n18_a_history_of_qed__1_1_1_1_2_2 n18_a_history_of_qed__1_1_1_1_2_3 N n18_a_history_of_qed__1_1_1_1_2->n18_a_history_of_qed__1_1_1_1_2_3 n18_a_history_of_qed__1_1_1_1_2_4 PULB n18_a_history_of_qed__1_1_1_1_2->n18_a_history_of_qed__1_1_1_1_2_4 n18_a_history_of_qed__1_1_1_1_2_5 PRN n18_a_history_of_qed__1_1_1_1_2->n18_a_history_of_qed__1_1_1_1_2_5 n18_a_history_of_qed__1_1_1_1_2_6 PURB n18_a_history_of_qed__1_1_1_1_2->n18_a_history_of_qed__1_1_1_1_2_6 n18_a_history_of_qed__1_1_1_1_2_1->n18_a_history_of_qed__1_1_1_1_2_1_1 n18_a_history_of_qed__1_1_1_1_2_2_1 ADJ n18_a_history_of_qed__1_1_1_1_2_2->n18_a_history_of_qed__1_1_1_1_2_2_1 n18_a_history_of_qed__1_1_1_1_2_2_1->n18_a_history_of_qed__1_1_1_1_2_2_1_1 n18_a_history_of_qed__1_1_1_1_2_3->n18_a_history_of_qed__1_1_1_1_2_3_1 n18_a_history_of_qed__1_1_1_1_2_4->n18_a_history_of_qed__1_1_1_1_2_4_1 n18_a_history_of_qed__1_1_1_1_2_5_1 NP n18_a_history_of_qed__1_1_1_1_2_5->n18_a_history_of_qed__1_1_1_1_2_5_1 n18_a_history_of_qed__1_1_1_1_2_5_1_1 N n18_a_history_of_qed__1_1_1_1_2_5_1->n18_a_history_of_qed__1_1_1_1_2_5_1_1 n18_a_history_of_qed__1_1_1_1_2_5_1_2 NPR n18_a_history_of_qed__1_1_1_1_2_5_1->n18_a_history_of_qed__1_1_1_1_2_5_1_2 n18_a_history_of_qed__1_1_1_1_2_5_1_1->n18_a_history_of_qed__1_1_1_1_2_5_1_1_1 n18_a_history_of_qed__1_1_1_1_2_5_1_2->n18_a_history_of_qed__1_1_1_1_2_5_1_2_1 n18_a_history_of_qed__1_1_1_1_2_6->n18_a_history_of_qed__1_1_1_1_2_6_1 n18_a_history_of_qed__1_1_1_2->n18_a_history_of_qed__1_1_1_2_1 n18_a_history_of_qed__1_1_1_3_1 PRO n18_a_history_of_qed__1_1_1_3->n18_a_history_of_qed__1_1_1_3_1 n18_a_history_of_qed__1_1_1_3_1->n18_a_history_of_qed__1_1_1_3_1_1 n18_a_history_of_qed__1_1_1_4->n18_a_history_of_qed__1_1_1_4_1 n18_a_history_of_qed__1_1_1_5_1 P-ROLE n18_a_history_of_qed__1_1_1_5->n18_a_history_of_qed__1_1_1_5_1 n18_a_history_of_qed__1_1_1_5_2 NP n18_a_history_of_qed__1_1_1_5->n18_a_history_of_qed__1_1_1_5_2 n18_a_history_of_qed__1_1_1_5_1->n18_a_history_of_qed__1_1_1_5_1_1 n18_a_history_of_qed__1_1_1_5_2_1 NPR n18_a_history_of_qed__1_1_1_5_2->n18_a_history_of_qed__1_1_1_5_2_1 n18_a_history_of_qed__1_1_1_5_2_2 NPRS n18_a_history_of_qed__1_1_1_5_2->n18_a_history_of_qed__1_1_1_5_2_2 n18_a_history_of_qed__1_1_1_5_2_1->n18_a_history_of_qed__1_1_1_5_2_1_1 n18_a_history_of_qed__1_1_1_5_2_2->n18_a_history_of_qed__1_1_1_5_2_2_1 n18_a_history_of_qed__1_1_2->n18_a_history_of_qed__1_1_2_1 n18_a_history_of_qed__1_1_3_1 CONJ n18_a_history_of_qed__1_1_3->n18_a_history_of_qed__1_1_3_1 n18_a_history_of_qed__1_1_3_2 ILYR n18_a_history_of_qed__1_1_3->n18_a_history_of_qed__1_1_3_2 n18_a_history_of_qed__1_1_3_1->n18_a_history_of_qed__1_1_3_1_1 n18_a_history_of_qed__1_1_3_2_1 ADVP-NIM n18_a_history_of_qed__1_1_3_2->n18_a_history_of_qed__1_1_3_2_1 n18_a_history_of_qed__1_1_3_2_2 NP-SBJ n18_a_history_of_qed__1_1_3_2->n18_a_history_of_qed__1_1_3_2_2 n18_a_history_of_qed__1_1_3_2_3 VBD;__ n18_a_history_of_qed__1_1_3_2->n18_a_history_of_qed__1_1_3_2_3 n18_a_history_of_qed__1_1_3_2_4 IP-PPL-OB1 n18_a_history_of_qed__1_1_3_2->n18_a_history_of_qed__1_1_3_2_4 n18_a_history_of_qed__1_1_3_2_1_1 ADVP n18_a_history_of_qed__1_1_3_2_1->n18_a_history_of_qed__1_1_3_2_1_1 n18_a_history_of_qed__1_1_3_2_1_2 ADV n18_a_history_of_qed__1_1_3_2_1->n18_a_history_of_qed__1_1_3_2_1_2 n18_a_history_of_qed__1_1_3_2_1_1_1 ADVP n18_a_history_of_qed__1_1_3_2_1_1->n18_a_history_of_qed__1_1_3_2_1_1_1 n18_a_history_of_qed__1_1_3_2_1_1_2 ADV n18_a_history_of_qed__1_1_3_2_1_1->n18_a_history_of_qed__1_1_3_2_1_1_2 n18_a_history_of_qed__1_1_3_2_1_1_1_1 ADV n18_a_history_of_qed__1_1_3_2_1_1_1->n18_a_history_of_qed__1_1_3_2_1_1_1_1 n18_a_history_of_qed__1_1_3_2_1_1_1_1->n18_a_history_of_qed__1_1_3_2_1_1_1_1_1 n18_a_history_of_qed__1_1_3_2_1_1_2->n18_a_history_of_qed__1_1_3_2_1_1_2_1 n18_a_history_of_qed__1_1_3_2_1_2->n18_a_history_of_qed__1_1_3_2_1_2_1 n18_a_history_of_qed__1_1_3_2_2_1 D n18_a_history_of_qed__1_1_3_2_2->n18_a_history_of_qed__1_1_3_2_2_1 n18_a_history_of_qed__1_1_3_2_2_2 N n18_a_history_of_qed__1_1_3_2_2->n18_a_history_of_qed__1_1_3_2_2_2 n18_a_history_of_qed__1_1_3_2_2_1->n18_a_history_of_qed__1_1_3_2_2_1_1 n18_a_history_of_qed__1_1_3_2_2_2->n18_a_history_of_qed__1_1_3_2_2_2_1 n18_a_history_of_qed__1_1_3_2_3->n18_a_history_of_qed__1_1_3_2_3_1 n18_a_history_of_qed__1_1_3_2_4_1 VAG;_Ipr_ n18_a_history_of_qed__1_1_3_2_4->n18_a_history_of_qed__1_1_3_2_4_1 n18_a_history_of_qed__1_1_3_2_4_2 PP-CLR n18_a_history_of_qed__1_1_3_2_4->n18_a_history_of_qed__1_1_3_2_4_2 n18_a_history_of_qed__1_1_3_2_4_1->n18_a_history_of_qed__1_1_3_2_4_1_1 n18_a_history_of_qed__1_1_3_2_4_2_1 P-ROLE n18_a_history_of_qed__1_1_3_2_4_2->n18_a_history_of_qed__1_1_3_2_4_2_1 n18_a_history_of_qed__1_1_3_2_4_2_2 NP n18_a_history_of_qed__1_1_3_2_4_2->n18_a_history_of_qed__1_1_3_2_4_2_2 n18_a_history_of_qed__1_1_3_2_4_2_1->n18_a_history_of_qed__1_1_3_2_4_2_1_1 n18_a_history_of_qed__1_1_3_2_4_2_2_1 NPR n18_a_history_of_qed__1_1_3_2_4_2_2->n18_a_history_of_qed__1_1_3_2_4_2_2_1 n18_a_history_of_qed__1_1_3_2_4_2_2_1->n18_a_history_of_qed__1_1_3_2_4_2_2_1_1 n18_a_history_of_qed__1_2->n18_a_history_of_qed__1_2_1 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE During;{during})
                              (NP (D the;{the})
                                  (ADJP (ADJ same;{same}))
                                  (N period;{period})
                                  (PULB -LRB-)
                                  (PRN (NP (N ca<dot>)
                                           (NPR 1967)))
                                  (PURB -RRB-)))
                      (PUNC ,)
                      (NP-SBJ (PRO I;{I}))
                      (VBD;__ arrived;{arrive})
                      (PP-NIM (P-ROLE at;{at})
                              (NP;{BELL_LABS} (NPR Bell;{Bell})
                                              (NPRS Labs;{Labs}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADVP (ADVP (ADV fairly;{fairly}))
                                             (ADV soon;{soon}))
                                       (ADV thereafter;{thereafter}))
                             (NP-SBJ;{BELL_LABS} (D the;{the})
                                                 (N company;{company}))
                             (VBD;__ began;{begin})
                             (IP-PPL-OB1 (VAG;_Ipr_ withdrawing;{withdraw[from]})
                                         (PP-CLR (P-ROLE from;{from})
                                                 (NP (NPR Multics;{Multics})))))))
          (PUNC .))
  (ID 18_a_history_of_qed))


%3 z_0018_5003 r_0018_0006__ca_dot__r_0018_0007__1967 ca. 1967 z_0018_5003->r_0018_0006__ca_dot__r_0018_0007__1967 [prd] r_0018_0002__the_r_0018_0004__period the period z_0018_5003->r_0018_0002__the_r_0018_0004__period [arg0] r_0018_0003__same same r_0018_0002__the_r_0018_0004__period->r_0018_0003__same [attrib] r_0018_0023__withdrawing_r_0018_0024__from withdrawing from r_0018_0025__Multics Multics r_0018_0023__withdrawing_r_0018_0024__from->r_0018_0025__Multics [arg1] r_0018_0013__Bell_r_0018_0014__Labs Bell Labs r_0018_0023__withdrawing_r_0018_0024__from->r_0018_0013__Bell_r_0018_0014__Labs [arg0] r_0018_0022__began began r_0018_0022__began->r_0018_0023__withdrawing_r_0018_0024__from [arg1] r_0018_0022__began->r_0018_0013__Bell_r_0018_0014__Labs [arg0] r_0018_0019__thereafter thereafter r_0018_0022__began->r_0018_0019__thereafter [nim] r_0018_0018__soon soon r_0018_0019__thereafter->r_0018_0018__soon [qual] r_0018_0017__fairly fairly r_0018_0018__soon->r_0018_0017__fairly [qual] r_0018_0016__and and r_0018_0016__and->r_0018_0022__began [conj2] r_0018_0011__arrived arrived r_0018_0016__and->r_0018_0011__arrived [conj1] r_0018_0011__arrived->r_0018_0002__the_r_0018_0004__period During [nim] r_0018_0011__arrived->r_0018_0013__Bell_r_0018_0014__Labs at [nim] r_0018_0010__I I r_0018_0011__arrived->r_0018_0010__I [arg0] 
arc(r_0018_0002__the_r_0018_0004__period,r_0018_0003__same,attrib).
arc(r_0018_0011__arrived,r_0018_0002__the_r_0018_0004__period,r_0018_0001__During__nim).
arc(r_0018_0011__arrived,r_0018_0010__I,arg0).
arc(r_0018_0011__arrived,r_0018_0013__Bell_r_0018_0014__Labs,r_0018_0012__at__nim).
arc(r_0018_0016__and,r_0018_0011__arrived,conj1).
arc(r_0018_0016__and,r_0018_0022__began,conj2).
arc(r_0018_0018__soon,r_0018_0017__fairly,qual).
arc(r_0018_0019__thereafter,r_0018_0018__soon,qual).
arc(r_0018_0022__began,r_0018_0013__Bell_r_0018_0014__Labs,arg0).
arc(r_0018_0022__began,r_0018_0019__thereafter,nim).
arc(r_0018_0022__began,r_0018_0023__withdrawing_r_0018_0024__from,arg1).
arc(r_0018_0023__withdrawing_r_0018_0024__from,r_0018_0013__Bell_r_0018_0014__Labs,arg0).
arc(r_0018_0023__withdrawing_r_0018_0024__from,r_0018_0025__Multics,arg1).
arc(z_0018_5003,r_0018_0002__the_r_0018_0004__period,arg0).
arc(z_0018_5003,r_0018_0006__ca_dot__r_0018_0007__1967,prd).


%3 r_0018_0002__the_r_0018_0004__period the period r_0018_0003__same same r_0018_0002__the_r_0018_0004__period->r_0018_0003__same [attrib] r_0018_0011__arrived arrived r_0018_0011__arrived->r_0018_0002__the_r_0018_0004__period During [nim] r_0018_0010__I I r_0018_0011__arrived->r_0018_0010__I [arg0] r_0018_0013__Bell_r_0018_0014__Labs Bell Labs r_0018_0011__arrived->r_0018_0013__Bell_r_0018_0014__Labs at [nim] r_0018_0016__and and r_0018_0016__and->r_0018_0011__arrived [conj1] r_0018_0022__began began r_0018_0016__and->r_0018_0022__began [conj2] r_0018_0022__began->r_0018_0013__Bell_r_0018_0014__Labs [arg0] r_0018_0019__thereafter thereafter r_0018_0022__began->r_0018_0019__thereafter [nim] r_0018_0023__withdrawing_r_0018_0024__from withdrawing from r_0018_0022__began->r_0018_0023__withdrawing_r_0018_0024__from [arg1] r_0018_0018__soon soon r_0018_0017__fairly fairly r_0018_0018__soon->r_0018_0017__fairly [qual] r_0018_0019__thereafter->r_0018_0018__soon [qual] r_0018_0023__withdrawing_r_0018_0024__from->r_0018_0013__Bell_r_0018_0014__Labs [arg0] r_0018_0025__Multics Multics r_0018_0023__withdrawing_r_0018_0024__from->r_0018_0025__Multics [arg1] z_0018_5003 z_0018_5003->r_0018_0002__the_r_0018_0004__period [arg0] r_0018_0006__ca_dot__r_0018_0007__1967 ca. 1967 z_0018_5003->r_0018_0006__ca_dot__r_0018_0007__1967 [prd] 
fof(formula,axiom,
    ? [R_0018_0003__SAME,R_0018_0002__THE_R_0018_0004__PERIOD,R_0018_0010__I,R_0018_0013__BELL_R_0018_0014__LABS,R_0018_0011__ARRIVED,R_0018_0017__FAIRLY,R_0018_0018__SOON,R_0018_0019__THEREAFTER,R_0018_0025__MULTICS,R_0018_0023__WITHDRAWING_R_0018_0024__FROM,R_0018_0022__BEGAN,R_0018_0016__AND,R_0018_0006__CA_DOT__R_0018_0007__1967,Z_0018_5003] :
      ( r_0018_0003__same(R_0018_0003__SAME)
      & r_0018_0006__ca_dot__r_0018_0007__1967(R_0018_0006__CA_DOT__R_0018_0007__1967)
      & r_0018_0010__I(R_0018_0010__I)
      & r_0018_0013__Bell_r_0018_0014__Labs(R_0018_0013__BELL_R_0018_0014__LABS)
      & r_0018_0017__fairly(R_0018_0017__FAIRLY)
      & r_0018_0025__Multics(R_0018_0025__MULTICS)
      & z_0018_5003(Z_0018_5003)
      & has_prd(Z_0018_5003,R_0018_0006__CA_DOT__R_0018_0007__1967)
      & has_arg0(Z_0018_5003,R_0018_0002__THE_R_0018_0004__PERIOD)
      & r_0018_0002__the_r_0018_0004__period(R_0018_0002__THE_R_0018_0004__PERIOD)
      & has_attrib(R_0018_0002__THE_R_0018_0004__PERIOD,R_0018_0003__SAME)
      & r_0018_0016__and(R_0018_0016__AND)
      & has_conj2(R_0018_0016__AND,R_0018_0022__BEGAN)
      & r_0018_0022__began(R_0018_0022__BEGAN)
      & has_arg1(R_0018_0022__BEGAN,R_0018_0023__WITHDRAWING_R_0018_0024__FROM)
      & r_0018_0023__withdrawing_r_0018_0024__from(R_0018_0023__WITHDRAWING_R_0018_0024__FROM)
      & has_arg1(R_0018_0023__WITHDRAWING_R_0018_0024__FROM,R_0018_0025__MULTICS)
      & has_arg0(R_0018_0023__WITHDRAWING_R_0018_0024__FROM,R_0018_0013__BELL_R_0018_0014__LABS)
      & has_nim(R_0018_0022__BEGAN,R_0018_0019__THEREAFTER)
      & r_0018_0019__thereafter(R_0018_0019__THEREAFTER)
      & has_qual(R_0018_0019__THEREAFTER,R_0018_0018__SOON)
      & r_0018_0018__soon(R_0018_0018__SOON)
      & has_qual(R_0018_0018__SOON,R_0018_0017__FAIRLY)
      & has_arg0(R_0018_0022__BEGAN,R_0018_0013__BELL_R_0018_0014__LABS)
      & has_conj1(R_0018_0016__AND,R_0018_0011__ARRIVED)
      & r_0018_0011__arrived(R_0018_0011__ARRIVED)
      & has_r_0018_0012__at__nim(R_0018_0011__ARRIVED,R_0018_0013__BELL_R_0018_0014__LABS)
      & has_arg0(R_0018_0011__ARRIVED,R_0018_0010__I)
      & has_r_0018_0001__During__nim(R_0018_0011__ARRIVED,R_0018_0002__THE_R_0018_0004__PERIOD) ) ).