Context                Previous, Next                Top


3_a_ibm_1401
1401 Programming Systems are helping cut the costs of getting the computer into operation by simplifying and expediting the work of these methods staffs.

%3 r_0003_0004__are are r_0003_0005__helping helping r_0003_0004__are->r_0003_0005__helping [scope] r_0003_0006__cut cut r_0003_0005__helping->r_0003_0006__cut [scope] r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems 1401 Programming Systems r_0003_0006__cut->r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems [arg0] r_0003_0007__the_r_0003_0008__costs the costs r_0003_0006__cut->r_0003_0007__the_r_0003_0008__costs [arg1] r_0003_0010__getting getting r_0003_0007__the_r_0003_0008__costs->r_0003_0010__getting of r_0003_0011__the_r_0003_0012__computer the computer r_0003_0010__getting->r_0003_0011__the_r_0003_0012__computer [arg1] r_0003_0014__operation operation r_0003_0010__getting->r_0003_0014__operation into [clr] z_000_3_a_ibm_1401_25 r_0003_0010__getting->z_000_3_a_ibm_1401_25 [arg0] r_0003_0015__by by r_0003_0015__by->r_0003_0004__are [scope] r_0003_0017__and and r_0003_0015__by->r_0003_0017__and [restriction] r_0003_0016__simplifying simplifying r_0003_0017__and->r_0003_0016__simplifying [conj1] r_0003_0018__expediting expediting r_0003_0017__and->r_0003_0018__expediting [conj2] r_0003_0016__simplifying->r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems [arg0] r_0003_0019__the_r_0003_0020__work the work r_0003_0016__simplifying->r_0003_0019__the_r_0003_0020__work [arg1] r_0003_0022__these_r_0003_0023__methods_r_0003_0024__staffs these methods staffs r_0003_0019__the_r_0003_0020__work->r_0003_0022__these_r_0003_0023__methods_r_0003_0024__staffs of r_0003_0018__expediting->r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems [arg0] r_0003_0018__expediting->r_0003_0019__the_r_0003_0020__work [arg1] 
arc(r_0003_0004__are, r_0003_0005__helping, scope).
arc(r_0003_0005__helping, r_0003_0006__cut, scope).
arc(r_0003_0006__cut, r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems, arg0).
arc(r_0003_0006__cut, r_0003_0007__the_r_0003_0008__costs, arg1).
arc(r_0003_0007__the_r_0003_0008__costs, r_0003_0010__getting, r_0003_0009__of).
arc(r_0003_0010__getting, r_0003_0011__the_r_0003_0012__computer, arg1).
arc(r_0003_0010__getting, r_0003_0014__operation, r_0003_0013__into_clr36).
arc(r_0003_0010__getting, z_000_3_a_ibm_1401_25, arg0).
arc(r_0003_0015__by, r_0003_0004__are, scope).
arc(r_0003_0015__by, r_0003_0017__and, restriction).
arc(r_0003_0016__simplifying, r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems, arg0).
arc(r_0003_0016__simplifying, r_0003_0019__the_r_0003_0020__work, arg1).
arc(r_0003_0017__and, r_0003_0016__simplifying, conj1).
arc(r_0003_0017__and, r_0003_0018__expediting, conj2).
arc(r_0003_0018__expediting, r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems, arg0).
arc(r_0003_0018__expediting, r_0003_0019__the_r_0003_0020__work, arg1).
arc(r_0003_0019__the_r_0003_0020__work, r_0003_0022__these_r_0003_0023__methods_r_0003_0024__staffs, r_0003_0021__of).


%3 r_0003_0004__are_r_0003_0005__helping_r_0003_0006__cut are helping cut r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems 1401 Programming Systems r_0003_0004__are_r_0003_0005__helping_r_0003_0006__cut->r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems [arg0] r_0003_0007__the_r_0003_0008__costs the costs r_0003_0004__are_r_0003_0005__helping_r_0003_0006__cut->r_0003_0007__the_r_0003_0008__costs [arg1] r_0003_0010__getting getting r_0003_0007__the_r_0003_0008__costs->r_0003_0010__getting of r_0003_0011__the_r_0003_0012__computer the computer r_0003_0010__getting->r_0003_0011__the_r_0003_0012__computer [arg1] r_0003_0014__operation operation r_0003_0010__getting->r_0003_0014__operation into [clr] z_000_3_a_ibm_1401_25 r_0003_0010__getting->z_000_3_a_ibm_1401_25 [arg0] r_0003_0015__by by r_0003_0015__by->r_0003_0004__are_r_0003_0005__helping_r_0003_0006__cut [conj2] r_0003_0017__and and r_0003_0015__by->r_0003_0017__and [conj1] r_0003_0016__simplifying simplifying r_0003_0017__and->r_0003_0016__simplifying [conj1] r_0003_0018__expediting expediting r_0003_0017__and->r_0003_0018__expediting [conj2] r_0003_0016__simplifying->r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems [arg0] r_0003_0019__the_r_0003_0020__work the work r_0003_0016__simplifying->r_0003_0019__the_r_0003_0020__work [arg1] r_0003_0022__these_r_0003_0023__methods_r_0003_0024__staffs these methods staffs r_0003_0019__the_r_0003_0020__work->r_0003_0022__these_r_0003_0023__methods_r_0003_0024__staffs of r_0003_0018__expediting->r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems [arg0] r_0003_0018__expediting->r_0003_0019__the_r_0003_0020__work [arg1] 
fof(formula,axiom,
    ? [R_3_15_BY,R_3_17_AND,R_3_16_SIMPLIFYING,R_3_18_EXPEDITING,R_3_19_THE_WORK,R_3_22_THESE_METHODS_STAFFS,R_3_4_ARE_HELPING_CUT,R_3_1_1401_PROGRAMMING_SYSTEMS,R_3_7_THE_COSTS,R_3_10_GETTING,Z_3_A_IBM_1401_25,R_3_11_THE_COMPUTER,R_3_14_OPERATION] :
      ( these_methods_staffs(R_3_22_THESE_METHODS_STAFFS)
      & 1401_Programming_Systems(R_3_1_1401_PROGRAMMING_SYSTEMS)
      & the_computer(R_3_11_THE_COMPUTER)
      & operation(R_3_14_OPERATION)
      & by(R_3_15_BY)
      & conj1(R_3_15_BY,R_3_17_AND)
      & and(R_3_17_AND)
      & conj1(R_3_17_AND,R_3_16_SIMPLIFYING)
      & simplifying(R_3_16_SIMPLIFYING,R_3_1_1401_PROGRAMMING_SYSTEMS,R_3_19_THE_WORK)
      & the_work(R_3_19_THE_WORK)
      & of(R_3_19_THE_WORK,R_3_22_THESE_METHODS_STAFFS)
      & conj2(R_3_17_AND,R_3_18_EXPEDITING)
      & expediting(R_3_18_EXPEDITING,R_3_1_1401_PROGRAMMING_SYSTEMS,R_3_19_THE_WORK)
      & conj2(R_3_15_BY,R_3_4_ARE_HELPING_CUT)
      & are_helping_cut(R_3_4_ARE_HELPING_CUT,R_3_1_1401_PROGRAMMING_SYSTEMS,R_3_7_THE_COSTS)
      & the_costs(R_3_7_THE_COSTS)
      & of(R_3_7_THE_COSTS,R_3_10_GETTING)
      & getting(R_3_10_GETTING,Z_3_A_IBM_1401_25,R_3_11_THE_COMPUTER)
      & into_clr36(R_3_10_GETTING,R_3_14_OPERATION) ) ).


n3_a_ibm_1401 n3_a_ibm_1401_4 1401 n3_a_ibm_1401_6 Programming n3_a_ibm_1401_8 Systems n3_a_ibm_1401_10 are n3_a_ibm_1401_13 helping n3_a_ibm_1401_16 cut n3_a_ibm_1401_19 the n3_a_ibm_1401_21 costs n3_a_ibm_1401_24 of n3_a_ibm_1401_27 getting n3_a_ibm_1401_30 the n3_a_ibm_1401_32 computer n3_a_ibm_1401_35 into n3_a_ibm_1401_38 operation n3_a_ibm_1401_41 by n3_a_ibm_1401_46 simplifying n3_a_ibm_1401_49 and n3_a_ibm_1401_52 expediting n3_a_ibm_1401_55 the n3_a_ibm_1401_57 work n3_a_ibm_1401_60 of n3_a_ibm_1401_63 these n3_a_ibm_1401_65 methods n3_a_ibm_1401_67 staffs n3_a_ibm_1401_69 . n3_a_ibm_1401_1 IP-MAT n3_a_ibm_1401_2 NP-SBJ n3_a_ibm_1401_1->n3_a_ibm_1401_2 n3_a_ibm_1401_9 BEP;_cat_Vg_ n3_a_ibm_1401_1->n3_a_ibm_1401_9 n3_a_ibm_1401_11 IP-PPL-CAT n3_a_ibm_1401_1->n3_a_ibm_1401_11 n3_a_ibm_1401_39 PP-SCON n3_a_ibm_1401_1->n3_a_ibm_1401_39 n3_a_ibm_1401_68 PUNC n3_a_ibm_1401_1->n3_a_ibm_1401_68 n3_a_ibm_1401_3 NPR n3_a_ibm_1401_2->n3_a_ibm_1401_3 n3_a_ibm_1401_5 N n3_a_ibm_1401_2->n3_a_ibm_1401_5 n3_a_ibm_1401_7 NS n3_a_ibm_1401_2->n3_a_ibm_1401_7 n3_a_ibm_1401_3->n3_a_ibm_1401_4 n3_a_ibm_1401_5->n3_a_ibm_1401_6 n3_a_ibm_1401_7->n3_a_ibm_1401_8 n3_a_ibm_1401_9->n3_a_ibm_1401_10 n3_a_ibm_1401_12 VAG;_cat_Vi_ n3_a_ibm_1401_11->n3_a_ibm_1401_12 n3_a_ibm_1401_14 IP-INF-CAT n3_a_ibm_1401_11->n3_a_ibm_1401_14 n3_a_ibm_1401_12->n3_a_ibm_1401_13 n3_a_ibm_1401_15 VB;_Tn_ n3_a_ibm_1401_14->n3_a_ibm_1401_15 n3_a_ibm_1401_17 NP-OB1 n3_a_ibm_1401_14->n3_a_ibm_1401_17 n3_a_ibm_1401_15->n3_a_ibm_1401_16 n3_a_ibm_1401_18 D n3_a_ibm_1401_17->n3_a_ibm_1401_18 n3_a_ibm_1401_20 NS n3_a_ibm_1401_17->n3_a_ibm_1401_20 n3_a_ibm_1401_22 PP n3_a_ibm_1401_17->n3_a_ibm_1401_22 n3_a_ibm_1401_18->n3_a_ibm_1401_19 n3_a_ibm_1401_20->n3_a_ibm_1401_21 n3_a_ibm_1401_23 P-ROLE n3_a_ibm_1401_22->n3_a_ibm_1401_23 n3_a_ibm_1401_25 IP-PPL n3_a_ibm_1401_22->n3_a_ibm_1401_25 n3_a_ibm_1401_23->n3_a_ibm_1401_24 n3_a_ibm_1401_26 VAG;_Tn.pr_ n3_a_ibm_1401_25->n3_a_ibm_1401_26 n3_a_ibm_1401_28 NP-OB1 n3_a_ibm_1401_25->n3_a_ibm_1401_28 n3_a_ibm_1401_33 PP-CLR n3_a_ibm_1401_25->n3_a_ibm_1401_33 n3_a_ibm_1401_26->n3_a_ibm_1401_27 n3_a_ibm_1401_29 D n3_a_ibm_1401_28->n3_a_ibm_1401_29 n3_a_ibm_1401_31 N n3_a_ibm_1401_28->n3_a_ibm_1401_31 n3_a_ibm_1401_29->n3_a_ibm_1401_30 n3_a_ibm_1401_31->n3_a_ibm_1401_32 n3_a_ibm_1401_34 P-ROLE n3_a_ibm_1401_33->n3_a_ibm_1401_34 n3_a_ibm_1401_36 NP n3_a_ibm_1401_33->n3_a_ibm_1401_36 n3_a_ibm_1401_34->n3_a_ibm_1401_35 n3_a_ibm_1401_37 N n3_a_ibm_1401_36->n3_a_ibm_1401_37 n3_a_ibm_1401_37->n3_a_ibm_1401_38 n3_a_ibm_1401_40 P-CONN n3_a_ibm_1401_39->n3_a_ibm_1401_40 n3_a_ibm_1401_42 IP-PPL2 n3_a_ibm_1401_39->n3_a_ibm_1401_42 n3_a_ibm_1401_40->n3_a_ibm_1401_41 n3_a_ibm_1401_43 ILYR n3_a_ibm_1401_42->n3_a_ibm_1401_43 n3_a_ibm_1401_53 NP-OB1 n3_a_ibm_1401_42->n3_a_ibm_1401_53 n3_a_ibm_1401_44 ILYR n3_a_ibm_1401_43->n3_a_ibm_1401_44 n3_a_ibm_1401_47 CONJP n3_a_ibm_1401_43->n3_a_ibm_1401_47 n3_a_ibm_1401_45 VAG;_Tn_ n3_a_ibm_1401_44->n3_a_ibm_1401_45 n3_a_ibm_1401_45->n3_a_ibm_1401_46 n3_a_ibm_1401_48 CONJ n3_a_ibm_1401_47->n3_a_ibm_1401_48 n3_a_ibm_1401_50 ILYR n3_a_ibm_1401_47->n3_a_ibm_1401_50 n3_a_ibm_1401_48->n3_a_ibm_1401_49 n3_a_ibm_1401_51 VAG;_Tn_ n3_a_ibm_1401_50->n3_a_ibm_1401_51 n3_a_ibm_1401_51->n3_a_ibm_1401_52 n3_a_ibm_1401_54 D n3_a_ibm_1401_53->n3_a_ibm_1401_54 n3_a_ibm_1401_56 N n3_a_ibm_1401_53->n3_a_ibm_1401_56 n3_a_ibm_1401_58 PP n3_a_ibm_1401_53->n3_a_ibm_1401_58 n3_a_ibm_1401_54->n3_a_ibm_1401_55 n3_a_ibm_1401_56->n3_a_ibm_1401_57 n3_a_ibm_1401_59 P-ROLE n3_a_ibm_1401_58->n3_a_ibm_1401_59 n3_a_ibm_1401_61 NP n3_a_ibm_1401_58->n3_a_ibm_1401_61 n3_a_ibm_1401_59->n3_a_ibm_1401_60 n3_a_ibm_1401_62 D n3_a_ibm_1401_61->n3_a_ibm_1401_62 n3_a_ibm_1401_64 NS n3_a_ibm_1401_61->n3_a_ibm_1401_64 n3_a_ibm_1401_66 NS n3_a_ibm_1401_61->n3_a_ibm_1401_66 n3_a_ibm_1401_62->n3_a_ibm_1401_63 n3_a_ibm_1401_64->n3_a_ibm_1401_65 n3_a_ibm_1401_66->n3_a_ibm_1401_67 n3_a_ibm_1401_68->n3_a_ibm_1401_69 
( (IP-MAT (NP-SBJ;{IBM1401} (NPR 1401)
                            (N Programming;{programming})
                            (NS Systems;{system}))
          (BEP;_cat_Vg_ are;{be})
          (IP-PPL-CAT (VAG;_cat_Vi_ helping;{help})
                      (IP-INF-CAT (VB;_Tn_ cut;{cut})
                                  (NP-OB1 (D the;{the})
                                          (NS costs;{cost})
                                          (PP (P-ROLE of;{of})
                                              (IP-PPL (VAG;_Tn.pr_ getting;{get[into]})
                                                      (NP-OB1;{IBM1401} (D the;{the})
                                                                        (N computer;{computer}))
                                                      (PP-CLR (P-ROLE into;{into})
                                                              (NP (N operation;{operation}))))))))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL2 (ILYR (ILYR (VAG;_Tn_ simplifying;{simplify}))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VAG;_Tn_ expediting;{expedite}))))
                            (NP-OB1 (D the;{the})
                                    (N work;{work})
                                    (PP (P-ROLE of;{of})
                                        (NP;{METHODS_STAFF} (D these;{these})
                                                            (NS methods;{method})
                                                            (NS staffs;{staff}))))))
          (PUNC .))
  (ID 3_a_ibm_1401))