76_a_ibm_1401
New IBM Services include: Programmed Applications Library Pre-tested computer programs designed to handle various major data processing functions common to firms within a specific industry. Programming Systems Support To keep customers up-to-date on the availability and use of all new programming systems. To assist the IBM programming staff in reflecting customer requirements in the specification of new programming systems.

%3 r_0076_0002__IBM_r_0076_0003__Services IBM Services r_0076_0001__New New r_0076_0002__IBM_r_0076_0003__Services->r_0076_0001__New [attrib] r_0076_0004__include include r_0076_0004__include->r_0076_0002__IBM_r_0076_0003__Services [arg0] z_000_76_a_ibm_1401_15 r_0076_0004__include->z_000_76_a_ibm_1401_15 [arg1] r_0076_0007__Applications_r_0076_0008__Library Applications Library z_000_76_a_ibm_1401_15->r_0076_0007__Applications_r_0076_0008__Library [conj1] r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support Programming Systems Support z_000_76_a_ibm_1401_15->r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support [conj2] r_0076_0006__Programmed Programmed r_0076_0006__Programmed->r_0076_0007__Applications_r_0076_0008__Library [arg1] z_000_76_a_ibm_1401_18 r_0076_0006__Programmed->z_000_76_a_ibm_1401_18 [arg0] r_0076_0010__computer_r_0076_0011__programs computer programs r_0076_0009__Pre__hyphen__tested Pre-tested r_0076_0010__computer_r_0076_0011__programs->r_0076_0009__Pre__hyphen__tested [attrib] r_0076_0012__designed designed r_0076_0012__designed->r_0076_0010__computer_r_0076_0011__programs [arg1] z_000_76_a_ibm_1401_36 r_0076_0012__designed->z_000_76_a_ibm_1401_36 [arg0] r_0076_0013__to_r_0076_0014__handle to handle r_0076_0013__to_r_0076_0014__handle->z_000_76_a_ibm_1401_36 [arg0] r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions data processing functions r_0076_0013__to_r_0076_0014__handle->r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions [arg1] r_0076_0015__various various r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions->r_0076_0015__various [attrib] r_0076_0016__major major r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions->r_0076_0016__major [attrib] r_0076_0020__common common r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions->r_0076_0020__common [attrib] r_0076_0022__firms firms r_0076_0020__common->r_0076_0022__firms to r_0076_0024__a_r_0076_0026__industry a industry r_0076_0022__firms->r_0076_0024__a_r_0076_0026__industry within r_0076_0025__specific specific r_0076_0024__a_r_0076_0026__industry->r_0076_0025__specific [attrib] r_0076_0031__To_r_0076_0032__keep To keep r_0076_0031__To_r_0076_0032__keep->r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support [arg0] r_0076_0033__customers customers r_0076_0031__To_r_0076_0032__keep->r_0076_0033__customers [arg1] r_0076_0034__up__hyphen__to__hyphen__date up-to-date r_0076_0031__To_r_0076_0032__keep->r_0076_0034__up__hyphen__to__hyphen__date [prd] r_0076_0038__and and r_0076_0034__up__hyphen__to__hyphen__date->r_0076_0038__and on r_0076_0037__availability availability r_0076_0038__and->r_0076_0037__availability [conj1] r_0076_0039__use use r_0076_0038__and->r_0076_0039__use [conj2] r_0076_0043__programming_r_0076_0044__systems programming systems r_0076_0038__and->r_0076_0043__programming_r_0076_0044__systems of r_0076_0042__new new r_0076_0043__programming_r_0076_0044__systems->r_0076_0042__new [attrib] r_0076_0041__all_quant all [quant] r_0076_0041__all_quant->r_0076_0038__and [scope] r_0076_0041__all_quant->r_0076_0043__programming_r_0076_0044__systems [restriction] r_0076_0046__To_r_0076_0047__assist To assist r_0076_0046__To_r_0076_0047__assist->r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support [arg0] r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff the IBM programming staff r_0076_0046__To_r_0076_0047__assist->r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff [arg1] r_0076_0053__reflecting reflecting r_0076_0046__To_r_0076_0047__assist->r_0076_0053__reflecting in [clr] r_0076_0054__customer_r_0076_0055__requirements customer requirements r_0076_0053__reflecting->r_0076_0054__customer_r_0076_0055__requirements [arg1] z_000_76_a_ibm_1401_152 r_0076_0053__reflecting->z_000_76_a_ibm_1401_152 [arg0] r_0076_0057__the_r_0076_0058__specification the specification r_0076_0054__customer_r_0076_0055__requirements->r_0076_0057__the_r_0076_0058__specification in r_0076_0061__programming_r_0076_0062__systems programming systems r_0076_0057__the_r_0076_0058__specification->r_0076_0061__programming_r_0076_0062__systems of r_0076_0060__new new r_0076_0061__programming_r_0076_0062__systems->r_0076_0060__new [attrib] z_000_76_a_ibm_1401_26 z_000_76_a_ibm_1401_26->r_0076_0007__Applications_r_0076_0008__Library [arg0] z_000_76_a_ibm_1401_26->r_0076_0010__computer_r_0076_0011__programs [prd] z_000_76_a_ibm_1401_40 z_000_76_a_ibm_1401_40->r_0076_0012__designed [scope] z_000_76_a_ibm_1401_40->r_0076_0013__to_r_0076_0014__handle [restriction]
arc(r_0076_0002__IBM_r_0076_0003__Services, r_0076_0001__New, attrib3).
arc(r_0076_0004__include, r_0076_0002__IBM_r_0076_0003__Services, arg0).
arc(r_0076_0004__include, z_000_76_a_ibm_1401_15, arg1).
arc(r_0076_0006__Programmed, r_0076_0007__Applications_r_0076_0008__Library, arg1).
arc(r_0076_0006__Programmed, z_000_76_a_ibm_1401_18, arg0).
arc(r_0076_0010__computer_r_0076_0011__programs, r_0076_0009__Pre__hyphen__tested, attrib28).
arc(r_0076_0012__designed, r_0076_0010__computer_r_0076_0011__programs, arg1).
arc(r_0076_0012__designed, z_000_76_a_ibm_1401_36, arg0).
arc(r_0076_0013__to_r_0076_0014__handle, r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions, arg1).
arc(r_0076_0013__to_r_0076_0014__handle, z_000_76_a_ibm_1401_36, arg0).
arc(r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions, r_0076_0015__various, attrib47).
arc(r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions, r_0076_0016__major, attrib50).
arc(r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions, r_0076_0020__common, attrib59).
arc(r_0076_0020__common, r_0076_0022__firms, r_0076_0021__to).
arc(r_0076_0022__firms, r_0076_0024__a_r_0076_0026__industry, r_0076_0023__within).
arc(r_0076_0024__a_r_0076_0026__industry, r_0076_0025__specific, attrib74).
arc(r_0076_0031__To_r_0076_0032__keep, r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support, arg0).
arc(r_0076_0031__To_r_0076_0032__keep, r_0076_0033__customers, arg1).
arc(r_0076_0031__To_r_0076_0032__keep, r_0076_0034__up__hyphen__to__hyphen__date, prd).
arc(r_0076_0034__up__hyphen__to__hyphen__date, r_0076_0038__and, r_0076_0035__on).
arc(r_0076_0038__and, r_0076_0037__availability, conj1).
arc(r_0076_0038__and, r_0076_0039__use, conj2).
arc(r_0076_0038__and, r_0076_0043__programming_r_0076_0044__systems, r_0076_0040__of).
arc(r_0076_0041__all_quant, r_0076_0038__and, scope).
arc(r_0076_0041__all_quant, r_0076_0043__programming_r_0076_0044__systems, restriction).
arc(r_0076_0043__programming_r_0076_0044__systems, r_0076_0042__new, attrib124).
arc(r_0076_0046__To_r_0076_0047__assist, r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support, arg0).
arc(r_0076_0046__To_r_0076_0047__assist, r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff, arg1).
arc(r_0076_0046__To_r_0076_0047__assist, r_0076_0053__reflecting, r_0076_0052__in_clr152).
arc(r_0076_0053__reflecting, r_0076_0054__customer_r_0076_0055__requirements, arg1).
arc(r_0076_0053__reflecting, z_000_76_a_ibm_1401_152, arg0).
arc(r_0076_0054__customer_r_0076_0055__requirements, r_0076_0057__the_r_0076_0058__specification, r_0076_0056__in).
arc(r_0076_0057__the_r_0076_0058__specification, r_0076_0061__programming_r_0076_0062__systems, r_0076_0059__of).
arc(r_0076_0061__programming_r_0076_0062__systems, r_0076_0060__new, attrib172).
arc(z_000_76_a_ibm_1401_15, r_0076_0007__Applications_r_0076_0008__Library, conj1).
arc(z_000_76_a_ibm_1401_15, r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support, conj2).
arc(z_000_76_a_ibm_1401_26, r_0076_0007__Applications_r_0076_0008__Library, arg0).
arc(z_000_76_a_ibm_1401_26, r_0076_0010__computer_r_0076_0011__programs, prd).
arc(z_000_76_a_ibm_1401_40, r_0076_0012__designed, scope).
arc(z_000_76_a_ibm_1401_40, r_0076_0013__to_r_0076_0014__handle, restriction).



%3 r_0076_0002__IBM_r_0076_0003__Services IBM Services r_0076_0001__New New r_0076_0002__IBM_r_0076_0003__Services->r_0076_0001__New [attrib] r_0076_0004__include include r_0076_0004__include->r_0076_0002__IBM_r_0076_0003__Services [arg0] z_000_76_a_ibm_1401_15 r_0076_0004__include->z_000_76_a_ibm_1401_15 [arg1] r_0076_0007__Applications_r_0076_0008__Library Applications Library z_000_76_a_ibm_1401_15->r_0076_0007__Applications_r_0076_0008__Library [conj1] r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support Programming Systems Support z_000_76_a_ibm_1401_15->r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support [conj2] r_0076_0006__Programmed Programmed r_0076_0006__Programmed->r_0076_0007__Applications_r_0076_0008__Library [arg1] z_000_76_a_ibm_1401_18 r_0076_0006__Programmed->z_000_76_a_ibm_1401_18 [arg0] r_0076_0010__computer_r_0076_0011__programs computer programs r_0076_0009__Pre__hyphen__tested Pre-tested r_0076_0010__computer_r_0076_0011__programs->r_0076_0009__Pre__hyphen__tested [attrib] r_0076_0012__designed designed r_0076_0012__designed->r_0076_0010__computer_r_0076_0011__programs [arg1] z_000_76_a_ibm_1401_36 r_0076_0012__designed->z_000_76_a_ibm_1401_36 [arg0] r_0076_0013__to_r_0076_0014__handle to handle r_0076_0013__to_r_0076_0014__handle->z_000_76_a_ibm_1401_36 [arg0] r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions data processing functions r_0076_0013__to_r_0076_0014__handle->r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions [arg1] r_0076_0015__various various r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions->r_0076_0015__various [attrib] r_0076_0016__major major r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions->r_0076_0016__major [attrib] r_0076_0020__common common r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions->r_0076_0020__common [attrib] r_0076_0022__firms firms r_0076_0020__common->r_0076_0022__firms to r_0076_0024__a_r_0076_0026__industry a industry r_0076_0022__firms->r_0076_0024__a_r_0076_0026__industry within r_0076_0025__specific specific r_0076_0024__a_r_0076_0026__industry->r_0076_0025__specific [attrib] r_0076_0031__To_r_0076_0032__keep To keep r_0076_0031__To_r_0076_0032__keep->r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support [arg0] r_0076_0033__customers customers r_0076_0031__To_r_0076_0032__keep->r_0076_0033__customers [arg1] r_0076_0034__up__hyphen__to__hyphen__date up-to-date r_0076_0031__To_r_0076_0032__keep->r_0076_0034__up__hyphen__to__hyphen__date [prd] r_0076_0038__and and r_0076_0034__up__hyphen__to__hyphen__date->r_0076_0038__and on r_0076_0037__availability availability r_0076_0038__and->r_0076_0037__availability [conj1] r_0076_0039__use use r_0076_0038__and->r_0076_0039__use [conj2] r_0076_0043__programming_r_0076_0044__systems programming systems r_0076_0038__and->r_0076_0043__programming_r_0076_0044__systems of r_0076_0042__new new r_0076_0043__programming_r_0076_0044__systems->r_0076_0042__new [attrib] r_0076_0041__all_quant all [quant] r_0076_0041__all_quant->r_0076_0031__To_r_0076_0032__keep [scope] r_0076_0041__all_quant->r_0076_0043__programming_r_0076_0044__systems [restriction] r_0076_0046__To_r_0076_0047__assist To assist r_0076_0046__To_r_0076_0047__assist->r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support [arg0] r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff the IBM programming staff r_0076_0046__To_r_0076_0047__assist->r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff [arg1] r_0076_0053__reflecting reflecting r_0076_0046__To_r_0076_0047__assist->r_0076_0053__reflecting in [clr] r_0076_0054__customer_r_0076_0055__requirements customer requirements r_0076_0053__reflecting->r_0076_0054__customer_r_0076_0055__requirements [arg1] z_000_76_a_ibm_1401_152 r_0076_0053__reflecting->z_000_76_a_ibm_1401_152 [arg0] r_0076_0057__the_r_0076_0058__specification the specification r_0076_0054__customer_r_0076_0055__requirements->r_0076_0057__the_r_0076_0058__specification in r_0076_0061__programming_r_0076_0062__systems programming systems r_0076_0057__the_r_0076_0058__specification->r_0076_0061__programming_r_0076_0062__systems of r_0076_0060__new new r_0076_0061__programming_r_0076_0062__systems->r_0076_0060__new [attrib] z_000_76_a_ibm_1401_26 z_000_76_a_ibm_1401_26->r_0076_0007__Applications_r_0076_0008__Library [arg0] z_000_76_a_ibm_1401_26->r_0076_0010__computer_r_0076_0011__programs [prd] z_000_76_a_ibm_1401_40 z_000_76_a_ibm_1401_40->r_0076_0012__designed [conj2] z_000_76_a_ibm_1401_40->r_0076_0013__to_r_0076_0014__handle [conj1]
fof(formula,axiom,
    ? [R_76_4_INCLUDE,R_76_2_IBM_SERVICES,R_76_1_NEW,Z_76_A_IBM_1401_15,R_76_6_PROGRAMMED,Z_76_A_IBM_1401_18,R_76_46_TO_ASSIST,R_76_28_PROGRAMMING_SYSTEMS_SUPPORT,R_76_48_THE_IBM_PROGRAMMING_STAFF,R_76_53_REFLECTING,Z_76_A_IBM_1401_152,R_76_54_CUSTOMER_REQUIREMENTS,R_76_57_THE_SPECIFICATION,R_76_61_PROGRAMMING_SYSTEMS,R_76_60_NEW,Z_76_A_IBM_1401_26,R_76_7_APPLICATIONS_LIBRARY,Z_76_A_IBM_1401_40,R_76_13_TO_HANDLE,R_76_17_DATA_PROCESSING_FUNCTIONS,R_76_15_VARIOUS,R_76_16_MAJOR,R_76_20_COMMON,R_76_22_FIRMS,R_76_24_A_INDUSTRY,R_76_25_SPECIFIC,R_76_12_DESIGNED,Z_76_A_IBM_1401_36,R_76_10_COMPUTER_PROGRAMS,R_76_9_PRE_HYPHEN_TESTED] :
      ( new(R_76_1_NEW)
      & programming_Systems_Support(R_76_28_PROGRAMMING_SYSTEMS_SUPPORT)
      & the_IBM_programming_staff(R_76_48_THE_IBM_PROGRAMMING_STAFF)
      & new(R_76_60_NEW)
      & applications_Library(R_76_7_APPLICATIONS_LIBRARY)
      & various(R_76_15_VARIOUS)
      & major(R_76_16_MAJOR)
      & specific(R_76_25_SPECIFIC)
      & pre_hyphen_tested(R_76_9_PRE_HYPHEN_TESTED)
      & include(R_76_4_INCLUDE,R_76_2_IBM_SERVICES,Z_76_A_IBM_1401_15)
      & iBM_Services(R_76_2_IBM_SERVICES)
      & attrib3(R_76_2_IBM_SERVICES,R_76_1_NEW)
      & z_76_a_ibm_1401_15(Z_76_A_IBM_1401_15)
      & conj1(Z_76_A_IBM_1401_15,R_76_7_APPLICATIONS_LIBRARY)
      & conj2(Z_76_A_IBM_1401_15,R_76_28_PROGRAMMING_SYSTEMS_SUPPORT)
      & programmed(R_76_6_PROGRAMMED,Z_76_A_IBM_1401_18,R_76_7_APPLICATIONS_LIBRARY)
      & ! [R_76_43_PROGRAMMING_SYSTEMS,R_76_42_NEW] :
          ( ( new(R_76_42_NEW)
            & programming_systems(R_76_43_PROGRAMMING_SYSTEMS)
            & attrib124(R_76_43_PROGRAMMING_SYSTEMS,R_76_42_NEW) )
         => ? [R_76_31_TO_KEEP,R_76_33_CUSTOMERS,R_76_34_UP_HYPHEN_TO_HYPHEN_DATE,R_76_38_AND,R_76_37_AVAILABILITY,R_76_39_USE] :
              ( customers(R_76_33_CUSTOMERS)
              & availability(R_76_37_AVAILABILITY)
              & use(R_76_39_USE)
              & to_keep(R_76_31_TO_KEEP,R_76_28_PROGRAMMING_SYSTEMS_SUPPORT,R_76_33_CUSTOMERS,R_76_34_UP_HYPHEN_TO_HYPHEN_DATE)
              & up_hyphen_to_hyphen_date(R_76_34_UP_HYPHEN_TO_HYPHEN_DATE)
              & on(R_76_34_UP_HYPHEN_TO_HYPHEN_DATE,R_76_38_AND)
              & and(R_76_38_AND)
              & conj1(R_76_38_AND,R_76_37_AVAILABILITY)
              & conj2(R_76_38_AND,R_76_39_USE)
              & of(R_76_38_AND,R_76_43_PROGRAMMING_SYSTEMS) ) )
      & to_assist(R_76_46_TO_ASSIST,R_76_28_PROGRAMMING_SYSTEMS_SUPPORT,R_76_48_THE_IBM_PROGRAMMING_STAFF)
      & in_clr152(R_76_46_TO_ASSIST,R_76_53_REFLECTING)
      & reflecting(R_76_53_REFLECTING,Z_76_A_IBM_1401_152,R_76_54_CUSTOMER_REQUIREMENTS)
      & customer_requirements(R_76_54_CUSTOMER_REQUIREMENTS)
      & in(R_76_54_CUSTOMER_REQUIREMENTS,R_76_57_THE_SPECIFICATION)
      & the_specification(R_76_57_THE_SPECIFICATION)
      & of(R_76_57_THE_SPECIFICATION,R_76_61_PROGRAMMING_SYSTEMS)
      & programming_systems(R_76_61_PROGRAMMING_SYSTEMS)
      & attrib172(R_76_61_PROGRAMMING_SYSTEMS,R_76_60_NEW)
      & z_76_a_ibm_1401_26(Z_76_A_IBM_1401_26,R_76_7_APPLICATIONS_LIBRARY,R_76_10_COMPUTER_PROGRAMS)
      & computer_programs(R_76_10_COMPUTER_PROGRAMS)
      & attrib28(R_76_10_COMPUTER_PROGRAMS,R_76_9_PRE_HYPHEN_TESTED)
      & z_76_a_ibm_1401_40(Z_76_A_IBM_1401_40)
      & conj1(Z_76_A_IBM_1401_40,R_76_13_TO_HANDLE)
      & to_handle(R_76_13_TO_HANDLE,Z_76_A_IBM_1401_36,R_76_17_DATA_PROCESSING_FUNCTIONS)
      & data_processing_functions(R_76_17_DATA_PROCESSING_FUNCTIONS)
      & attrib47(R_76_17_DATA_PROCESSING_FUNCTIONS,R_76_15_VARIOUS)
      & attrib50(R_76_17_DATA_PROCESSING_FUNCTIONS,R_76_16_MAJOR)
      & attrib59(R_76_17_DATA_PROCESSING_FUNCTIONS,R_76_20_COMMON)
      & common(R_76_20_COMMON)
      & to(R_76_20_COMMON,R_76_22_FIRMS)
      & firms(R_76_22_FIRMS)
      & within(R_76_22_FIRMS,R_76_24_A_INDUSTRY)
      & a_industry(R_76_24_A_INDUSTRY)
      & attrib74(R_76_24_A_INDUSTRY,R_76_25_SPECIFIC)
      & conj2(Z_76_A_IBM_1401_40,R_76_12_DESIGNED)
      & designed(R_76_12_DESIGNED,Z_76_A_IBM_1401_36,R_76_10_COMPUTER_PROGRAMS) ) ).



n76_a_ibm_1401 n76_a_ibm_1401_5 New n76_a_ibm_1401_7 IBM n76_a_ibm_1401_9 Services n76_a_ibm_1401_11 include n76_a_ibm_1401_13 : n76_a_ibm_1401_19 * n76_a_ibm_1401_21 Programmed n76_a_ibm_1401_23 Applications n76_a_ibm_1401_25 Library n76_a_ibm_1401_30 Pre-tested n76_a_ibm_1401_32 computer n76_a_ibm_1401_34 programs n76_a_ibm_1401_37 * n76_a_ibm_1401_39 designed n76_a_ibm_1401_43 to n76_a_ibm_1401_45 handle n76_a_ibm_1401_49 various n76_a_ibm_1401_52 major n76_a_ibm_1401_54 data n76_a_ibm_1401_56 processing n76_a_ibm_1401_58 functions n76_a_ibm_1401_61 common n76_a_ibm_1401_64 to n76_a_ibm_1401_67 firms n76_a_ibm_1401_70 within n76_a_ibm_1401_73 a n76_a_ibm_1401_76 specific n76_a_ibm_1401_78 industry n76_a_ibm_1401_80 . n76_a_ibm_1401_84 Programming n76_a_ibm_1401_86 Systems n76_a_ibm_1401_88 Support n76_a_ibm_1401_91 *T* n76_a_ibm_1401_93 To n76_a_ibm_1401_95 keep n76_a_ibm_1401_98 customers n76_a_ibm_1401_101 up-to-date n76_a_ibm_1401_104 on n76_a_ibm_1401_107 the n76_a_ibm_1401_111 availability n76_a_ibm_1401_114 and n76_a_ibm_1401_117 use n76_a_ibm_1401_120 of n76_a_ibm_1401_123 all n76_a_ibm_1401_126 new n76_a_ibm_1401_128 programming n76_a_ibm_1401_130 systems n76_a_ibm_1401_132 . n76_a_ibm_1401_135 *T* n76_a_ibm_1401_137 To n76_a_ibm_1401_139 assist n76_a_ibm_1401_142 the n76_a_ibm_1401_144 IBM n76_a_ibm_1401_146 programming n76_a_ibm_1401_148 staff n76_a_ibm_1401_151 in n76_a_ibm_1401_154 reflecting n76_a_ibm_1401_157 customer n76_a_ibm_1401_159 requirements n76_a_ibm_1401_162 in n76_a_ibm_1401_165 the n76_a_ibm_1401_167 specification n76_a_ibm_1401_170 of n76_a_ibm_1401_174 new n76_a_ibm_1401_176 programming n76_a_ibm_1401_178 systems n76_a_ibm_1401_180 . n76_a_ibm_1401_1 IP-MAT n76_a_ibm_1401_2 NP-SBJ n76_a_ibm_1401_1->n76_a_ibm_1401_2 n76_a_ibm_1401_10 VBP;_Tn_ n76_a_ibm_1401_1->n76_a_ibm_1401_10 n76_a_ibm_1401_12 PUNC n76_a_ibm_1401_1->n76_a_ibm_1401_12 n76_a_ibm_1401_14 NP-OB1 n76_a_ibm_1401_1->n76_a_ibm_1401_14 n76_a_ibm_1401_179 PUNC n76_a_ibm_1401_1->n76_a_ibm_1401_179 n76_a_ibm_1401_3 ADJP n76_a_ibm_1401_2->n76_a_ibm_1401_3 n76_a_ibm_1401_6 NPR n76_a_ibm_1401_2->n76_a_ibm_1401_6 n76_a_ibm_1401_8 NS n76_a_ibm_1401_2->n76_a_ibm_1401_8 n76_a_ibm_1401_4 ADJ n76_a_ibm_1401_3->n76_a_ibm_1401_4 n76_a_ibm_1401_4->n76_a_ibm_1401_5 n76_a_ibm_1401_6->n76_a_ibm_1401_7 n76_a_ibm_1401_8->n76_a_ibm_1401_9 n76_a_ibm_1401_10->n76_a_ibm_1401_11 n76_a_ibm_1401_12->n76_a_ibm_1401_13 n76_a_ibm_1401_15 NLYR n76_a_ibm_1401_14->n76_a_ibm_1401_15 n76_a_ibm_1401_16 NLYR n76_a_ibm_1401_15->n76_a_ibm_1401_16 n76_a_ibm_1401_81 CONJP n76_a_ibm_1401_15->n76_a_ibm_1401_81 n76_a_ibm_1401_17 IP-PPL n76_a_ibm_1401_16->n76_a_ibm_1401_17 n76_a_ibm_1401_22 NS n76_a_ibm_1401_16->n76_a_ibm_1401_22 n76_a_ibm_1401_24 N n76_a_ibm_1401_16->n76_a_ibm_1401_24 n76_a_ibm_1401_26 IP-PPL n76_a_ibm_1401_16->n76_a_ibm_1401_26 n76_a_ibm_1401_18 NP-LGS n76_a_ibm_1401_17->n76_a_ibm_1401_18 n76_a_ibm_1401_20 VVN;_Tn_ n76_a_ibm_1401_17->n76_a_ibm_1401_20 n76_a_ibm_1401_18->n76_a_ibm_1401_19 n76_a_ibm_1401_20->n76_a_ibm_1401_21 n76_a_ibm_1401_22->n76_a_ibm_1401_23 n76_a_ibm_1401_24->n76_a_ibm_1401_25 n76_a_ibm_1401_27 NP-PRD n76_a_ibm_1401_26->n76_a_ibm_1401_27 n76_a_ibm_1401_28 ADJP n76_a_ibm_1401_27->n76_a_ibm_1401_28 n76_a_ibm_1401_31 N n76_a_ibm_1401_27->n76_a_ibm_1401_31 n76_a_ibm_1401_33 NS n76_a_ibm_1401_27->n76_a_ibm_1401_33 n76_a_ibm_1401_35 IP-PPL n76_a_ibm_1401_27->n76_a_ibm_1401_35 n76_a_ibm_1401_79 PUNC n76_a_ibm_1401_27->n76_a_ibm_1401_79 n76_a_ibm_1401_29 ADJ n76_a_ibm_1401_28->n76_a_ibm_1401_29 n76_a_ibm_1401_29->n76_a_ibm_1401_30 n76_a_ibm_1401_31->n76_a_ibm_1401_32 n76_a_ibm_1401_33->n76_a_ibm_1401_34 n76_a_ibm_1401_36 NP-LGS n76_a_ibm_1401_35->n76_a_ibm_1401_36 n76_a_ibm_1401_38 VVN;_Tn_ n76_a_ibm_1401_35->n76_a_ibm_1401_38 n76_a_ibm_1401_40 PP-SCON n76_a_ibm_1401_35->n76_a_ibm_1401_40 n76_a_ibm_1401_36->n76_a_ibm_1401_37 n76_a_ibm_1401_38->n76_a_ibm_1401_39 n76_a_ibm_1401_41 IP-INF n76_a_ibm_1401_40->n76_a_ibm_1401_41 n76_a_ibm_1401_42 TO n76_a_ibm_1401_41->n76_a_ibm_1401_42 n76_a_ibm_1401_44 VB;_Tn_ n76_a_ibm_1401_41->n76_a_ibm_1401_44 n76_a_ibm_1401_46 NP-OB1 n76_a_ibm_1401_41->n76_a_ibm_1401_46 n76_a_ibm_1401_42->n76_a_ibm_1401_43 n76_a_ibm_1401_44->n76_a_ibm_1401_45 n76_a_ibm_1401_47 ADJP n76_a_ibm_1401_46->n76_a_ibm_1401_47 n76_a_ibm_1401_50 ADJP n76_a_ibm_1401_46->n76_a_ibm_1401_50 n76_a_ibm_1401_53 NS n76_a_ibm_1401_46->n76_a_ibm_1401_53 n76_a_ibm_1401_55 N n76_a_ibm_1401_46->n76_a_ibm_1401_55 n76_a_ibm_1401_57 NS n76_a_ibm_1401_46->n76_a_ibm_1401_57 n76_a_ibm_1401_59 ADJP n76_a_ibm_1401_46->n76_a_ibm_1401_59 n76_a_ibm_1401_48 ADJ n76_a_ibm_1401_47->n76_a_ibm_1401_48 n76_a_ibm_1401_48->n76_a_ibm_1401_49 n76_a_ibm_1401_51 ADJ n76_a_ibm_1401_50->n76_a_ibm_1401_51 n76_a_ibm_1401_51->n76_a_ibm_1401_52 n76_a_ibm_1401_53->n76_a_ibm_1401_54 n76_a_ibm_1401_55->n76_a_ibm_1401_56 n76_a_ibm_1401_57->n76_a_ibm_1401_58 n76_a_ibm_1401_60 ADJ n76_a_ibm_1401_59->n76_a_ibm_1401_60 n76_a_ibm_1401_62 PP n76_a_ibm_1401_59->n76_a_ibm_1401_62 n76_a_ibm_1401_60->n76_a_ibm_1401_61 n76_a_ibm_1401_63 P-ROLE n76_a_ibm_1401_62->n76_a_ibm_1401_63 n76_a_ibm_1401_65 NP n76_a_ibm_1401_62->n76_a_ibm_1401_65 n76_a_ibm_1401_63->n76_a_ibm_1401_64 n76_a_ibm_1401_66 NS n76_a_ibm_1401_65->n76_a_ibm_1401_66 n76_a_ibm_1401_68 PP n76_a_ibm_1401_65->n76_a_ibm_1401_68 n76_a_ibm_1401_66->n76_a_ibm_1401_67 n76_a_ibm_1401_69 P-ROLE n76_a_ibm_1401_68->n76_a_ibm_1401_69 n76_a_ibm_1401_71 NP n76_a_ibm_1401_68->n76_a_ibm_1401_71 n76_a_ibm_1401_69->n76_a_ibm_1401_70 n76_a_ibm_1401_72 D n76_a_ibm_1401_71->n76_a_ibm_1401_72 n76_a_ibm_1401_74 ADJP n76_a_ibm_1401_71->n76_a_ibm_1401_74 n76_a_ibm_1401_77 N n76_a_ibm_1401_71->n76_a_ibm_1401_77 n76_a_ibm_1401_72->n76_a_ibm_1401_73 n76_a_ibm_1401_75 ADJ n76_a_ibm_1401_74->n76_a_ibm_1401_75 n76_a_ibm_1401_75->n76_a_ibm_1401_76 n76_a_ibm_1401_77->n76_a_ibm_1401_78 n76_a_ibm_1401_79->n76_a_ibm_1401_80 n76_a_ibm_1401_82 NLYR n76_a_ibm_1401_81->n76_a_ibm_1401_82 n76_a_ibm_1401_83 N n76_a_ibm_1401_82->n76_a_ibm_1401_83 n76_a_ibm_1401_85 NS n76_a_ibm_1401_82->n76_a_ibm_1401_85 n76_a_ibm_1401_87 N n76_a_ibm_1401_82->n76_a_ibm_1401_87 n76_a_ibm_1401_89 IP-INF-REL n76_a_ibm_1401_82->n76_a_ibm_1401_89 n76_a_ibm_1401_133 IP-INF-REL n76_a_ibm_1401_82->n76_a_ibm_1401_133 n76_a_ibm_1401_83->n76_a_ibm_1401_84 n76_a_ibm_1401_85->n76_a_ibm_1401_86 n76_a_ibm_1401_87->n76_a_ibm_1401_88 n76_a_ibm_1401_90 NP-SBJ n76_a_ibm_1401_89->n76_a_ibm_1401_90 n76_a_ibm_1401_92 TO n76_a_ibm_1401_89->n76_a_ibm_1401_92 n76_a_ibm_1401_94 VB;_Cn.a_ n76_a_ibm_1401_89->n76_a_ibm_1401_94 n76_a_ibm_1401_96 NP-OB1 n76_a_ibm_1401_89->n76_a_ibm_1401_96 n76_a_ibm_1401_99 ADJP-PRD n76_a_ibm_1401_89->n76_a_ibm_1401_99 n76_a_ibm_1401_131 PUNC n76_a_ibm_1401_89->n76_a_ibm_1401_131 n76_a_ibm_1401_90->n76_a_ibm_1401_91 n76_a_ibm_1401_92->n76_a_ibm_1401_93 n76_a_ibm_1401_94->n76_a_ibm_1401_95 n76_a_ibm_1401_97 NS n76_a_ibm_1401_96->n76_a_ibm_1401_97 n76_a_ibm_1401_97->n76_a_ibm_1401_98 n76_a_ibm_1401_100 ADJ n76_a_ibm_1401_99->n76_a_ibm_1401_100 n76_a_ibm_1401_102 PP n76_a_ibm_1401_99->n76_a_ibm_1401_102 n76_a_ibm_1401_100->n76_a_ibm_1401_101 n76_a_ibm_1401_103 P-ROLE n76_a_ibm_1401_102->n76_a_ibm_1401_103 n76_a_ibm_1401_105 NP n76_a_ibm_1401_102->n76_a_ibm_1401_105 n76_a_ibm_1401_103->n76_a_ibm_1401_104 n76_a_ibm_1401_106 D n76_a_ibm_1401_105->n76_a_ibm_1401_106 n76_a_ibm_1401_108 NLYR n76_a_ibm_1401_105->n76_a_ibm_1401_108 n76_a_ibm_1401_118 PP n76_a_ibm_1401_105->n76_a_ibm_1401_118 n76_a_ibm_1401_106->n76_a_ibm_1401_107 n76_a_ibm_1401_109 NLYR n76_a_ibm_1401_108->n76_a_ibm_1401_109 n76_a_ibm_1401_112 CONJP n76_a_ibm_1401_108->n76_a_ibm_1401_112 n76_a_ibm_1401_110 N n76_a_ibm_1401_109->n76_a_ibm_1401_110 n76_a_ibm_1401_110->n76_a_ibm_1401_111 n76_a_ibm_1401_113 CONJ n76_a_ibm_1401_112->n76_a_ibm_1401_113 n76_a_ibm_1401_115 NLYR n76_a_ibm_1401_112->n76_a_ibm_1401_115 n76_a_ibm_1401_113->n76_a_ibm_1401_114 n76_a_ibm_1401_116 N n76_a_ibm_1401_115->n76_a_ibm_1401_116 n76_a_ibm_1401_116->n76_a_ibm_1401_117 n76_a_ibm_1401_119 P-ROLE n76_a_ibm_1401_118->n76_a_ibm_1401_119 n76_a_ibm_1401_121 NP n76_a_ibm_1401_118->n76_a_ibm_1401_121 n76_a_ibm_1401_119->n76_a_ibm_1401_120 n76_a_ibm_1401_122 Q n76_a_ibm_1401_121->n76_a_ibm_1401_122 n76_a_ibm_1401_124 ADJP n76_a_ibm_1401_121->n76_a_ibm_1401_124 n76_a_ibm_1401_127 N n76_a_ibm_1401_121->n76_a_ibm_1401_127 n76_a_ibm_1401_129 NS n76_a_ibm_1401_121->n76_a_ibm_1401_129 n76_a_ibm_1401_122->n76_a_ibm_1401_123 n76_a_ibm_1401_125 ADJ n76_a_ibm_1401_124->n76_a_ibm_1401_125 n76_a_ibm_1401_125->n76_a_ibm_1401_126 n76_a_ibm_1401_127->n76_a_ibm_1401_128 n76_a_ibm_1401_129->n76_a_ibm_1401_130 n76_a_ibm_1401_131->n76_a_ibm_1401_132 n76_a_ibm_1401_134 NP-SBJ n76_a_ibm_1401_133->n76_a_ibm_1401_134 n76_a_ibm_1401_136 TO n76_a_ibm_1401_133->n76_a_ibm_1401_136 n76_a_ibm_1401_138 VB;_Tn.pr_ n76_a_ibm_1401_133->n76_a_ibm_1401_138 n76_a_ibm_1401_140 NP-OB1 n76_a_ibm_1401_133->n76_a_ibm_1401_140 n76_a_ibm_1401_149 PP-CLR n76_a_ibm_1401_133->n76_a_ibm_1401_149 n76_a_ibm_1401_134->n76_a_ibm_1401_135 n76_a_ibm_1401_136->n76_a_ibm_1401_137 n76_a_ibm_1401_138->n76_a_ibm_1401_139 n76_a_ibm_1401_141 D n76_a_ibm_1401_140->n76_a_ibm_1401_141 n76_a_ibm_1401_143 NPR n76_a_ibm_1401_140->n76_a_ibm_1401_143 n76_a_ibm_1401_145 N n76_a_ibm_1401_140->n76_a_ibm_1401_145 n76_a_ibm_1401_147 N n76_a_ibm_1401_140->n76_a_ibm_1401_147 n76_a_ibm_1401_141->n76_a_ibm_1401_142 n76_a_ibm_1401_143->n76_a_ibm_1401_144 n76_a_ibm_1401_145->n76_a_ibm_1401_146 n76_a_ibm_1401_147->n76_a_ibm_1401_148 n76_a_ibm_1401_150 P-ROLE n76_a_ibm_1401_149->n76_a_ibm_1401_150 n76_a_ibm_1401_152 IP-PPL n76_a_ibm_1401_149->n76_a_ibm_1401_152 n76_a_ibm_1401_150->n76_a_ibm_1401_151 n76_a_ibm_1401_153 VAG;_Tn_ n76_a_ibm_1401_152->n76_a_ibm_1401_153 n76_a_ibm_1401_155 NP-OB1 n76_a_ibm_1401_152->n76_a_ibm_1401_155 n76_a_ibm_1401_153->n76_a_ibm_1401_154 n76_a_ibm_1401_156 N n76_a_ibm_1401_155->n76_a_ibm_1401_156 n76_a_ibm_1401_158 NS n76_a_ibm_1401_155->n76_a_ibm_1401_158 n76_a_ibm_1401_160 PP n76_a_ibm_1401_155->n76_a_ibm_1401_160 n76_a_ibm_1401_156->n76_a_ibm_1401_157 n76_a_ibm_1401_158->n76_a_ibm_1401_159 n76_a_ibm_1401_161 P-ROLE n76_a_ibm_1401_160->n76_a_ibm_1401_161 n76_a_ibm_1401_163 NP n76_a_ibm_1401_160->n76_a_ibm_1401_163 n76_a_ibm_1401_161->n76_a_ibm_1401_162 n76_a_ibm_1401_164 D n76_a_ibm_1401_163->n76_a_ibm_1401_164 n76_a_ibm_1401_166 N n76_a_ibm_1401_163->n76_a_ibm_1401_166 n76_a_ibm_1401_168 PP n76_a_ibm_1401_163->n76_a_ibm_1401_168 n76_a_ibm_1401_164->n76_a_ibm_1401_165 n76_a_ibm_1401_166->n76_a_ibm_1401_167 n76_a_ibm_1401_169 P-ROLE n76_a_ibm_1401_168->n76_a_ibm_1401_169 n76_a_ibm_1401_171 NP n76_a_ibm_1401_168->n76_a_ibm_1401_171 n76_a_ibm_1401_169->n76_a_ibm_1401_170 n76_a_ibm_1401_172 ADJP n76_a_ibm_1401_171->n76_a_ibm_1401_172 n76_a_ibm_1401_175 N n76_a_ibm_1401_171->n76_a_ibm_1401_175 n76_a_ibm_1401_177 NS n76_a_ibm_1401_171->n76_a_ibm_1401_177 n76_a_ibm_1401_173 ADJ n76_a_ibm_1401_172->n76_a_ibm_1401_173 n76_a_ibm_1401_173->n76_a_ibm_1401_174 n76_a_ibm_1401_175->n76_a_ibm_1401_176 n76_a_ibm_1401_177->n76_a_ibm_1401_178 n76_a_ibm_1401_179->n76_a_ibm_1401_180
( (IP-MAT (NP-SBJ (ADJP (ADJ New;{new}))
                  (NPR IBM;{IBM})
                  (NS Services;{service}))
          (VBP;_Tn_ include;{include})
          (PUNC :)
          (NP-OB1 (NLYR (NLYR (IP-PPL (NP-LGS *)
                                      (VVN;_Tn_ Programmed;{program}))
                              (NS Applications;{application})
                              (N Library;{library})
                              (IP-PPL (NP-PRD (ADJP (ADJ Pre_<hyphen>_tested;{pre_tested}))
                                              (N computer;{computer})
                                              (NS programs;{program})
                                              (IP-PPL (NP-LGS *)
                                                      (VVN;_Tn_ designed;{design})
                                                      (PP-SCON (IP-INF (TO to;{to})
                                                                       (VB;_Tn_ handle;{handle})
                                                                       (NP-OB1 (ADJP (ADJ various;{various}))
                                                                               (ADJP (ADJ major;{major}))
                                                                               (NS data;{data})
                                                                               (N processing;{processing})
                                                                               (NS functions;{function})
                                                                               (ADJP (ADJ common;{common})
                                                                                     (PP (P-ROLE to;{to})
                                                                                         (NP (NS firms;{firm})
                                                                                             (PP (P-ROLE within;{within})
                                                                                                 (NP (D a;{a})
                                                                                                     (ADJP (ADJ specific;{specific}))
                                                                                                     (N industry;{industry}))))))))))
                                              (PUNC .))))
                        (CONJP (NLYR (N Programming;{programming})
                                     (NS Systems;{system})
                                     (N Support;{support})
                                     (IP-INF-REL (NP-SBJ *T*)
                                                 (TO To;{to})
                                                 (VB;_Cn.a_ keep;{keep})
                                                 (NP-OB1 (NS customers;{customer}))
                                                 (ADJP-PRD (ADJ up_<hyphen>_to_<hyphen>_date;{up_to_date})
                                                           (PP (P-ROLE on;{on})
                                                               (NP (D the;{the})
                                                                   (NLYR (NLYR (N availability;{availability}))
                                                                         (CONJP (CONJ and;{and})
                                                                                (NLYR (N use;{use}))))
                                                                   (PP (P-ROLE of;{of})
                                                                       (NP (Q all;{all})
                                                                           (ADJP (ADJ new;{new}))
                                                                           (N programming;{programming})
                                                                           (NS systems;{system}))))))
                                                 (PUNC .))
                                     (IP-INF-REL (NP-SBJ *T*)
                                                 (TO To;{to})
                                                 (VB;_Tn.pr_ assist;{assist[in]})
                                                 (NP-OB1 (D the;{the})
                                                         (NPR IBM;{IBM})
                                                         (N programming;{programming})
                                                         (N staff;{staff}))
                                                 (PP-CLR (P-ROLE in;{in})
                                                         (IP-PPL (VAG;_Tn_ reflecting;{reflect})
                                                                 (NP-OB1 (N customer;{customer})
                                                                         (NS requirements;{requirement})
                                                                         (PP (P-ROLE in;{in})
                                                                             (NP (D the;{the})
                                                                                 (N specification;{specification})
                                                                                 (PP (P-ROLE of;{of})
                                                                                     (NP (ADJP (ADJ new;{new}))
                                                                                         (N programming;{programming})
                                                                                         (NS systems;{system})))))))))))))
          (PUNC .))
  (ID 76_a_ibm_1401))