Context                Previous, Next                Top


7_a_ibm_1401
A few minutes of computer time in translating the program can be equal to many, many hours of staff time in writing instructions coded in the language of the computer.

%3 r_0007_0001__A_few_r_0007_0002__minutes A few minutes r_0007_0004__computer_r_0007_0005__time computer time r_0007_0001__A_few_r_0007_0002__minutes->r_0007_0004__computer_r_0007_0005__time of r_0007_0007__translating translating r_0007_0004__computer_r_0007_0005__time->r_0007_0007__translating in r_0007_0008__the_r_0007_0009__program the program r_0007_0007__translating->r_0007_0008__the_r_0007_0009__program [arg1] z_000_7_a_ibm_1401_18 r_0007_0007__translating->z_000_7_a_ibm_1401_18 [arg0] r_0007_0010__can can r_0007_0011__be be r_0007_0010__can->r_0007_0011__be [scope] r_0007_0011__be->r_0007_0001__A_few_r_0007_0002__minutes [arg0] r_0007_0012__equal equal r_0007_0011__be->r_0007_0012__equal [prd] r_0007_0017__hours hours r_0007_0012__equal->r_0007_0017__hours to r_0007_0014__many many r_0007_0017__hours->r_0007_0014__many [attrib] r_0007_0016__many many r_0007_0017__hours->r_0007_0016__many [attrib] r_0007_0019__staff_r_0007_0020__time staff time r_0007_0017__hours->r_0007_0019__staff_r_0007_0020__time of r_0007_0022__writing writing r_0007_0019__staff_r_0007_0020__time->r_0007_0022__writing in r_0007_0023__instructions instructions r_0007_0022__writing->r_0007_0023__instructions [arg1] z_000_7_a_ibm_1401_59 r_0007_0022__writing->z_000_7_a_ibm_1401_59 [arg0] r_0007_0024__coded coded r_0007_0024__coded->r_0007_0023__instructions [arg1] r_0007_0026__the_r_0007_0027__language the language r_0007_0024__coded->r_0007_0026__the_r_0007_0027__language in [clr] z_000_7_a_ibm_1401_66 r_0007_0024__coded->z_000_7_a_ibm_1401_66 [arg0] r_0007_0029__the_r_0007_0030__computer the computer r_0007_0026__the_r_0007_0027__language->r_0007_0029__the_r_0007_0030__computer of 
arc(r_0007_0001__A_few_r_0007_0002__minutes, r_0007_0004__computer_r_0007_0005__time, r_0007_0003__of).
arc(r_0007_0004__computer_r_0007_0005__time, r_0007_0007__translating, r_0007_0006__in).
arc(r_0007_0007__translating, r_0007_0008__the_r_0007_0009__program, arg1).
arc(r_0007_0007__translating, z_000_7_a_ibm_1401_18, arg0).
arc(r_0007_0010__can, r_0007_0011__be, scope).
arc(r_0007_0011__be, r_0007_0001__A_few_r_0007_0002__minutes, arg0).
arc(r_0007_0011__be, r_0007_0012__equal, prd).
arc(r_0007_0012__equal, r_0007_0017__hours, r_0007_0013__to).
arc(r_0007_0017__hours, r_0007_0014__many, attrib38).
arc(r_0007_0017__hours, r_0007_0016__many, attrib43).
arc(r_0007_0017__hours, r_0007_0019__staff_r_0007_0020__time, r_0007_0018__of).
arc(r_0007_0019__staff_r_0007_0020__time, r_0007_0022__writing, r_0007_0021__in).
arc(r_0007_0022__writing, r_0007_0023__instructions, arg1).
arc(r_0007_0022__writing, z_000_7_a_ibm_1401_59, arg0).
arc(r_0007_0024__coded, r_0007_0023__instructions, arg1).
arc(r_0007_0024__coded, r_0007_0026__the_r_0007_0027__language, r_0007_0025__in_clr73).
arc(r_0007_0024__coded, z_000_7_a_ibm_1401_66, arg0).
arc(r_0007_0026__the_r_0007_0027__language, r_0007_0029__the_r_0007_0030__computer, r_0007_0028__of).


%3 r_0007_0001__A_few_r_0007_0002__minutes A few minutes r_0007_0004__computer_r_0007_0005__time computer time r_0007_0001__A_few_r_0007_0002__minutes->r_0007_0004__computer_r_0007_0005__time of r_0007_0007__translating translating r_0007_0004__computer_r_0007_0005__time->r_0007_0007__translating in r_0007_0008__the_r_0007_0009__program the program r_0007_0007__translating->r_0007_0008__the_r_0007_0009__program [arg1] z_000_7_a_ibm_1401_18 r_0007_0007__translating->z_000_7_a_ibm_1401_18 [arg0] r_0007_0010__can_r_0007_0011__be can be r_0007_0010__can_r_0007_0011__be->r_0007_0001__A_few_r_0007_0002__minutes [arg0] r_0007_0012__equal equal r_0007_0010__can_r_0007_0011__be->r_0007_0012__equal [prd] r_0007_0017__hours hours r_0007_0012__equal->r_0007_0017__hours to r_0007_0014__many many r_0007_0017__hours->r_0007_0014__many [attrib] r_0007_0016__many many r_0007_0017__hours->r_0007_0016__many [attrib] r_0007_0019__staff_r_0007_0020__time staff time r_0007_0017__hours->r_0007_0019__staff_r_0007_0020__time of r_0007_0022__writing writing r_0007_0019__staff_r_0007_0020__time->r_0007_0022__writing in r_0007_0023__instructions instructions r_0007_0022__writing->r_0007_0023__instructions [arg1] z_000_7_a_ibm_1401_59 r_0007_0022__writing->z_000_7_a_ibm_1401_59 [arg0] r_0007_0024__coded coded r_0007_0024__coded->r_0007_0023__instructions [arg1] r_0007_0026__the_r_0007_0027__language the language r_0007_0024__coded->r_0007_0026__the_r_0007_0027__language in [clr] z_000_7_a_ibm_1401_66 r_0007_0024__coded->z_000_7_a_ibm_1401_66 [arg0] r_0007_0029__the_r_0007_0030__computer the computer r_0007_0026__the_r_0007_0027__language->r_0007_0029__the_r_0007_0030__computer of 
fof(formula,axiom,
    ? [R_7_10_CAN_BE,R_7_1_A_FEW_MINUTES,R_7_4_COMPUTER_TIME,R_7_7_TRANSLATING,Z_7_A_IBM_1401_18,R_7_8_THE_PROGRAM,R_7_12_EQUAL,R_7_17_HOURS,R_7_14_MANY,R_7_16_MANY,R_7_19_STAFF_TIME,R_7_22_WRITING,Z_7_A_IBM_1401_59,R_7_24_CODED,Z_7_A_IBM_1401_66,R_7_23_INSTRUCTIONS,R_7_26_THE_LANGUAGE,R_7_29_THE_COMPUTER] :
      ( the_program(R_7_8_THE_PROGRAM)
      & many(R_7_14_MANY)
      & many(R_7_16_MANY)
      & instructions(R_7_23_INSTRUCTIONS)
      & the_computer(R_7_29_THE_COMPUTER)
      & can_be(R_7_10_CAN_BE,R_7_1_A_FEW_MINUTES,R_7_12_EQUAL)
      & a_few_minutes(R_7_1_A_FEW_MINUTES)
      & of(R_7_1_A_FEW_MINUTES,R_7_4_COMPUTER_TIME)
      & computer_time(R_7_4_COMPUTER_TIME)
      & in(R_7_4_COMPUTER_TIME,R_7_7_TRANSLATING)
      & translating(R_7_7_TRANSLATING,Z_7_A_IBM_1401_18,R_7_8_THE_PROGRAM)
      & equal(R_7_12_EQUAL)
      & to(R_7_12_EQUAL,R_7_17_HOURS)
      & hours(R_7_17_HOURS)
      & attrib38(R_7_17_HOURS,R_7_14_MANY)
      & attrib43(R_7_17_HOURS,R_7_16_MANY)
      & of(R_7_17_HOURS,R_7_19_STAFF_TIME)
      & staff_time(R_7_19_STAFF_TIME)
      & in(R_7_19_STAFF_TIME,R_7_22_WRITING)
      & writing(R_7_22_WRITING,Z_7_A_IBM_1401_59,R_7_23_INSTRUCTIONS)
      & coded(R_7_24_CODED,Z_7_A_IBM_1401_66,R_7_23_INSTRUCTIONS)
      & in_clr73(R_7_24_CODED,R_7_26_THE_LANGUAGE)
      & the_language(R_7_26_THE_LANGUAGE)
      & of(R_7_26_THE_LANGUAGE,R_7_29_THE_COMPUTER) ) ).


n7_a_ibm_1401 n7_a_ibm_1401_4 A_few n7_a_ibm_1401_6 minutes n7_a_ibm_1401_9 of n7_a_ibm_1401_12 computer n7_a_ibm_1401_14 time n7_a_ibm_1401_17 in n7_a_ibm_1401_20 translating n7_a_ibm_1401_23 the n7_a_ibm_1401_25 program n7_a_ibm_1401_27 can n7_a_ibm_1401_30 be n7_a_ibm_1401_33 equal n7_a_ibm_1401_36 to n7_a_ibm_1401_40 many n7_a_ibm_1401_42 , n7_a_ibm_1401_45 many n7_a_ibm_1401_47 hours n7_a_ibm_1401_50 of n7_a_ibm_1401_53 staff n7_a_ibm_1401_55 time n7_a_ibm_1401_58 in n7_a_ibm_1401_61 writing n7_a_ibm_1401_64 instructions n7_a_ibm_1401_67 * n7_a_ibm_1401_69 coded n7_a_ibm_1401_72 in n7_a_ibm_1401_75 the n7_a_ibm_1401_77 language n7_a_ibm_1401_80 of n7_a_ibm_1401_83 the n7_a_ibm_1401_85 computer n7_a_ibm_1401_87 . n7_a_ibm_1401_1 IP-MAT n7_a_ibm_1401_2 NP-SBJ n7_a_ibm_1401_1->n7_a_ibm_1401_2 n7_a_ibm_1401_26 MD;_cat_Vi_ n7_a_ibm_1401_1->n7_a_ibm_1401_26 n7_a_ibm_1401_28 IP-INF-CAT n7_a_ibm_1401_1->n7_a_ibm_1401_28 n7_a_ibm_1401_86 PUNC n7_a_ibm_1401_1->n7_a_ibm_1401_86 n7_a_ibm_1401_3 D n7_a_ibm_1401_2->n7_a_ibm_1401_3 n7_a_ibm_1401_5 NS n7_a_ibm_1401_2->n7_a_ibm_1401_5 n7_a_ibm_1401_7 PP n7_a_ibm_1401_2->n7_a_ibm_1401_7 n7_a_ibm_1401_3->n7_a_ibm_1401_4 n7_a_ibm_1401_5->n7_a_ibm_1401_6 n7_a_ibm_1401_8 P-ROLE n7_a_ibm_1401_7->n7_a_ibm_1401_8 n7_a_ibm_1401_10 NP n7_a_ibm_1401_7->n7_a_ibm_1401_10 n7_a_ibm_1401_8->n7_a_ibm_1401_9 n7_a_ibm_1401_11 N n7_a_ibm_1401_10->n7_a_ibm_1401_11 n7_a_ibm_1401_13 N n7_a_ibm_1401_10->n7_a_ibm_1401_13 n7_a_ibm_1401_15 PP n7_a_ibm_1401_10->n7_a_ibm_1401_15 n7_a_ibm_1401_11->n7_a_ibm_1401_12 n7_a_ibm_1401_13->n7_a_ibm_1401_14 n7_a_ibm_1401_16 P-ROLE n7_a_ibm_1401_15->n7_a_ibm_1401_16 n7_a_ibm_1401_18 IP-PPL n7_a_ibm_1401_15->n7_a_ibm_1401_18 n7_a_ibm_1401_16->n7_a_ibm_1401_17 n7_a_ibm_1401_19 VAG;_Tn_ n7_a_ibm_1401_18->n7_a_ibm_1401_19 n7_a_ibm_1401_21 NP-OB1 n7_a_ibm_1401_18->n7_a_ibm_1401_21 n7_a_ibm_1401_19->n7_a_ibm_1401_20 n7_a_ibm_1401_22 D n7_a_ibm_1401_21->n7_a_ibm_1401_22 n7_a_ibm_1401_24 N n7_a_ibm_1401_21->n7_a_ibm_1401_24 n7_a_ibm_1401_22->n7_a_ibm_1401_23 n7_a_ibm_1401_24->n7_a_ibm_1401_25 n7_a_ibm_1401_26->n7_a_ibm_1401_27 n7_a_ibm_1401_29 BE;_La_ n7_a_ibm_1401_28->n7_a_ibm_1401_29 n7_a_ibm_1401_31 ADJP-PRD n7_a_ibm_1401_28->n7_a_ibm_1401_31 n7_a_ibm_1401_29->n7_a_ibm_1401_30 n7_a_ibm_1401_32 ADJ n7_a_ibm_1401_31->n7_a_ibm_1401_32 n7_a_ibm_1401_34 PP n7_a_ibm_1401_31->n7_a_ibm_1401_34 n7_a_ibm_1401_32->n7_a_ibm_1401_33 n7_a_ibm_1401_35 P-ROLE n7_a_ibm_1401_34->n7_a_ibm_1401_35 n7_a_ibm_1401_37 NP n7_a_ibm_1401_34->n7_a_ibm_1401_37 n7_a_ibm_1401_35->n7_a_ibm_1401_36 n7_a_ibm_1401_38 ADJP n7_a_ibm_1401_37->n7_a_ibm_1401_38 n7_a_ibm_1401_41 PUNC n7_a_ibm_1401_37->n7_a_ibm_1401_41 n7_a_ibm_1401_43 ADJP n7_a_ibm_1401_37->n7_a_ibm_1401_43 n7_a_ibm_1401_46 NS n7_a_ibm_1401_37->n7_a_ibm_1401_46 n7_a_ibm_1401_48 PP n7_a_ibm_1401_37->n7_a_ibm_1401_48 n7_a_ibm_1401_39 ADJ n7_a_ibm_1401_38->n7_a_ibm_1401_39 n7_a_ibm_1401_39->n7_a_ibm_1401_40 n7_a_ibm_1401_41->n7_a_ibm_1401_42 n7_a_ibm_1401_44 ADJ n7_a_ibm_1401_43->n7_a_ibm_1401_44 n7_a_ibm_1401_44->n7_a_ibm_1401_45 n7_a_ibm_1401_46->n7_a_ibm_1401_47 n7_a_ibm_1401_49 P-ROLE n7_a_ibm_1401_48->n7_a_ibm_1401_49 n7_a_ibm_1401_51 NP n7_a_ibm_1401_48->n7_a_ibm_1401_51 n7_a_ibm_1401_49->n7_a_ibm_1401_50 n7_a_ibm_1401_52 N n7_a_ibm_1401_51->n7_a_ibm_1401_52 n7_a_ibm_1401_54 N n7_a_ibm_1401_51->n7_a_ibm_1401_54 n7_a_ibm_1401_56 PP n7_a_ibm_1401_51->n7_a_ibm_1401_56 n7_a_ibm_1401_52->n7_a_ibm_1401_53 n7_a_ibm_1401_54->n7_a_ibm_1401_55 n7_a_ibm_1401_57 P-ROLE n7_a_ibm_1401_56->n7_a_ibm_1401_57 n7_a_ibm_1401_59 IP-PPL n7_a_ibm_1401_56->n7_a_ibm_1401_59 n7_a_ibm_1401_57->n7_a_ibm_1401_58 n7_a_ibm_1401_60 VAG;_Tn_ n7_a_ibm_1401_59->n7_a_ibm_1401_60 n7_a_ibm_1401_62 NP-OB1 n7_a_ibm_1401_59->n7_a_ibm_1401_62 n7_a_ibm_1401_60->n7_a_ibm_1401_61 n7_a_ibm_1401_63 NS n7_a_ibm_1401_62->n7_a_ibm_1401_63 n7_a_ibm_1401_65 IP-PPL n7_a_ibm_1401_62->n7_a_ibm_1401_65 n7_a_ibm_1401_63->n7_a_ibm_1401_64 n7_a_ibm_1401_66 NP-LGS n7_a_ibm_1401_65->n7_a_ibm_1401_66 n7_a_ibm_1401_68 VVN;_Tn.pr_ n7_a_ibm_1401_65->n7_a_ibm_1401_68 n7_a_ibm_1401_70 PP-CLR n7_a_ibm_1401_65->n7_a_ibm_1401_70 n7_a_ibm_1401_66->n7_a_ibm_1401_67 n7_a_ibm_1401_68->n7_a_ibm_1401_69 n7_a_ibm_1401_71 P-ROLE n7_a_ibm_1401_70->n7_a_ibm_1401_71 n7_a_ibm_1401_73 NP n7_a_ibm_1401_70->n7_a_ibm_1401_73 n7_a_ibm_1401_71->n7_a_ibm_1401_72 n7_a_ibm_1401_74 D n7_a_ibm_1401_73->n7_a_ibm_1401_74 n7_a_ibm_1401_76 N n7_a_ibm_1401_73->n7_a_ibm_1401_76 n7_a_ibm_1401_78 PP n7_a_ibm_1401_73->n7_a_ibm_1401_78 n7_a_ibm_1401_74->n7_a_ibm_1401_75 n7_a_ibm_1401_76->n7_a_ibm_1401_77 n7_a_ibm_1401_79 P-ROLE n7_a_ibm_1401_78->n7_a_ibm_1401_79 n7_a_ibm_1401_81 NP n7_a_ibm_1401_78->n7_a_ibm_1401_81 n7_a_ibm_1401_79->n7_a_ibm_1401_80 n7_a_ibm_1401_82 D n7_a_ibm_1401_81->n7_a_ibm_1401_82 n7_a_ibm_1401_84 N n7_a_ibm_1401_81->n7_a_ibm_1401_84 n7_a_ibm_1401_82->n7_a_ibm_1401_83 n7_a_ibm_1401_84->n7_a_ibm_1401_85 n7_a_ibm_1401_86->n7_a_ibm_1401_87 
( (IP-MAT (NP-SBJ (D A_few;{a_few})
                  (NS minutes;{minute})
                  (PP (P-ROLE of;{of})
                      (NP (N computer;{computer})
                          (N time;{time})
                          (PP (P-ROLE in;{in})
                              (IP-PPL (VAG;_Tn_ translating;{translate})
                                      (NP-OB1 (D the;{the})
                                              (N program;{program})))))))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ equal;{equal})
                                (PP (P-ROLE to;{to})
                                    (NP (ADJP (ADJ many;{many}))
                                        (PUNC ,)
                                        (ADJP (ADJ many;{many}))
                                        (NS hours;{hour})
                                        (PP (P-ROLE of;{of})
                                            (NP (N staff;{staff})
                                                (N time;{time})
                                                (PP (P-ROLE in;{in})
                                                    (IP-PPL (VAG;_Tn_ writing;{write})
                                                            (NP-OB1 (NS instructions;{instruction})
                                                                    (IP-PPL (NP-LGS *)
                                                                            (VVN;_Tn.pr_ coded;{code[in]})
                                                                            (PP-CLR (P-ROLE in;{in})
                                                                                    (NP (D the;{the})
                                                                                        (N language;{language})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (D the;{the})
                                                                                                (N computer;{computer})))))))))))))))
          (PUNC .))
  (ID 7_a_ibm_1401))