TSPC 2_a_ibm

2_a_ibm_1401
When companies order an IBM 1401 Data Processing System, methods - programming staffs are given the responsibility of translating the requirements of management into finished applications.

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (NS companies;{company}))
                           (VBP;_Tn_ order;{order})
                           (NP-OB1;{IBM1401} (D an;{an})
                                             (NPR IBM;{IBM})
                                             (NPR 1401)
                                             (NPR Data;{Data})
                                             (NPR Processing;{Processing})
                                             (NPR System;{System}))))
          (PUNC ,)
          (NP-SBJ;{METHODS_STAFF} (IP-PPL (NP-OB1 (NS methods;{method}))
                                          (PUNC <hyphen>)
                                          (VAG;_Tn_ programming;{program}))
                                  (NS staffs;{staff}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.n_ given;{give})
                      (NP-OB1 (D the;{the})
                              (N responsibility;{responsibility})
                              (PP (P-ROLE of;{of})
                                  (IP-PPL3 (VAG;_Tn.pr_ translating;{translate[into]})
                                           (NP-OB1 (D the;{the})
                                                   (NS requirements;{requirement})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (N management;{management}))))
                                           (PP-CLR (P-ROLE into;{into})
                                                   (NP (ADJP (ADJ finished;{finished}))
                                                       (NS applications;{application})))))))
          (PUNC .))
  (ID 2_a_ibm_1401))

arc(r_0002_0001__When,r_0002_0003__order,restriction).
arc(r_0002_0001__When,r_0002_0015__are,scope).
arc(r_0002_0003__order,r_0002_0002__companies,arg0).
arc(r_0002_0003__order,r_0002_0004__an_r_0002_0005__IBM_r_0002_0006__1401_r_0002_0007__Data_r_0002_0008__Processing_r_0002_0009__System,arg1).
arc(r_0002_0013__programming,r_0002_0011__methods,arg1).
arc(r_0002_0013__programming,r_0002_0014__staffs,inv_arg0).
arc(r_0002_0015__are,r_0002_0016__given,scope).
arc(r_0002_0016__given,r_0002_0014__staffs,arg2).
arc(r_0002_0016__given,r_0002_0017__the_r_0002_0018__responsibility,arg1).
arc(r_0002_0016__given,z_0002_5017___star_,arg0).
arc(r_0002_0017__the_r_0002_0018__responsibility,r_0002_0020__translating_r_0002_0025__into,r_0002_0019__of).
arc(r_0002_0020__translating_r_0002_0025__into,r_0002_0021__the_r_0002_0022__requirements,arg1).
arc(r_0002_0020__translating_r_0002_0025__into,r_0002_0027__applications,arg2).
arc(r_0002_0020__translating_r_0002_0025__into,z_0002_5011,arg0).
arc(r_0002_0021__the_r_0002_0022__requirements,r_0002_0024__management,r_0002_0023__of).
arc(r_0002_0027__applications,r_0002_0026__finished,attrib).

fof(formula,axiom,
    ! [R_0002_0003__ORDER,R_0002_0002__COMPANIES,R_0002_0004__AN_R_0002_0005__IBM_R_0002_0006__1401_R_0002_0007__DATA_R_0002_0008__PROCESSING_R_0002_0009__SYSTEM] :
      ( ( r_0002_0002__companies(R_0002_0002__COMPANIES)
        & r_0002_0004__an_r_0002_0005__IBM_r_0002_0006__1401_r_0002_0007__Data_r_0002_0008__Processing_r_0002_0009__System(R_0002_0004__AN_R_0002_0005__IBM_R_0002_0006__1401_R_0002_0007__DATA_R_0002_0008__PROCESSING_R_0002_0009__SYSTEM)
        & r_0002_0003__order(R_0002_0003__ORDER)
        & has_arg1(R_0002_0003__ORDER,R_0002_0004__AN_R_0002_0005__IBM_R_0002_0006__1401_R_0002_0007__DATA_R_0002_0008__PROCESSING_R_0002_0009__SYSTEM)
        & has_arg0(R_0002_0003__ORDER,R_0002_0002__COMPANIES) )
     => ? [R_0002_0011__METHODS,R_0002_0013__PROGRAMMING,R_0002_0014__STAFFS,R_0002_0024__MANAGEMENT,R_0002_0021__THE_R_0002_0022__REQUIREMENTS,R_0002_0026__FINISHED,R_0002_0027__APPLICATIONS,Z_0002_5011,R_0002_0020__TRANSLATING_R_0002_0025__INTO,R_0002_0017__THE_R_0002_0018__RESPONSIBILITY,Z_0002_5017___STAR_,R_0002_0015__ARE_R_0002_0016__GIVEN] :
          ( r_0002_0011__methods(R_0002_0011__METHODS)
          & r_0002_0024__management(R_0002_0024__MANAGEMENT)
          & r_0002_0026__finished(R_0002_0026__FINISHED)
          & z_0002_5011(Z_0002_5011)
          & z_0002_5017___star_(Z_0002_5017___STAR_)
          & r_0002_0015__are_r_0002_0016__given(R_0002_0015__ARE_R_0002_0016__GIVEN)
          & has_arg0(R_0002_0015__ARE_R_0002_0016__GIVEN,Z_0002_5017___STAR_)
          & has_arg1(R_0002_0015__ARE_R_0002_0016__GIVEN,R_0002_0017__THE_R_0002_0018__RESPONSIBILITY)
          & r_0002_0017__the_r_0002_0018__responsibility(R_0002_0017__THE_R_0002_0018__RESPONSIBILITY)
          & has_r_0002_0019__of(R_0002_0017__THE_R_0002_0018__RESPONSIBILITY,R_0002_0020__TRANSLATING_R_0002_0025__INTO)
          & r_0002_0020__translating_r_0002_0025__into(R_0002_0020__TRANSLATING_R_0002_0025__INTO)
          & has_arg0(R_0002_0020__TRANSLATING_R_0002_0025__INTO,Z_0002_5011)
          & has_arg2(R_0002_0020__TRANSLATING_R_0002_0025__INTO,R_0002_0027__APPLICATIONS)
          & r_0002_0027__applications(R_0002_0027__APPLICATIONS)
          & has_attrib(R_0002_0027__APPLICATIONS,R_0002_0026__FINISHED)
          & has_arg1(R_0002_0020__TRANSLATING_R_0002_0025__INTO,R_0002_0021__THE_R_0002_0022__REQUIREMENTS)
          & r_0002_0021__the_r_0002_0022__requirements(R_0002_0021__THE_R_0002_0022__REQUIREMENTS)
          & has_r_0002_0023__of(R_0002_0021__THE_R_0002_0022__REQUIREMENTS,R_0002_0024__MANAGEMENT)
          & has_arg2(R_0002_0015__ARE_R_0002_0016__GIVEN,R_0002_0014__STAFFS)
          & r_0002_0014__staffs(R_0002_0014__STAFFS)
          & has_inv_arg0(R_0002_0014__STAFFS,R_0002_0013__PROGRAMMING)
          & r_0002_0013__programming(R_0002_0013__PROGRAMMING)
          & has_arg1(R_0002_0013__PROGRAMMING,R_0002_0011__METHODS) ) ) ).