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 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] 
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_6 During n18_a_history_of_qed_9 the n18_a_history_of_qed_12 same n18_a_history_of_qed_14 period n18_a_history_of_qed_16 -LRB- n18_a_history_of_qed_20 ca. n18_a_history_of_qed_22 1967 n18_a_history_of_qed_24 -RRB- n18_a_history_of_qed_26 , n18_a_history_of_qed_29 I n18_a_history_of_qed_31 arrived n18_a_history_of_qed_34 at n18_a_history_of_qed_37 Bell n18_a_history_of_qed_39 Labs n18_a_history_of_qed_41 , n18_a_history_of_qed_44 and n18_a_history_of_qed_50 fairly n18_a_history_of_qed_52 soon n18_a_history_of_qed_54 thereafter n18_a_history_of_qed_57 the n18_a_history_of_qed_59 company n18_a_history_of_qed_61 began n18_a_history_of_qed_64 withdrawing n18_a_history_of_qed_67 from n18_a_history_of_qed_70 Multics n18_a_history_of_qed_72 . n18_a_history_of_qed_1 IP-MAT n18_a_history_of_qed_2 ILYR n18_a_history_of_qed_1->n18_a_history_of_qed_2 n18_a_history_of_qed_71 PUNC n18_a_history_of_qed_1->n18_a_history_of_qed_71 n18_a_history_of_qed_3 ILYR n18_a_history_of_qed_2->n18_a_history_of_qed_3 n18_a_history_of_qed_40 PUNC n18_a_history_of_qed_2->n18_a_history_of_qed_40 n18_a_history_of_qed_42 CONJP n18_a_history_of_qed_2->n18_a_history_of_qed_42 n18_a_history_of_qed_4 PP-NIM n18_a_history_of_qed_3->n18_a_history_of_qed_4 n18_a_history_of_qed_25 PUNC n18_a_history_of_qed_3->n18_a_history_of_qed_25 n18_a_history_of_qed_27 NP-SBJ n18_a_history_of_qed_3->n18_a_history_of_qed_27 n18_a_history_of_qed_30 VBD;__ n18_a_history_of_qed_3->n18_a_history_of_qed_30 n18_a_history_of_qed_32 PP-NIM n18_a_history_of_qed_3->n18_a_history_of_qed_32 n18_a_history_of_qed_5 P-ROLE n18_a_history_of_qed_4->n18_a_history_of_qed_5 n18_a_history_of_qed_7 NP n18_a_history_of_qed_4->n18_a_history_of_qed_7 n18_a_history_of_qed_5->n18_a_history_of_qed_6 n18_a_history_of_qed_8 D n18_a_history_of_qed_7->n18_a_history_of_qed_8 n18_a_history_of_qed_10 ADJP n18_a_history_of_qed_7->n18_a_history_of_qed_10 n18_a_history_of_qed_13 N n18_a_history_of_qed_7->n18_a_history_of_qed_13 n18_a_history_of_qed_15 PULB n18_a_history_of_qed_7->n18_a_history_of_qed_15 n18_a_history_of_qed_17 IP-PPL n18_a_history_of_qed_7->n18_a_history_of_qed_17 n18_a_history_of_qed_23 PURB n18_a_history_of_qed_7->n18_a_history_of_qed_23 n18_a_history_of_qed_8->n18_a_history_of_qed_9 n18_a_history_of_qed_11 ADJ n18_a_history_of_qed_10->n18_a_history_of_qed_11 n18_a_history_of_qed_11->n18_a_history_of_qed_12 n18_a_history_of_qed_13->n18_a_history_of_qed_14 n18_a_history_of_qed_15->n18_a_history_of_qed_16 n18_a_history_of_qed_18 NP-PRD n18_a_history_of_qed_17->n18_a_history_of_qed_18 n18_a_history_of_qed_19 N n18_a_history_of_qed_18->n18_a_history_of_qed_19 n18_a_history_of_qed_21 NPR n18_a_history_of_qed_18->n18_a_history_of_qed_21 n18_a_history_of_qed_19->n18_a_history_of_qed_20 n18_a_history_of_qed_21->n18_a_history_of_qed_22 n18_a_history_of_qed_23->n18_a_history_of_qed_24 n18_a_history_of_qed_25->n18_a_history_of_qed_26 n18_a_history_of_qed_28 PRO n18_a_history_of_qed_27->n18_a_history_of_qed_28 n18_a_history_of_qed_28->n18_a_history_of_qed_29 n18_a_history_of_qed_30->n18_a_history_of_qed_31 n18_a_history_of_qed_33 P-ROLE n18_a_history_of_qed_32->n18_a_history_of_qed_33 n18_a_history_of_qed_35 NP n18_a_history_of_qed_32->n18_a_history_of_qed_35 n18_a_history_of_qed_33->n18_a_history_of_qed_34 n18_a_history_of_qed_36 NPR n18_a_history_of_qed_35->n18_a_history_of_qed_36 n18_a_history_of_qed_38 NPRS n18_a_history_of_qed_35->n18_a_history_of_qed_38 n18_a_history_of_qed_36->n18_a_history_of_qed_37 n18_a_history_of_qed_38->n18_a_history_of_qed_39 n18_a_history_of_qed_40->n18_a_history_of_qed_41 n18_a_history_of_qed_43 CONJ n18_a_history_of_qed_42->n18_a_history_of_qed_43 n18_a_history_of_qed_45 ILYR n18_a_history_of_qed_42->n18_a_history_of_qed_45 n18_a_history_of_qed_43->n18_a_history_of_qed_44 n18_a_history_of_qed_46 ADVP-NIM n18_a_history_of_qed_45->n18_a_history_of_qed_46 n18_a_history_of_qed_55 NP-SBJ n18_a_history_of_qed_45->n18_a_history_of_qed_55 n18_a_history_of_qed_60 VBD;__ n18_a_history_of_qed_45->n18_a_history_of_qed_60 n18_a_history_of_qed_62 IP-PPL-OB1 n18_a_history_of_qed_45->n18_a_history_of_qed_62 n18_a_history_of_qed_47 ADVP n18_a_history_of_qed_46->n18_a_history_of_qed_47 n18_a_history_of_qed_53 ADV n18_a_history_of_qed_46->n18_a_history_of_qed_53 n18_a_history_of_qed_48 ADVP n18_a_history_of_qed_47->n18_a_history_of_qed_48 n18_a_history_of_qed_51 ADV n18_a_history_of_qed_47->n18_a_history_of_qed_51 n18_a_history_of_qed_49 ADV n18_a_history_of_qed_48->n18_a_history_of_qed_49 n18_a_history_of_qed_49->n18_a_history_of_qed_50 n18_a_history_of_qed_51->n18_a_history_of_qed_52 n18_a_history_of_qed_53->n18_a_history_of_qed_54 n18_a_history_of_qed_56 D n18_a_history_of_qed_55->n18_a_history_of_qed_56 n18_a_history_of_qed_58 N n18_a_history_of_qed_55->n18_a_history_of_qed_58 n18_a_history_of_qed_56->n18_a_history_of_qed_57 n18_a_history_of_qed_58->n18_a_history_of_qed_59 n18_a_history_of_qed_60->n18_a_history_of_qed_61 n18_a_history_of_qed_63 VAG;_Ipr_ n18_a_history_of_qed_62->n18_a_history_of_qed_63 n18_a_history_of_qed_65 PP-CLR n18_a_history_of_qed_62->n18_a_history_of_qed_65 n18_a_history_of_qed_63->n18_a_history_of_qed_64 n18_a_history_of_qed_66 P-ROLE n18_a_history_of_qed_65->n18_a_history_of_qed_66 n18_a_history_of_qed_68 NP n18_a_history_of_qed_65->n18_a_history_of_qed_68 n18_a_history_of_qed_66->n18_a_history_of_qed_67 n18_a_history_of_qed_69 NPR n18_a_history_of_qed_68->n18_a_history_of_qed_69 n18_a_history_of_qed_69->n18_a_history_of_qed_70 n18_a_history_of_qed_71->n18_a_history_of_qed_72 
( (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))