Context                Previous, Next                Top


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.

%3 r_0002_0001__When When r_0002_0003__order order r_0002_0001__When->r_0002_0003__order [restriction] r_0002_0015__are are r_0002_0001__When->r_0002_0015__are [scope] r_0002_0002__companies companies r_0002_0003__order->r_0002_0002__companies [arg0] r_0002_0004__an_r_0002_0005__IBM_r_0002_0006__1401_r_0002_0007__Data_r_0002_0008__Processing_r_0002_0009__System an IBM 1401 Data Processing System 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] r_0002_0016__given given r_0002_0015__are->r_0002_0016__given [scope] r_0002_0013__programming programming r_0002_0011__methods methods r_0002_0013__programming->r_0002_0011__methods [arg1] r_0002_0014__staffs staffs r_0002_0013__programming->r_0002_0014__staffs [arg0] r_0002_0016__given->r_0002_0014__staffs [arg2] r_0002_0017__the_r_0002_0018__responsibility the responsibility r_0002_0016__given->r_0002_0017__the_r_0002_0018__responsibility [arg1] z_000_2_a_ibm_1401_40 r_0002_0016__given->z_000_2_a_ibm_1401_40 [arg0] r_0002_0020__translating translating r_0002_0017__the_r_0002_0018__responsibility->r_0002_0020__translating of r_0002_0021__the_r_0002_0022__requirements the requirements r_0002_0020__translating->r_0002_0021__the_r_0002_0022__requirements [arg1] r_0002_0027__applications applications r_0002_0020__translating->r_0002_0027__applications into [clr] z_000_2_a_ibm_1401_52 r_0002_0020__translating->z_000_2_a_ibm_1401_52 [arg0] r_0002_0024__management management r_0002_0021__the_r_0002_0022__requirements->r_0002_0024__management of r_0002_0026__finished finished r_0002_0027__applications->r_0002_0026__finished [attrib] 
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, 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_000_2_a_ibm_1401_40, arg0).
arc(r_0002_0017__the_r_0002_0018__responsibility, r_0002_0020__translating, r_0002_0019__of).
arc(r_0002_0020__translating, r_0002_0021__the_r_0002_0022__requirements, arg1).
arc(r_0002_0020__translating, r_0002_0027__applications, r_0002_0025__into_clr69).
arc(r_0002_0020__translating, z_000_2_a_ibm_1401_52, 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, attrib70).


%3 r_0002_0027__applications applications r_0002_0026__finished finished r_0002_0027__applications->r_0002_0026__finished [attrib] r_0002_0021__the_r_0002_0022__requirements the requirements r_0002_0024__management management r_0002_0021__the_r_0002_0022__requirements->r_0002_0024__management of r_0002_0020__translating translating r_0002_0020__translating->r_0002_0027__applications into [clr] r_0002_0020__translating->r_0002_0021__the_r_0002_0022__requirements [arg1] z_000_2_a_ibm_1401_52 r_0002_0020__translating->z_000_2_a_ibm_1401_52 [arg0] r_0002_0017__the_r_0002_0018__responsibility the responsibility r_0002_0017__the_r_0002_0018__responsibility->r_0002_0020__translating of r_0002_0015__are_r_0002_0016__given are given r_0002_0015__are_r_0002_0016__given->r_0002_0017__the_r_0002_0018__responsibility [arg1] z_000_2_a_ibm_1401_40 r_0002_0015__are_r_0002_0016__given->z_000_2_a_ibm_1401_40 [arg0] r_0002_0014__staffs staffs r_0002_0015__are_r_0002_0016__given->r_0002_0014__staffs [arg2] r_0002_0013__programming programming r_0002_0013__programming->r_0002_0014__staffs [arg0] r_0002_0011__methods methods r_0002_0013__programming->r_0002_0011__methods [arg1] r_0002_0003__order 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 an IBM 1401 Data Processing System 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] r_0002_0002__companies companies r_0002_0003__order->r_0002_0002__companies [arg0] r_0002_0001__When When r_0002_0001__When->r_0002_0015__are_r_0002_0016__given [scope] r_0002_0001__When->r_0002_0003__order [restriction] 
fof(formula,axiom,
    ? [R_2_13_PROGRAMMING,R_2_14_STAFFS,R_2_11_METHODS] :
      ( staffs(R_2_14_STAFFS)
      & methods(R_2_11_METHODS)
      & ! [R_2_3_ORDER,R_2_2_COMPANIES,R_2_4_AN_IBM_1401_DATA_PROCESSING_SYSTEM] :
          ( ( companies(R_2_2_COMPANIES)
            & an_IBM_1401_Data_Processing_System(R_2_4_AN_IBM_1401_DATA_PROCESSING_SYSTEM)
            & order(R_2_3_ORDER,R_2_2_COMPANIES,R_2_4_AN_IBM_1401_DATA_PROCESSING_SYSTEM) )
         => ? [R_2_15_ARE_GIVEN,Z_2_A_IBM_1401_40,R_2_17_THE_RESPONSIBILITY,R_2_20_TRANSLATING,Z_2_A_IBM_1401_52,R_2_21_THE_REQUIREMENTS,R_2_24_MANAGEMENT,R_2_27_APPLICATIONS,R_2_26_FINISHED] :
              ( management(R_2_24_MANAGEMENT)
              & finished(R_2_26_FINISHED)
              & are_given(R_2_15_ARE_GIVEN,Z_2_A_IBM_1401_40,R_2_17_THE_RESPONSIBILITY,R_2_14_STAFFS)
              & the_responsibility(R_2_17_THE_RESPONSIBILITY)
              & of(R_2_17_THE_RESPONSIBILITY,R_2_20_TRANSLATING)
              & translating(R_2_20_TRANSLATING,Z_2_A_IBM_1401_52,R_2_21_THE_REQUIREMENTS)
              & the_requirements(R_2_21_THE_REQUIREMENTS)
              & of(R_2_21_THE_REQUIREMENTS,R_2_24_MANAGEMENT)
              & into_clr69(R_2_20_TRANSLATING,R_2_27_APPLICATIONS)
              & applications(R_2_27_APPLICATIONS)
              & attrib70(R_2_27_APPLICATIONS,R_2_26_FINISHED) ) )
      & programming(R_2_13_PROGRAMMING,R_2_14_STAFFS,R_2_11_METHODS) ) ).


n2_a_ibm_1401 n2_a_ibm_1401__1_1_1_1 When n2_a_ibm_1401__1_1_2_1_1_1 companies n2_a_ibm_1401__1_1_2_2_1 order n2_a_ibm_1401__1_1_2_3_1_1 an n2_a_ibm_1401__1_1_2_3_2_1 IBM n2_a_ibm_1401__1_1_2_3_3_1 1401 n2_a_ibm_1401__1_1_2_3_4_1 Data n2_a_ibm_1401__1_1_2_3_5_1 Processing n2_a_ibm_1401__1_1_2_3_6_1 System n2_a_ibm_1401__1_2_1 , n2_a_ibm_1401__1_3_1_1_1_1 methods n2_a_ibm_1401__1_3_1_2_1 - n2_a_ibm_1401__1_3_1_3_1 programming n2_a_ibm_1401__1_3_2_1 staffs n2_a_ibm_1401__1_4_1 are n2_a_ibm_1401__1_5_1_1 * n2_a_ibm_1401__1_5_2_1 given n2_a_ibm_1401__1_5_3_1_1 the n2_a_ibm_1401__1_5_3_2_1 responsibility n2_a_ibm_1401__1_5_3_3_1_1 of n2_a_ibm_1401__1_5_3_3_2_1_1 translating n2_a_ibm_1401__1_5_3_3_2_2_1_1 the n2_a_ibm_1401__1_5_3_3_2_2_2_1 requirements n2_a_ibm_1401__1_5_3_3_2_2_3_1_1 of n2_a_ibm_1401__1_5_3_3_2_2_3_2_1_1 management n2_a_ibm_1401__1_5_3_3_2_3_1_1 into n2_a_ibm_1401__1_5_3_3_2_3_2_1_1_1 finished n2_a_ibm_1401__1_5_3_3_2_3_2_2_1 applications n2_a_ibm_1401__1_6_1 . n2_a_ibm_1401__1 IP-MAT n2_a_ibm_1401__1_1 PP-SCON n2_a_ibm_1401__1->n2_a_ibm_1401__1_1 n2_a_ibm_1401__1_2 PUNC n2_a_ibm_1401__1->n2_a_ibm_1401__1_2 n2_a_ibm_1401__1_3 NP-SBJ n2_a_ibm_1401__1->n2_a_ibm_1401__1_3 n2_a_ibm_1401__1_4 BEP;_cat_VePASS_ n2_a_ibm_1401__1->n2_a_ibm_1401__1_4 n2_a_ibm_1401__1_5 IP-PPL-CAT n2_a_ibm_1401__1->n2_a_ibm_1401__1_5 n2_a_ibm_1401__1_6 PUNC n2_a_ibm_1401__1->n2_a_ibm_1401__1_6 n2_a_ibm_1401__1_1_1 P-CONN n2_a_ibm_1401__1_1->n2_a_ibm_1401__1_1_1 n2_a_ibm_1401__1_1_2 IP-ADV n2_a_ibm_1401__1_1->n2_a_ibm_1401__1_1_2 n2_a_ibm_1401__1_1_1->n2_a_ibm_1401__1_1_1_1 n2_a_ibm_1401__1_1_2_1 NP-SBJ n2_a_ibm_1401__1_1_2->n2_a_ibm_1401__1_1_2_1 n2_a_ibm_1401__1_1_2_2 VBP;_Tn_ n2_a_ibm_1401__1_1_2->n2_a_ibm_1401__1_1_2_2 n2_a_ibm_1401__1_1_2_3 NP-OB1 n2_a_ibm_1401__1_1_2->n2_a_ibm_1401__1_1_2_3 n2_a_ibm_1401__1_1_2_1_1 NS n2_a_ibm_1401__1_1_2_1->n2_a_ibm_1401__1_1_2_1_1 n2_a_ibm_1401__1_1_2_1_1->n2_a_ibm_1401__1_1_2_1_1_1 n2_a_ibm_1401__1_1_2_2->n2_a_ibm_1401__1_1_2_2_1 n2_a_ibm_1401__1_1_2_3_1 D n2_a_ibm_1401__1_1_2_3->n2_a_ibm_1401__1_1_2_3_1 n2_a_ibm_1401__1_1_2_3_2 NPR n2_a_ibm_1401__1_1_2_3->n2_a_ibm_1401__1_1_2_3_2 n2_a_ibm_1401__1_1_2_3_3 NPR n2_a_ibm_1401__1_1_2_3->n2_a_ibm_1401__1_1_2_3_3 n2_a_ibm_1401__1_1_2_3_4 NPR n2_a_ibm_1401__1_1_2_3->n2_a_ibm_1401__1_1_2_3_4 n2_a_ibm_1401__1_1_2_3_5 NPR n2_a_ibm_1401__1_1_2_3->n2_a_ibm_1401__1_1_2_3_5 n2_a_ibm_1401__1_1_2_3_6 NPR n2_a_ibm_1401__1_1_2_3->n2_a_ibm_1401__1_1_2_3_6 n2_a_ibm_1401__1_1_2_3_1->n2_a_ibm_1401__1_1_2_3_1_1 n2_a_ibm_1401__1_1_2_3_2->n2_a_ibm_1401__1_1_2_3_2_1 n2_a_ibm_1401__1_1_2_3_3->n2_a_ibm_1401__1_1_2_3_3_1 n2_a_ibm_1401__1_1_2_3_4->n2_a_ibm_1401__1_1_2_3_4_1 n2_a_ibm_1401__1_1_2_3_5->n2_a_ibm_1401__1_1_2_3_5_1 n2_a_ibm_1401__1_1_2_3_6->n2_a_ibm_1401__1_1_2_3_6_1 n2_a_ibm_1401__1_2->n2_a_ibm_1401__1_2_1 n2_a_ibm_1401__1_3_1 IP-PPL n2_a_ibm_1401__1_3->n2_a_ibm_1401__1_3_1 n2_a_ibm_1401__1_3_2 NS n2_a_ibm_1401__1_3->n2_a_ibm_1401__1_3_2 n2_a_ibm_1401__1_3_1_1 NP-OB1 n2_a_ibm_1401__1_3_1->n2_a_ibm_1401__1_3_1_1 n2_a_ibm_1401__1_3_1_2 PUNC n2_a_ibm_1401__1_3_1->n2_a_ibm_1401__1_3_1_2 n2_a_ibm_1401__1_3_1_3 VAG;_Tn_ n2_a_ibm_1401__1_3_1->n2_a_ibm_1401__1_3_1_3 n2_a_ibm_1401__1_3_1_1_1 NS n2_a_ibm_1401__1_3_1_1->n2_a_ibm_1401__1_3_1_1_1 n2_a_ibm_1401__1_3_1_1_1->n2_a_ibm_1401__1_3_1_1_1_1 n2_a_ibm_1401__1_3_1_2->n2_a_ibm_1401__1_3_1_2_1 n2_a_ibm_1401__1_3_1_3->n2_a_ibm_1401__1_3_1_3_1 n2_a_ibm_1401__1_3_2->n2_a_ibm_1401__1_3_2_1 n2_a_ibm_1401__1_4->n2_a_ibm_1401__1_4_1 n2_a_ibm_1401__1_5_1 NP-LGS n2_a_ibm_1401__1_5->n2_a_ibm_1401__1_5_1 n2_a_ibm_1401__1_5_2 VVN;_Dn.n_ n2_a_ibm_1401__1_5->n2_a_ibm_1401__1_5_2 n2_a_ibm_1401__1_5_3 NP-OB1 n2_a_ibm_1401__1_5->n2_a_ibm_1401__1_5_3 n2_a_ibm_1401__1_5_1->n2_a_ibm_1401__1_5_1_1 n2_a_ibm_1401__1_5_2->n2_a_ibm_1401__1_5_2_1 n2_a_ibm_1401__1_5_3_1 D n2_a_ibm_1401__1_5_3->n2_a_ibm_1401__1_5_3_1 n2_a_ibm_1401__1_5_3_2 N n2_a_ibm_1401__1_5_3->n2_a_ibm_1401__1_5_3_2 n2_a_ibm_1401__1_5_3_3 PP n2_a_ibm_1401__1_5_3->n2_a_ibm_1401__1_5_3_3 n2_a_ibm_1401__1_5_3_1->n2_a_ibm_1401__1_5_3_1_1 n2_a_ibm_1401__1_5_3_2->n2_a_ibm_1401__1_5_3_2_1 n2_a_ibm_1401__1_5_3_3_1 P-ROLE n2_a_ibm_1401__1_5_3_3->n2_a_ibm_1401__1_5_3_3_1 n2_a_ibm_1401__1_5_3_3_2 IP-PPL3 n2_a_ibm_1401__1_5_3_3->n2_a_ibm_1401__1_5_3_3_2 n2_a_ibm_1401__1_5_3_3_1->n2_a_ibm_1401__1_5_3_3_1_1 n2_a_ibm_1401__1_5_3_3_2_1 VAG;_Tn.pr_ n2_a_ibm_1401__1_5_3_3_2->n2_a_ibm_1401__1_5_3_3_2_1 n2_a_ibm_1401__1_5_3_3_2_2 NP-OB1 n2_a_ibm_1401__1_5_3_3_2->n2_a_ibm_1401__1_5_3_3_2_2 n2_a_ibm_1401__1_5_3_3_2_3 PP-CLR n2_a_ibm_1401__1_5_3_3_2->n2_a_ibm_1401__1_5_3_3_2_3 n2_a_ibm_1401__1_5_3_3_2_1->n2_a_ibm_1401__1_5_3_3_2_1_1 n2_a_ibm_1401__1_5_3_3_2_2_1 D n2_a_ibm_1401__1_5_3_3_2_2->n2_a_ibm_1401__1_5_3_3_2_2_1 n2_a_ibm_1401__1_5_3_3_2_2_2 NS n2_a_ibm_1401__1_5_3_3_2_2->n2_a_ibm_1401__1_5_3_3_2_2_2 n2_a_ibm_1401__1_5_3_3_2_2_3 PP n2_a_ibm_1401__1_5_3_3_2_2->n2_a_ibm_1401__1_5_3_3_2_2_3 n2_a_ibm_1401__1_5_3_3_2_2_1->n2_a_ibm_1401__1_5_3_3_2_2_1_1 n2_a_ibm_1401__1_5_3_3_2_2_2->n2_a_ibm_1401__1_5_3_3_2_2_2_1 n2_a_ibm_1401__1_5_3_3_2_2_3_1 P-ROLE n2_a_ibm_1401__1_5_3_3_2_2_3->n2_a_ibm_1401__1_5_3_3_2_2_3_1 n2_a_ibm_1401__1_5_3_3_2_2_3_2 NP n2_a_ibm_1401__1_5_3_3_2_2_3->n2_a_ibm_1401__1_5_3_3_2_2_3_2 n2_a_ibm_1401__1_5_3_3_2_2_3_1->n2_a_ibm_1401__1_5_3_3_2_2_3_1_1 n2_a_ibm_1401__1_5_3_3_2_2_3_2_1 N n2_a_ibm_1401__1_5_3_3_2_2_3_2->n2_a_ibm_1401__1_5_3_3_2_2_3_2_1 n2_a_ibm_1401__1_5_3_3_2_2_3_2_1->n2_a_ibm_1401__1_5_3_3_2_2_3_2_1_1 n2_a_ibm_1401__1_5_3_3_2_3_1 P-ROLE n2_a_ibm_1401__1_5_3_3_2_3->n2_a_ibm_1401__1_5_3_3_2_3_1 n2_a_ibm_1401__1_5_3_3_2_3_2 NP n2_a_ibm_1401__1_5_3_3_2_3->n2_a_ibm_1401__1_5_3_3_2_3_2 n2_a_ibm_1401__1_5_3_3_2_3_1->n2_a_ibm_1401__1_5_3_3_2_3_1_1 n2_a_ibm_1401__1_5_3_3_2_3_2_1 ADJP n2_a_ibm_1401__1_5_3_3_2_3_2->n2_a_ibm_1401__1_5_3_3_2_3_2_1 n2_a_ibm_1401__1_5_3_3_2_3_2_2 NS n2_a_ibm_1401__1_5_3_3_2_3_2->n2_a_ibm_1401__1_5_3_3_2_3_2_2 n2_a_ibm_1401__1_5_3_3_2_3_2_1_1 ADJ n2_a_ibm_1401__1_5_3_3_2_3_2_1->n2_a_ibm_1401__1_5_3_3_2_3_2_1_1 n2_a_ibm_1401__1_5_3_3_2_3_2_1_1->n2_a_ibm_1401__1_5_3_3_2_3_2_1_1_1 n2_a_ibm_1401__1_5_3_3_2_3_2_2->n2_a_ibm_1401__1_5_3_3_2_3_2_2_1 n2_a_ibm_1401__1_6->n2_a_ibm_1401__1_6_1 
( (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))