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_0001__When When r_0002_0003__order order r_0002_0001__When->r_0002_0003__order [restriction] r_0002_0015__are_r_0002_0016__given are given r_0002_0001__When->r_0002_0015__are_r_0002_0016__given [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_0014__staffs staffs r_0002_0015__are_r_0002_0016__given->r_0002_0014__staffs [arg2] r_0002_0017__the_r_0002_0018__responsibility the responsibility 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_0013__programming programming r_0002_0011__methods methods r_0002_0013__programming->r_0002_0011__methods [arg1] r_0002_0013__programming->r_0002_0014__staffs [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] 
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_4 When n2_a_ibm_1401_8 companies n2_a_ibm_1401_10 order n2_a_ibm_1401_13 an n2_a_ibm_1401_15 IBM n2_a_ibm_1401_17 1401 n2_a_ibm_1401_19 Data n2_a_ibm_1401_21 Processing n2_a_ibm_1401_23 System n2_a_ibm_1401_25 , n2_a_ibm_1401_30 methods n2_a_ibm_1401_32 - n2_a_ibm_1401_34 programming n2_a_ibm_1401_36 staffs n2_a_ibm_1401_38 are n2_a_ibm_1401_41 * n2_a_ibm_1401_43 given n2_a_ibm_1401_46 the n2_a_ibm_1401_48 responsibility n2_a_ibm_1401_51 of n2_a_ibm_1401_54 translating n2_a_ibm_1401_57 the n2_a_ibm_1401_59 requirements n2_a_ibm_1401_62 of n2_a_ibm_1401_65 management n2_a_ibm_1401_68 into n2_a_ibm_1401_72 finished n2_a_ibm_1401_74 applications n2_a_ibm_1401_76 . n2_a_ibm_1401_1 IP-MAT n2_a_ibm_1401_2 PP-SCON n2_a_ibm_1401_1->n2_a_ibm_1401_2 n2_a_ibm_1401_24 PUNC n2_a_ibm_1401_1->n2_a_ibm_1401_24 n2_a_ibm_1401_26 NP-SBJ n2_a_ibm_1401_1->n2_a_ibm_1401_26 n2_a_ibm_1401_37 BEP;_cat_VePASS_ n2_a_ibm_1401_1->n2_a_ibm_1401_37 n2_a_ibm_1401_39 IP-PPL-CAT n2_a_ibm_1401_1->n2_a_ibm_1401_39 n2_a_ibm_1401_75 PUNC n2_a_ibm_1401_1->n2_a_ibm_1401_75 n2_a_ibm_1401_3 P-CONN n2_a_ibm_1401_2->n2_a_ibm_1401_3 n2_a_ibm_1401_5 IP-ADV n2_a_ibm_1401_2->n2_a_ibm_1401_5 n2_a_ibm_1401_3->n2_a_ibm_1401_4 n2_a_ibm_1401_6 NP-SBJ n2_a_ibm_1401_5->n2_a_ibm_1401_6 n2_a_ibm_1401_9 VBP;_Tn_ n2_a_ibm_1401_5->n2_a_ibm_1401_9 n2_a_ibm_1401_11 NP-OB1 n2_a_ibm_1401_5->n2_a_ibm_1401_11 n2_a_ibm_1401_7 NS n2_a_ibm_1401_6->n2_a_ibm_1401_7 n2_a_ibm_1401_7->n2_a_ibm_1401_8 n2_a_ibm_1401_9->n2_a_ibm_1401_10 n2_a_ibm_1401_12 D n2_a_ibm_1401_11->n2_a_ibm_1401_12 n2_a_ibm_1401_14 NPR n2_a_ibm_1401_11->n2_a_ibm_1401_14 n2_a_ibm_1401_16 NPR n2_a_ibm_1401_11->n2_a_ibm_1401_16 n2_a_ibm_1401_18 NPR n2_a_ibm_1401_11->n2_a_ibm_1401_18 n2_a_ibm_1401_20 NPR n2_a_ibm_1401_11->n2_a_ibm_1401_20 n2_a_ibm_1401_22 NPR n2_a_ibm_1401_11->n2_a_ibm_1401_22 n2_a_ibm_1401_12->n2_a_ibm_1401_13 n2_a_ibm_1401_14->n2_a_ibm_1401_15 n2_a_ibm_1401_16->n2_a_ibm_1401_17 n2_a_ibm_1401_18->n2_a_ibm_1401_19 n2_a_ibm_1401_20->n2_a_ibm_1401_21 n2_a_ibm_1401_22->n2_a_ibm_1401_23 n2_a_ibm_1401_24->n2_a_ibm_1401_25 n2_a_ibm_1401_27 IP-PPL n2_a_ibm_1401_26->n2_a_ibm_1401_27 n2_a_ibm_1401_35 NS n2_a_ibm_1401_26->n2_a_ibm_1401_35 n2_a_ibm_1401_28 NP-OB1 n2_a_ibm_1401_27->n2_a_ibm_1401_28 n2_a_ibm_1401_31 PUNC n2_a_ibm_1401_27->n2_a_ibm_1401_31 n2_a_ibm_1401_33 VAG;_Tn_ n2_a_ibm_1401_27->n2_a_ibm_1401_33 n2_a_ibm_1401_29 NS n2_a_ibm_1401_28->n2_a_ibm_1401_29 n2_a_ibm_1401_29->n2_a_ibm_1401_30 n2_a_ibm_1401_31->n2_a_ibm_1401_32 n2_a_ibm_1401_33->n2_a_ibm_1401_34 n2_a_ibm_1401_35->n2_a_ibm_1401_36 n2_a_ibm_1401_37->n2_a_ibm_1401_38 n2_a_ibm_1401_40 NP-LGS n2_a_ibm_1401_39->n2_a_ibm_1401_40 n2_a_ibm_1401_42 VVN;_Dn.n_ n2_a_ibm_1401_39->n2_a_ibm_1401_42 n2_a_ibm_1401_44 NP-OB1 n2_a_ibm_1401_39->n2_a_ibm_1401_44 n2_a_ibm_1401_40->n2_a_ibm_1401_41 n2_a_ibm_1401_42->n2_a_ibm_1401_43 n2_a_ibm_1401_45 D n2_a_ibm_1401_44->n2_a_ibm_1401_45 n2_a_ibm_1401_47 N n2_a_ibm_1401_44->n2_a_ibm_1401_47 n2_a_ibm_1401_49 PP n2_a_ibm_1401_44->n2_a_ibm_1401_49 n2_a_ibm_1401_45->n2_a_ibm_1401_46 n2_a_ibm_1401_47->n2_a_ibm_1401_48 n2_a_ibm_1401_50 P-ROLE n2_a_ibm_1401_49->n2_a_ibm_1401_50 n2_a_ibm_1401_52 IP-PPL n2_a_ibm_1401_49->n2_a_ibm_1401_52 n2_a_ibm_1401_50->n2_a_ibm_1401_51 n2_a_ibm_1401_53 VAG;_Tn.pr_ n2_a_ibm_1401_52->n2_a_ibm_1401_53 n2_a_ibm_1401_55 NP-OB1 n2_a_ibm_1401_52->n2_a_ibm_1401_55 n2_a_ibm_1401_66 PP-CLR n2_a_ibm_1401_52->n2_a_ibm_1401_66 n2_a_ibm_1401_53->n2_a_ibm_1401_54 n2_a_ibm_1401_56 D n2_a_ibm_1401_55->n2_a_ibm_1401_56 n2_a_ibm_1401_58 NS n2_a_ibm_1401_55->n2_a_ibm_1401_58 n2_a_ibm_1401_60 PP n2_a_ibm_1401_55->n2_a_ibm_1401_60 n2_a_ibm_1401_56->n2_a_ibm_1401_57 n2_a_ibm_1401_58->n2_a_ibm_1401_59 n2_a_ibm_1401_61 P-ROLE n2_a_ibm_1401_60->n2_a_ibm_1401_61 n2_a_ibm_1401_63 NP n2_a_ibm_1401_60->n2_a_ibm_1401_63 n2_a_ibm_1401_61->n2_a_ibm_1401_62 n2_a_ibm_1401_64 N n2_a_ibm_1401_63->n2_a_ibm_1401_64 n2_a_ibm_1401_64->n2_a_ibm_1401_65 n2_a_ibm_1401_67 P-ROLE n2_a_ibm_1401_66->n2_a_ibm_1401_67 n2_a_ibm_1401_69 NP n2_a_ibm_1401_66->n2_a_ibm_1401_69 n2_a_ibm_1401_67->n2_a_ibm_1401_68 n2_a_ibm_1401_70 ADJP n2_a_ibm_1401_69->n2_a_ibm_1401_70 n2_a_ibm_1401_73 NS n2_a_ibm_1401_69->n2_a_ibm_1401_73 n2_a_ibm_1401_71 ADJ n2_a_ibm_1401_70->n2_a_ibm_1401_71 n2_a_ibm_1401_71->n2_a_ibm_1401_72 n2_a_ibm_1401_73->n2_a_ibm_1401_74 n2_a_ibm_1401_75->n2_a_ibm_1401_76 
( (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-PPL (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))