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_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 
fof(formula,axiom,
    ? [R_4_17_BUT,R_4_12_ARE,R_4_15_INSTRUMENTS,R_4_13_MARVELOUS,R_4_14_ELECTRONIC,R_4_19_REPRESENT,R_4_5_SPEED_COMPUTERS,R_4_3_HIGH,R_4_1_MODERN,R_4_9_THE_1401,R_4_21_PORTIONS,R_4_20_ONLY,R_4_23_DATA_PROCESSING_SYSTEMS] :
      ( marvelous(R_4_13_MARVELOUS)
      & electronic(R_4_14_ELECTRONIC)
      & high(R_4_3_HIGH)
      & modern(R_4_1_MODERN)
      & the_1401(R_4_9_THE_1401)
      & only(R_4_20_ONLY)
      & data_processing_systems(R_4_23_DATA_PROCESSING_SYSTEMS)
      & but(R_4_17_BUT)
      & conj1(R_4_17_BUT,R_4_12_ARE)
      & are(R_4_12_ARE,R_4_5_SPEED_COMPUTERS,R_4_15_INSTRUMENTS)
      & speed_computers(R_4_5_SPEED_COMPUTERS)
      & attrib10(R_4_5_SPEED_COMPUTERS,R_4_3_HIGH)
      & attrib5(R_4_5_SPEED_COMPUTERS,R_4_1_MODERN)
      & such_as(R_4_5_SPEED_COMPUTERS,R_4_9_THE_1401)
      & instruments(R_4_15_INSTRUMENTS)
      & attrib34(R_4_15_INSTRUMENTS,R_4_13_MARVELOUS)
      & attrib37(R_4_15_INSTRUMENTS,R_4_14_ELECTRONIC)
      & conj2(R_4_17_BUT,R_4_19_REPRESENT)
      & represent(R_4_19_REPRESENT,R_4_5_SPEED_COMPUTERS,R_4_21_PORTIONS)
      & portions(R_4_21_PORTIONS)
      & attrib54(R_4_21_PORTIONS,R_4_20_ONLY)
      & of(R_4_21_PORTIONS,R_4_23_DATA_PROCESSING_SYSTEMS) ) ).


n4_a_ibm_1401 n4_a_ibm_1401_7 Modern n4_a_ibm_1401_9 , n4_a_ibm_1401_12 high n4_a_ibm_1401_14 - n4_a_ibm_1401_16 speed n4_a_ibm_1401_18 computers n4_a_ibm_1401_20 , n4_a_ibm_1401_23 such_as n4_a_ibm_1401_26 the n4_a_ibm_1401_28 1401 n4_a_ibm_1401_30 , n4_a_ibm_1401_32 are n4_a_ibm_1401_36 marvelous n4_a_ibm_1401_39 electronic n4_a_ibm_1401_41 instruments n4_a_ibm_1401_43 , n4_a_ibm_1401_46 but n4_a_ibm_1401_50 they n4_a_ibm_1401_52 represent n4_a_ibm_1401_56 only n4_a_ibm_1401_58 portions n4_a_ibm_1401_61 of n4_a_ibm_1401_64 data n4_a_ibm_1401_66 processing n4_a_ibm_1401_68 systems n4_a_ibm_1401_70 . n4_a_ibm_1401_1 IP-MAT n4_a_ibm_1401_2 ILYR n4_a_ibm_1401_1->n4_a_ibm_1401_2 n4_a_ibm_1401_69 PUNC n4_a_ibm_1401_1->n4_a_ibm_1401_69 n4_a_ibm_1401_3 ILYR n4_a_ibm_1401_2->n4_a_ibm_1401_3 n4_a_ibm_1401_42 PUNC n4_a_ibm_1401_2->n4_a_ibm_1401_42 n4_a_ibm_1401_44 CONJP n4_a_ibm_1401_2->n4_a_ibm_1401_44 n4_a_ibm_1401_4 NP-SBJ n4_a_ibm_1401_3->n4_a_ibm_1401_4 n4_a_ibm_1401_29 PUNC n4_a_ibm_1401_3->n4_a_ibm_1401_29 n4_a_ibm_1401_31 BEP;_Ln_ n4_a_ibm_1401_3->n4_a_ibm_1401_31 n4_a_ibm_1401_33 NP-PRD n4_a_ibm_1401_3->n4_a_ibm_1401_33 n4_a_ibm_1401_5 ADJP n4_a_ibm_1401_4->n4_a_ibm_1401_5 n4_a_ibm_1401_8 PUNC n4_a_ibm_1401_4->n4_a_ibm_1401_8 n4_a_ibm_1401_10 ADJP n4_a_ibm_1401_4->n4_a_ibm_1401_10 n4_a_ibm_1401_13 PUNC n4_a_ibm_1401_4->n4_a_ibm_1401_13 n4_a_ibm_1401_15 N n4_a_ibm_1401_4->n4_a_ibm_1401_15 n4_a_ibm_1401_17 NS n4_a_ibm_1401_4->n4_a_ibm_1401_17 n4_a_ibm_1401_19 PUNC n4_a_ibm_1401_4->n4_a_ibm_1401_19 n4_a_ibm_1401_21 PP n4_a_ibm_1401_4->n4_a_ibm_1401_21 n4_a_ibm_1401_6 ADJ n4_a_ibm_1401_5->n4_a_ibm_1401_6 n4_a_ibm_1401_6->n4_a_ibm_1401_7 n4_a_ibm_1401_8->n4_a_ibm_1401_9 n4_a_ibm_1401_11 ADJ n4_a_ibm_1401_10->n4_a_ibm_1401_11 n4_a_ibm_1401_11->n4_a_ibm_1401_12 n4_a_ibm_1401_13->n4_a_ibm_1401_14 n4_a_ibm_1401_15->n4_a_ibm_1401_16 n4_a_ibm_1401_17->n4_a_ibm_1401_18 n4_a_ibm_1401_19->n4_a_ibm_1401_20 n4_a_ibm_1401_22 P-ROLE n4_a_ibm_1401_21->n4_a_ibm_1401_22 n4_a_ibm_1401_24 NP n4_a_ibm_1401_21->n4_a_ibm_1401_24 n4_a_ibm_1401_22->n4_a_ibm_1401_23 n4_a_ibm_1401_25 D n4_a_ibm_1401_24->n4_a_ibm_1401_25 n4_a_ibm_1401_27 NPR n4_a_ibm_1401_24->n4_a_ibm_1401_27 n4_a_ibm_1401_25->n4_a_ibm_1401_26 n4_a_ibm_1401_27->n4_a_ibm_1401_28 n4_a_ibm_1401_29->n4_a_ibm_1401_30 n4_a_ibm_1401_31->n4_a_ibm_1401_32 n4_a_ibm_1401_34 ADJP n4_a_ibm_1401_33->n4_a_ibm_1401_34 n4_a_ibm_1401_37 ADJP n4_a_ibm_1401_33->n4_a_ibm_1401_37 n4_a_ibm_1401_40 NS n4_a_ibm_1401_33->n4_a_ibm_1401_40 n4_a_ibm_1401_35 ADJ n4_a_ibm_1401_34->n4_a_ibm_1401_35 n4_a_ibm_1401_35->n4_a_ibm_1401_36 n4_a_ibm_1401_38 ADJ n4_a_ibm_1401_37->n4_a_ibm_1401_38 n4_a_ibm_1401_38->n4_a_ibm_1401_39 n4_a_ibm_1401_40->n4_a_ibm_1401_41 n4_a_ibm_1401_42->n4_a_ibm_1401_43 n4_a_ibm_1401_45 CONJ n4_a_ibm_1401_44->n4_a_ibm_1401_45 n4_a_ibm_1401_47 ILYR n4_a_ibm_1401_44->n4_a_ibm_1401_47 n4_a_ibm_1401_45->n4_a_ibm_1401_46 n4_a_ibm_1401_48 NP-SBJ n4_a_ibm_1401_47->n4_a_ibm_1401_48 n4_a_ibm_1401_51 VBP;_Tn_ n4_a_ibm_1401_47->n4_a_ibm_1401_51 n4_a_ibm_1401_53 NP-OB1 n4_a_ibm_1401_47->n4_a_ibm_1401_53 n4_a_ibm_1401_49 PRO n4_a_ibm_1401_48->n4_a_ibm_1401_49 n4_a_ibm_1401_49->n4_a_ibm_1401_50 n4_a_ibm_1401_51->n4_a_ibm_1401_52 n4_a_ibm_1401_54 ADJP n4_a_ibm_1401_53->n4_a_ibm_1401_54 n4_a_ibm_1401_57 NS n4_a_ibm_1401_53->n4_a_ibm_1401_57 n4_a_ibm_1401_59 PP n4_a_ibm_1401_53->n4_a_ibm_1401_59 n4_a_ibm_1401_55 ADJ n4_a_ibm_1401_54->n4_a_ibm_1401_55 n4_a_ibm_1401_55->n4_a_ibm_1401_56 n4_a_ibm_1401_57->n4_a_ibm_1401_58 n4_a_ibm_1401_60 P-ROLE n4_a_ibm_1401_59->n4_a_ibm_1401_60 n4_a_ibm_1401_62 NP n4_a_ibm_1401_59->n4_a_ibm_1401_62 n4_a_ibm_1401_60->n4_a_ibm_1401_61 n4_a_ibm_1401_63 NS n4_a_ibm_1401_62->n4_a_ibm_1401_63 n4_a_ibm_1401_65 N n4_a_ibm_1401_62->n4_a_ibm_1401_65 n4_a_ibm_1401_67 NS n4_a_ibm_1401_62->n4_a_ibm_1401_67 n4_a_ibm_1401_63->n4_a_ibm_1401_64 n4_a_ibm_1401_65->n4_a_ibm_1401_66 n4_a_ibm_1401_67->n4_a_ibm_1401_68 n4_a_ibm_1401_69->n4_a_ibm_1401_70 
( (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))