Context                Previous, Next                Top


4_a_ibm_1401
Modern, high - speed computers, such as the 1401, are marvelous electronic instruments, but they represent only portions of data processing systems.

%3 r_0004_0005__speed_r_0004_0006__computers speed computers r_0004_0001__Modern Modern r_0004_0005__speed_r_0004_0006__computers->r_0004_0001__Modern [attrib] r_0004_0003__high high r_0004_0005__speed_r_0004_0006__computers->r_0004_0003__high [attrib] r_0004_0009__the_r_0004_0010__1401 the 1401 r_0004_0005__speed_r_0004_0006__computers->r_0004_0009__the_r_0004_0010__1401 such as r_0004_0012__are are r_0004_0012__are->r_0004_0005__speed_r_0004_0006__computers [arg0] r_0004_0015__instruments instruments r_0004_0012__are->r_0004_0015__instruments [prd] r_0004_0013__marvelous marvelous r_0004_0015__instruments->r_0004_0013__marvelous [attrib] r_0004_0014__electronic electronic r_0004_0015__instruments->r_0004_0014__electronic [attrib] r_0004_0017__but but r_0004_0017__but->r_0004_0012__are [conj1] r_0004_0019__represent represent r_0004_0017__but->r_0004_0019__represent [conj2] r_0004_0019__represent->r_0004_0005__speed_r_0004_0006__computers [arg0] r_0004_0021__portions portions r_0004_0019__represent->r_0004_0021__portions [arg1] r_0004_0020__only only r_0004_0021__portions->r_0004_0020__only [attrib] r_0004_0023__data_r_0004_0024__processing_r_0004_0025__systems data processing systems r_0004_0021__portions->r_0004_0023__data_r_0004_0024__processing_r_0004_0025__systems of 
arc(r_0004_0005__speed_r_0004_0006__computers, r_0004_0001__Modern, attrib5).
arc(r_0004_0005__speed_r_0004_0006__computers, r_0004_0003__high, attrib10).
arc(r_0004_0005__speed_r_0004_0006__computers, r_0004_0009__the_r_0004_0010__1401, r_0004_0008__such_as).
arc(r_0004_0012__are, r_0004_0005__speed_r_0004_0006__computers, arg0).
arc(r_0004_0012__are, r_0004_0015__instruments, prd).
arc(r_0004_0015__instruments, r_0004_0013__marvelous, attrib34).
arc(r_0004_0015__instruments, r_0004_0014__electronic, attrib37).
arc(r_0004_0017__but, r_0004_0012__are, conj1).
arc(r_0004_0017__but, r_0004_0019__represent, conj2).
arc(r_0004_0019__represent, r_0004_0005__speed_r_0004_0006__computers, arg0).
arc(r_0004_0019__represent, r_0004_0021__portions, arg1).
arc(r_0004_0021__portions, r_0004_0020__only, attrib54).
arc(r_0004_0021__portions, r_0004_0023__data_r_0004_0024__processing_r_0004_0025__systems, r_0004_0022__of).


%3 r_0004_0021__portions portions r_0004_0023__data_r_0004_0024__processing_r_0004_0025__systems data processing systems r_0004_0021__portions->r_0004_0023__data_r_0004_0024__processing_r_0004_0025__systems of r_0004_0020__only only r_0004_0021__portions->r_0004_0020__only [attrib] r_0004_0019__represent represent r_0004_0019__represent->r_0004_0021__portions [arg1] r_0004_0005__speed_r_0004_0006__computers speed computers r_0004_0019__represent->r_0004_0005__speed_r_0004_0006__computers [arg0] r_0004_0009__the_r_0004_0010__1401 the 1401 r_0004_0005__speed_r_0004_0006__computers->r_0004_0009__the_r_0004_0010__1401 such as r_0004_0003__high high r_0004_0005__speed_r_0004_0006__computers->r_0004_0003__high [attrib] r_0004_0001__Modern Modern r_0004_0005__speed_r_0004_0006__computers->r_0004_0001__Modern [attrib] r_0004_0017__but but r_0004_0017__but->r_0004_0019__represent [conj2] r_0004_0012__are are r_0004_0017__but->r_0004_0012__are [conj1] r_0004_0012__are->r_0004_0005__speed_r_0004_0006__computers [arg0] r_0004_0015__instruments instruments r_0004_0012__are->r_0004_0015__instruments [prd] r_0004_0014__electronic electronic r_0004_0015__instruments->r_0004_0014__electronic [attrib] r_0004_0013__marvelous marvelous r_0004_0015__instruments->r_0004_0013__marvelous [attrib] 
fof(formula,axiom,
    ? [R_0004_0001__MODERN,R_0004_0003__HIGH,R_0004_0009__THE_R_0004_0010__1401,R_0004_0005__SPEED_R_0004_0006__COMPUTERS,R_0004_0013__MARVELOUS,R_0004_0014__ELECTRONIC,R_0004_0015__INSTRUMENTS,R_0004_0012__ARE,R_0004_0020__ONLY,R_0004_0023__DATA_R_0004_0024__PROCESSING_R_0004_0025__SYSTEMS,R_0004_0021__PORTIONS,R_0004_0019__REPRESENT,R_0004_0017__BUT] :
      ( r_0004_0001__Modern(R_0004_0001__MODERN)
      & r_0004_0003__high(R_0004_0003__HIGH)
      & r_0004_0009__the_r_0004_0010__1401(R_0004_0009__THE_R_0004_0010__1401)
      & r_0004_0013__marvelous(R_0004_0013__MARVELOUS)
      & r_0004_0014__electronic(R_0004_0014__ELECTRONIC)
      & r_0004_0020__only(R_0004_0020__ONLY)
      & r_0004_0023__data_r_0004_0024__processing_r_0004_0025__systems(R_0004_0023__DATA_R_0004_0024__PROCESSING_R_0004_0025__SYSTEMS)
      & r_0004_0017__but(R_0004_0017__BUT)
      & has_conj2(R_0004_0017__BUT,R_0004_0019__REPRESENT)
      & r_0004_0019__represent(R_0004_0019__REPRESENT)
      & has_arg1(R_0004_0019__REPRESENT,R_0004_0021__PORTIONS)
      & r_0004_0021__portions(R_0004_0021__PORTIONS)
      & has_r_0004_0022__of(R_0004_0021__PORTIONS,R_0004_0023__DATA_R_0004_0024__PROCESSING_R_0004_0025__SYSTEMS)
      & has_attrib54(R_0004_0021__PORTIONS,R_0004_0020__ONLY)
      & has_arg0(R_0004_0019__REPRESENT,R_0004_0005__SPEED_R_0004_0006__COMPUTERS)
      & r_0004_0005__speed_r_0004_0006__computers(R_0004_0005__SPEED_R_0004_0006__COMPUTERS)
      & has_r_0004_0008__such_as(R_0004_0005__SPEED_R_0004_0006__COMPUTERS,R_0004_0009__THE_R_0004_0010__1401)
      & has_attrib10(R_0004_0005__SPEED_R_0004_0006__COMPUTERS,R_0004_0003__HIGH)
      & has_attrib5(R_0004_0005__SPEED_R_0004_0006__COMPUTERS,R_0004_0001__MODERN)
      & has_conj1(R_0004_0017__BUT,R_0004_0012__ARE)
      & r_0004_0012__are(R_0004_0012__ARE)
      & has_prd(R_0004_0012__ARE,R_0004_0015__INSTRUMENTS)
      & r_0004_0015__instruments(R_0004_0015__INSTRUMENTS)
      & has_attrib37(R_0004_0015__INSTRUMENTS,R_0004_0014__ELECTRONIC)
      & has_attrib34(R_0004_0015__INSTRUMENTS,R_0004_0013__MARVELOUS)
      & has_arg0(R_0004_0012__ARE,R_0004_0005__SPEED_R_0004_0006__COMPUTERS) ) ).


n4_a_ibm_1401 n4_a_ibm_1401__1_1_1_1_1_1_1 Modern n4_a_ibm_1401__1_1_1_1_2_1 , n4_a_ibm_1401__1_1_1_1_3_1_1 high n4_a_ibm_1401__1_1_1_1_4_1 - n4_a_ibm_1401__1_1_1_1_5_1 speed n4_a_ibm_1401__1_1_1_1_6_1 computers n4_a_ibm_1401__1_1_1_1_7_1 , n4_a_ibm_1401__1_1_1_1_8_1_1 such_as n4_a_ibm_1401__1_1_1_1_8_2_1_1 the n4_a_ibm_1401__1_1_1_1_8_2_2_1 1401 n4_a_ibm_1401__1_1_1_2_1 , n4_a_ibm_1401__1_1_1_3_1 are n4_a_ibm_1401__1_1_1_4_1_1_1 marvelous n4_a_ibm_1401__1_1_1_4_2_1_1 electronic n4_a_ibm_1401__1_1_1_4_3_1 instruments n4_a_ibm_1401__1_1_2_1 , n4_a_ibm_1401__1_1_3_1_1 but n4_a_ibm_1401__1_1_3_2_1_1_1 they n4_a_ibm_1401__1_1_3_2_2_1 represent n4_a_ibm_1401__1_1_3_2_3_1_1_1 only n4_a_ibm_1401__1_1_3_2_3_2_1 portions n4_a_ibm_1401__1_1_3_2_3_3_1_1 of n4_a_ibm_1401__1_1_3_2_3_3_2_1_1 data n4_a_ibm_1401__1_1_3_2_3_3_2_2_1 processing n4_a_ibm_1401__1_1_3_2_3_3_2_3_1 systems n4_a_ibm_1401__1_2_1 . n4_a_ibm_1401__1 IP-MAT n4_a_ibm_1401__1_1 ILYR n4_a_ibm_1401__1->n4_a_ibm_1401__1_1 n4_a_ibm_1401__1_2 PUNC n4_a_ibm_1401__1->n4_a_ibm_1401__1_2 n4_a_ibm_1401__1_1_1 ILYR n4_a_ibm_1401__1_1->n4_a_ibm_1401__1_1_1 n4_a_ibm_1401__1_1_2 PUNC n4_a_ibm_1401__1_1->n4_a_ibm_1401__1_1_2 n4_a_ibm_1401__1_1_3 CONJP n4_a_ibm_1401__1_1->n4_a_ibm_1401__1_1_3 n4_a_ibm_1401__1_1_1_1 NP-SBJ n4_a_ibm_1401__1_1_1->n4_a_ibm_1401__1_1_1_1 n4_a_ibm_1401__1_1_1_2 PUNC n4_a_ibm_1401__1_1_1->n4_a_ibm_1401__1_1_1_2 n4_a_ibm_1401__1_1_1_3 BEP;_Ln_ n4_a_ibm_1401__1_1_1->n4_a_ibm_1401__1_1_1_3 n4_a_ibm_1401__1_1_1_4 NP-PRD n4_a_ibm_1401__1_1_1->n4_a_ibm_1401__1_1_1_4 n4_a_ibm_1401__1_1_1_1_1 ADJP n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_1 n4_a_ibm_1401__1_1_1_1_2 PUNC n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_2 n4_a_ibm_1401__1_1_1_1_3 ADJP n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_3 n4_a_ibm_1401__1_1_1_1_4 PUNC n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_4 n4_a_ibm_1401__1_1_1_1_5 N n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_5 n4_a_ibm_1401__1_1_1_1_6 NS n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_6 n4_a_ibm_1401__1_1_1_1_7 PUNC n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_7 n4_a_ibm_1401__1_1_1_1_8 PP n4_a_ibm_1401__1_1_1_1->n4_a_ibm_1401__1_1_1_1_8 n4_a_ibm_1401__1_1_1_1_1_1 ADJ n4_a_ibm_1401__1_1_1_1_1->n4_a_ibm_1401__1_1_1_1_1_1 n4_a_ibm_1401__1_1_1_1_1_1->n4_a_ibm_1401__1_1_1_1_1_1_1 n4_a_ibm_1401__1_1_1_1_2->n4_a_ibm_1401__1_1_1_1_2_1 n4_a_ibm_1401__1_1_1_1_3_1 ADJ n4_a_ibm_1401__1_1_1_1_3->n4_a_ibm_1401__1_1_1_1_3_1 n4_a_ibm_1401__1_1_1_1_3_1->n4_a_ibm_1401__1_1_1_1_3_1_1 n4_a_ibm_1401__1_1_1_1_4->n4_a_ibm_1401__1_1_1_1_4_1 n4_a_ibm_1401__1_1_1_1_5->n4_a_ibm_1401__1_1_1_1_5_1 n4_a_ibm_1401__1_1_1_1_6->n4_a_ibm_1401__1_1_1_1_6_1 n4_a_ibm_1401__1_1_1_1_7->n4_a_ibm_1401__1_1_1_1_7_1 n4_a_ibm_1401__1_1_1_1_8_1 P-ROLE n4_a_ibm_1401__1_1_1_1_8->n4_a_ibm_1401__1_1_1_1_8_1 n4_a_ibm_1401__1_1_1_1_8_2 NP n4_a_ibm_1401__1_1_1_1_8->n4_a_ibm_1401__1_1_1_1_8_2 n4_a_ibm_1401__1_1_1_1_8_1->n4_a_ibm_1401__1_1_1_1_8_1_1 n4_a_ibm_1401__1_1_1_1_8_2_1 D n4_a_ibm_1401__1_1_1_1_8_2->n4_a_ibm_1401__1_1_1_1_8_2_1 n4_a_ibm_1401__1_1_1_1_8_2_2 NPR n4_a_ibm_1401__1_1_1_1_8_2->n4_a_ibm_1401__1_1_1_1_8_2_2 n4_a_ibm_1401__1_1_1_1_8_2_1->n4_a_ibm_1401__1_1_1_1_8_2_1_1 n4_a_ibm_1401__1_1_1_1_8_2_2->n4_a_ibm_1401__1_1_1_1_8_2_2_1 n4_a_ibm_1401__1_1_1_2->n4_a_ibm_1401__1_1_1_2_1 n4_a_ibm_1401__1_1_1_3->n4_a_ibm_1401__1_1_1_3_1 n4_a_ibm_1401__1_1_1_4_1 ADJP n4_a_ibm_1401__1_1_1_4->n4_a_ibm_1401__1_1_1_4_1 n4_a_ibm_1401__1_1_1_4_2 ADJP n4_a_ibm_1401__1_1_1_4->n4_a_ibm_1401__1_1_1_4_2 n4_a_ibm_1401__1_1_1_4_3 NS n4_a_ibm_1401__1_1_1_4->n4_a_ibm_1401__1_1_1_4_3 n4_a_ibm_1401__1_1_1_4_1_1 ADJ n4_a_ibm_1401__1_1_1_4_1->n4_a_ibm_1401__1_1_1_4_1_1 n4_a_ibm_1401__1_1_1_4_1_1->n4_a_ibm_1401__1_1_1_4_1_1_1 n4_a_ibm_1401__1_1_1_4_2_1 ADJ n4_a_ibm_1401__1_1_1_4_2->n4_a_ibm_1401__1_1_1_4_2_1 n4_a_ibm_1401__1_1_1_4_2_1->n4_a_ibm_1401__1_1_1_4_2_1_1 n4_a_ibm_1401__1_1_1_4_3->n4_a_ibm_1401__1_1_1_4_3_1 n4_a_ibm_1401__1_1_2->n4_a_ibm_1401__1_1_2_1 n4_a_ibm_1401__1_1_3_1 CONJ n4_a_ibm_1401__1_1_3->n4_a_ibm_1401__1_1_3_1 n4_a_ibm_1401__1_1_3_2 ILYR n4_a_ibm_1401__1_1_3->n4_a_ibm_1401__1_1_3_2 n4_a_ibm_1401__1_1_3_1->n4_a_ibm_1401__1_1_3_1_1 n4_a_ibm_1401__1_1_3_2_1 NP-SBJ n4_a_ibm_1401__1_1_3_2->n4_a_ibm_1401__1_1_3_2_1 n4_a_ibm_1401__1_1_3_2_2 VBP;_Tn_ n4_a_ibm_1401__1_1_3_2->n4_a_ibm_1401__1_1_3_2_2 n4_a_ibm_1401__1_1_3_2_3 NP-OB1 n4_a_ibm_1401__1_1_3_2->n4_a_ibm_1401__1_1_3_2_3 n4_a_ibm_1401__1_1_3_2_1_1 PRO n4_a_ibm_1401__1_1_3_2_1->n4_a_ibm_1401__1_1_3_2_1_1 n4_a_ibm_1401__1_1_3_2_1_1->n4_a_ibm_1401__1_1_3_2_1_1_1 n4_a_ibm_1401__1_1_3_2_2->n4_a_ibm_1401__1_1_3_2_2_1 n4_a_ibm_1401__1_1_3_2_3_1 ADJP n4_a_ibm_1401__1_1_3_2_3->n4_a_ibm_1401__1_1_3_2_3_1 n4_a_ibm_1401__1_1_3_2_3_2 NS n4_a_ibm_1401__1_1_3_2_3->n4_a_ibm_1401__1_1_3_2_3_2 n4_a_ibm_1401__1_1_3_2_3_3 PP n4_a_ibm_1401__1_1_3_2_3->n4_a_ibm_1401__1_1_3_2_3_3 n4_a_ibm_1401__1_1_3_2_3_1_1 ADJ n4_a_ibm_1401__1_1_3_2_3_1->n4_a_ibm_1401__1_1_3_2_3_1_1 n4_a_ibm_1401__1_1_3_2_3_1_1->n4_a_ibm_1401__1_1_3_2_3_1_1_1 n4_a_ibm_1401__1_1_3_2_3_2->n4_a_ibm_1401__1_1_3_2_3_2_1 n4_a_ibm_1401__1_1_3_2_3_3_1 P-ROLE n4_a_ibm_1401__1_1_3_2_3_3->n4_a_ibm_1401__1_1_3_2_3_3_1 n4_a_ibm_1401__1_1_3_2_3_3_2 NP n4_a_ibm_1401__1_1_3_2_3_3->n4_a_ibm_1401__1_1_3_2_3_3_2 n4_a_ibm_1401__1_1_3_2_3_3_1->n4_a_ibm_1401__1_1_3_2_3_3_1_1 n4_a_ibm_1401__1_1_3_2_3_3_2_1 NS n4_a_ibm_1401__1_1_3_2_3_3_2->n4_a_ibm_1401__1_1_3_2_3_3_2_1 n4_a_ibm_1401__1_1_3_2_3_3_2_2 N n4_a_ibm_1401__1_1_3_2_3_3_2->n4_a_ibm_1401__1_1_3_2_3_3_2_2 n4_a_ibm_1401__1_1_3_2_3_3_2_3 NS n4_a_ibm_1401__1_1_3_2_3_3_2->n4_a_ibm_1401__1_1_3_2_3_3_2_3 n4_a_ibm_1401__1_1_3_2_3_3_2_1->n4_a_ibm_1401__1_1_3_2_3_3_2_1_1 n4_a_ibm_1401__1_1_3_2_3_3_2_2->n4_a_ibm_1401__1_1_3_2_3_3_2_2_1 n4_a_ibm_1401__1_1_3_2_3_3_2_3->n4_a_ibm_1401__1_1_3_2_3_3_2_3_1 n4_a_ibm_1401__1_2->n4_a_ibm_1401__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{COMPUTERS} (ADJP (ADJ Modern;{modern}))
                                          (PUNC ,)
                                          (ADJP (ADJ high;{high}))
                                          (PUNC <hyphen>)
                                          (N speed;{speed})
                                          (NS computers;{computer})
                                          (PUNC ,)
                                          (PP (P-ROLE such_as;{such_as})
                                              (NP;{IBM1401} (D the;{the})
                                                            (NPR 1401))))
                      (PUNC ,)
                      (BEP;_Ln_ are;{be})
                      (NP-PRD (ADJP (ADJ marvelous;{marvelous}))
                              (ADJP (ADJ electronic;{electronic}))
                              (NS instruments;{instrument})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{COMPUTERS} (PRO they;{they}))
                             (VBP;_Tn_ represent;{represent})
                             (NP-OB1 (ADJP (ADJ only;{only}))
                                     (NS portions;{portion})
                                     (PP (P-ROLE of;{of})
                                         (NP;{SYSTEMS} (NS data;{data})
                                                       (N processing;{processing})
                                                       (NS systems;{system})))))))
          (PUNC .))
  (ID 4_a_ibm_1401))