TSPC 3_a_ibm

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.

( (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-PPL3 (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))

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_0013__into,r_0003_0009__of).
arc(r_0003_0010__getting_r_0003_0013__into,r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems,arg1).
arc(r_0003_0010__getting_r_0003_0013__into,r_0003_0014__operation,arg2).
arc(r_0003_0010__getting_r_0003_0013__into,z_0003_5013,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).

fof(formula,axiom,
    ? [R_0003_0001__1401_R_0003_0002__PROGRAMMING_R_0003_0003__SYSTEMS,R_0003_0014__OPERATION,Z_0003_5013,R_0003_0010__GETTING_R_0003_0013__INTO,R_0003_0007__THE_R_0003_0008__COSTS,R_0003_0004__ARE_R_0003_0005__HELPING_R_0003_0006__CUT,R_0003_0022__THESE_R_0003_0023__METHODS_R_0003_0024__STAFFS,R_0003_0019__THE_R_0003_0020__WORK,R_0003_0016__SIMPLIFYING,R_0003_0018__EXPEDITING,R_0003_0017__AND,R_0003_0015__BY] :
      ( r_0003_0001__1401_r_0003_0002__Programming_r_0003_0003__Systems(R_0003_0001__1401_R_0003_0002__PROGRAMMING_R_0003_0003__SYSTEMS)
      & r_0003_0014__operation(R_0003_0014__OPERATION)
      & r_0003_0022__these_r_0003_0023__methods_r_0003_0024__staffs(R_0003_0022__THESE_R_0003_0023__METHODS_R_0003_0024__STAFFS)
      & z_0003_5013(Z_0003_5013)
      & r_0003_0015__by(R_0003_0015__BY)
      & has_conj1(R_0003_0015__BY,R_0003_0017__AND)
      & r_0003_0017__and(R_0003_0017__AND)
      & has_conj2(R_0003_0017__AND,R_0003_0018__EXPEDITING)
      & r_0003_0018__expediting(R_0003_0018__EXPEDITING)
      & has_arg1(R_0003_0018__EXPEDITING,R_0003_0019__THE_R_0003_0020__WORK)
      & r_0003_0019__the_r_0003_0020__work(R_0003_0019__THE_R_0003_0020__WORK)
      & has_r_0003_0021__of(R_0003_0019__THE_R_0003_0020__WORK,R_0003_0022__THESE_R_0003_0023__METHODS_R_0003_0024__STAFFS)
      & has_arg0(R_0003_0018__EXPEDITING,R_0003_0001__1401_R_0003_0002__PROGRAMMING_R_0003_0003__SYSTEMS)
      & has_conj1(R_0003_0017__AND,R_0003_0016__SIMPLIFYING)
      & r_0003_0016__simplifying(R_0003_0016__SIMPLIFYING)
      & has_arg1(R_0003_0016__SIMPLIFYING,R_0003_0019__THE_R_0003_0020__WORK)
      & has_arg0(R_0003_0016__SIMPLIFYING,R_0003_0001__1401_R_0003_0002__PROGRAMMING_R_0003_0003__SYSTEMS)
      & has_conj2(R_0003_0015__BY,R_0003_0004__ARE_R_0003_0005__HELPING_R_0003_0006__CUT)
      & r_0003_0004__are_r_0003_0005__helping_r_0003_0006__cut(R_0003_0004__ARE_R_0003_0005__HELPING_R_0003_0006__CUT)
      & has_arg1(R_0003_0004__ARE_R_0003_0005__HELPING_R_0003_0006__CUT,R_0003_0007__THE_R_0003_0008__COSTS)
      & r_0003_0007__the_r_0003_0008__costs(R_0003_0007__THE_R_0003_0008__COSTS)
      & has_r_0003_0009__of(R_0003_0007__THE_R_0003_0008__COSTS,R_0003_0010__GETTING_R_0003_0013__INTO)
      & r_0003_0010__getting_r_0003_0013__into(R_0003_0010__GETTING_R_0003_0013__INTO)
      & has_arg0(R_0003_0010__GETTING_R_0003_0013__INTO,Z_0003_5013)
      & has_arg2(R_0003_0010__GETTING_R_0003_0013__INTO,R_0003_0014__OPERATION)
      & has_arg1(R_0003_0010__GETTING_R_0003_0013__INTO,R_0003_0001__1401_R_0003_0002__PROGRAMMING_R_0003_0003__SYSTEMS)
      & has_arg0(R_0003_0004__ARE_R_0003_0005__HELPING_R_0003_0006__CUT,R_0003_0001__1401_R_0003_0002__PROGRAMMING_R_0003_0003__SYSTEMS) ) ).