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.

%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_0019__thereafter thereafter r_0018_0022__began->r_0018_0019__thereafter [nim] r_0018_0020__the_r_0018_0021__company the company r_0018_0022__began->r_0018_0020__the_r_0018_0021__company [arg0] r_0018_0023__withdrawing withdrawing r_0018_0022__began->r_0018_0023__withdrawing [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_0020__the_r_0018_0021__company [arg0] r_0018_0025__Multics Multics r_0018_0023__withdrawing->r_0018_0025__Multics from [clr] z_000_18_a_history_of_qed_17 z_000_18_a_history_of_qed_17->r_0018_0002__the_r_0018_0004__period [arg0] r_0018_0006__ca_dot__r_0018_0007__1967 ca. 1967 z_000_18_a_history_of_qed_17->r_0018_0006__ca_dot__r_0018_0007__1967 [prd] 
arc(r_0018_0002__the_r_0018_0004__period, r_0018_0003__same, attrib10).
arc(r_0018_0011__arrived, r_0018_0002__the_r_0018_0004__period, r_0018_0001__During_nim7).
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_nim35).
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, qual48).
arc(r_0018_0019__thereafter, r_0018_0018__soon, qual47).
arc(r_0018_0022__began, r_0018_0019__thereafter, nim46).
arc(r_0018_0022__began, r_0018_0020__the_r_0018_0021__company, arg0).
arc(r_0018_0022__began, r_0018_0023__withdrawing, arg1).
arc(r_0018_0023__withdrawing, r_0018_0020__the_r_0018_0021__company, arg0).
arc(r_0018_0023__withdrawing, r_0018_0025__Multics, r_0018_0024__from_clr68).
arc(z_000_18_a_history_of_qed_17, r_0018_0002__the_r_0018_0004__period, arg0).
arc(z_000_18_a_history_of_qed_17, r_0018_0006__ca_dot__r_0018_0007__1967, prd).


%3 z_000_18_a_history_of_qed_17 r_0018_0006__ca_dot__r_0018_0007__1967 ca. 1967 z_000_18_a_history_of_qed_17->r_0018_0006__ca_dot__r_0018_0007__1967 [prd] r_0018_0002__the_r_0018_0004__period the period z_000_18_a_history_of_qed_17->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 withdrawing r_0018_0025__Multics Multics r_0018_0023__withdrawing->r_0018_0025__Multics from [clr] r_0018_0020__the_r_0018_0021__company the company r_0018_0023__withdrawing->r_0018_0020__the_r_0018_0021__company [arg0] r_0018_0022__began began r_0018_0022__began->r_0018_0023__withdrawing [arg1] r_0018_0022__began->r_0018_0020__the_r_0018_0021__company [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_0013__Bell_r_0018_0014__Labs Bell Labs 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] 
fof(formula,axiom,
    ? [R_18_16_AND,R_18_11_ARRIVED,R_18_10_I,R_18_13_BELL_LABS,R_18_22_BEGAN,R_18_23_WITHDRAWING,R_18_20_THE_COMPANY,R_18_25_MULTICS,R_18_19_THEREAFTER,R_18_18_SOON,R_18_17_FAIRLY,Z_18_A_HISTORY_OF_QED_17,R_18_2_THE_PERIOD,R_18_3_SAME,R_18_6_CA_DOT_1967] :
      ( i(R_18_10_I)
      & bell_Labs(R_18_13_BELL_LABS)
      & the_company(R_18_20_THE_COMPANY)
      & multics(R_18_25_MULTICS)
      & fairly(R_18_17_FAIRLY)
      & same(R_18_3_SAME)
      & ca_dot_1967(R_18_6_CA_DOT_1967)
      & and(R_18_16_AND)
      & conj1(R_18_16_AND,R_18_11_ARRIVED)
      & arrived(R_18_11_ARRIVED,R_18_10_I)
      & during_nim7(R_18_11_ARRIVED,R_18_2_THE_PERIOD)
      & the_period(R_18_2_THE_PERIOD)
      & attrib10(R_18_2_THE_PERIOD,R_18_3_SAME)
      & at_nim35(R_18_11_ARRIVED,R_18_13_BELL_LABS)
      & conj2(R_18_16_AND,R_18_22_BEGAN)
      & began(R_18_22_BEGAN,R_18_20_THE_COMPANY,R_18_23_WITHDRAWING)
      & withdrawing(R_18_23_WITHDRAWING,R_18_20_THE_COMPANY)
      & from_clr68(R_18_23_WITHDRAWING,R_18_25_MULTICS)
      & nim46(R_18_22_BEGAN,R_18_19_THEREAFTER)
      & thereafter(R_18_19_THEREAFTER)
      & qual47(R_18_19_THEREAFTER,R_18_18_SOON)
      & soon(R_18_18_SOON)
      & qual48(R_18_18_SOON,R_18_17_FAIRLY)
      & z_18_a_history_of_qed_17(Z_18_A_HISTORY_OF_QED_17,R_18_2_THE_PERIOD,R_18_6_CA_DOT_1967) ) ).


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 IP-PPL 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-PRD 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-)
                                  (IP-PPL (NP-PRD (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))