TSPC 76_a_ibm

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.

( (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})
                              (PRN (NP (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}))
                                                                        (NLYR (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))

arc(r_0076_0002__IBM_r_0076_0003__Services,r_0076_0001__New,attrib).
arc(r_0076_0004__include,r_0076_0002__IBM_r_0076_0003__Services,arg0).
arc(r_0076_0004__include,z_0076_5040,arg1).
arc(r_0076_0006__Programmed,r_0076_0007__Applications_r_0076_0008__Library,inv_arg1).
arc(r_0076_0006__Programmed,z_0076_5005___star_,arg0).
arc(r_0076_0010__computer_r_0076_0011__programs,r_0076_0009__Pre__hyphen__tested,attrib).
arc(r_0076_0012__designed,r_0076_0010__computer_r_0076_0011__programs,inv_arg1).
arc(r_0076_0012__designed,z_0076_5020___star_,arg0).
arc(r_0076_0014__handle,r_0076_0010__computer_r_0076_0011__programs,arg0).
arc(r_0076_0014__handle,r_0076_0019__functions,arg1).
arc(r_0076_0019__functions,r_0076_0015__various,attrib).
arc(r_0076_0019__functions,r_0076_0016__major,attrib).
arc(r_0076_0019__functions,r_0076_0017__data_r_0076_0018__processing,nim).
arc(r_0076_0019__functions,r_0076_0020__common,attrib).
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,attrib).
arc(r_0076_0032__keep,r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support,inv_arg0).
arc(r_0076_0032__keep,r_0076_0033__customers,arg1).
arc(r_0076_0032__keep,r_0076_0034__up__hyphen__to__hyphen__date,prd).
arc(r_0076_0034__up__hyphen__to__hyphen__date,r_0076_0036__the_r_0076_0037__availability_r_0076_0038__and_r_0076_0039__use,r_0076_0035__on).
arc(r_0076_0036__the_r_0076_0037__availability_r_0076_0038__and_r_0076_0039__use,r_0076_0043__programming_r_0076_0044__systems,r_0076_0040__of).
arc(r_0076_0041__all__quant,r_0076_0036__the_r_0076_0037__availability_r_0076_0038__and_r_0076_0039__use,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,attrib).
arc(r_0076_0047__assist,r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support,inv_arg0).
arc(r_0076_0047__assist,r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff,arg1).
arc(r_0076_0047__assist,r_0076_0053__reflecting,r_0076_0052__in__clr).
arc(r_0076_0053__reflecting,r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff,arg0).
arc(r_0076_0053__reflecting,r_0076_0054__customer_r_0076_0055__requirements,arg1).
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,attrib).
arc(z_0076_5009,r_0076_0012__designed,scope).
arc(z_0076_5009,r_0076_0014__handle,restriction).
arc(z_0076_5022,r_0076_0007__Applications_r_0076_0008__Library,arg0).
arc(z_0076_5022,r_0076_0010__computer_r_0076_0011__programs,prd).
arc(z_0076_5040,r_0076_0007__Applications_r_0076_0008__Library,conj1).
arc(z_0076_5040,r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support,conj2).

fof(formula,axiom,
    ? [R_0076_0001__NEW,R_0076_0002__IBM_R_0076_0003__SERVICES,Z_0076_5005___STAR_,R_0076_0006__PROGRAMMED,R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY,R_0076_0033__CUSTOMERS,R_0076_0042__NEW,R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS,R_0076_0036__THE_R_0076_0037__AVAILABILITY_R_0076_0038__AND_R_0076_0039__USE,R_0076_0034__UP__HYPHEN__TO__HYPHEN__DATE,R_0076_0032__KEEP,R_0076_0048__THE_R_0076_0049__IBM_R_0076_0050__PROGRAMMING_R_0076_0051__STAFF,R_0076_0060__NEW,R_0076_0061__PROGRAMMING_R_0076_0062__SYSTEMS,R_0076_0057__THE_R_0076_0058__SPECIFICATION,R_0076_0054__CUSTOMER_R_0076_0055__REQUIREMENTS,R_0076_0053__REFLECTING,R_0076_0047__ASSIST,R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT,Z_0076_5040,R_0076_0004__INCLUDE,Z_0076_5020___STAR_,R_0076_0012__DESIGNED,R_0076_0009__PRE__HYPHEN__TESTED,R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS,R_0076_0015__VARIOUS,R_0076_0016__MAJOR,R_0076_0017__DATA_R_0076_0018__PROCESSING,R_0076_0025__SPECIFIC,R_0076_0024__A_R_0076_0026__INDUSTRY,R_0076_0022__FIRMS,R_0076_0020__COMMON,R_0076_0019__FUNCTIONS,R_0076_0014__HANDLE,Z_0076_5009,Z_0076_5022] :
      ( r_0076_0001__New(R_0076_0001__NEW)
      & r_0076_0009__Pre__hyphen__tested(R_0076_0009__PRE__HYPHEN__TESTED)
      & r_0076_0015__various(R_0076_0015__VARIOUS)
      & r_0076_0016__major(R_0076_0016__MAJOR)
      & r_0076_0017__data_r_0076_0018__processing(R_0076_0017__DATA_R_0076_0018__PROCESSING)
      & r_0076_0025__specific(R_0076_0025__SPECIFIC)
      & r_0076_0033__customers(R_0076_0033__CUSTOMERS)
      & r_0076_0042__new(R_0076_0042__NEW)
      & r_0076_0048__the_r_0076_0049__IBM_r_0076_0050__programming_r_0076_0051__staff(R_0076_0048__THE_R_0076_0049__IBM_R_0076_0050__PROGRAMMING_R_0076_0051__STAFF)
      & r_0076_0060__new(R_0076_0060__NEW)
      & z_0076_5005___star_(Z_0076_5005___STAR_)
      & z_0076_5020___star_(Z_0076_5020___STAR_)
      & z_0076_5022(Z_0076_5022)
      & has_prd(Z_0076_5022,R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS)
      & r_0076_0010__computer_r_0076_0011__programs(R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS)
      & has_inv_arg1(R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS,R_0076_0012__DESIGNED)
      & r_0076_0012__designed(R_0076_0012__DESIGNED)
      & has_arg0(R_0076_0012__DESIGNED,Z_0076_5020___STAR_)
      & has_attrib(R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS,R_0076_0009__PRE__HYPHEN__TESTED)
      & has_arg0(Z_0076_5022,R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY)
      & r_0076_0007__Applications_r_0076_0008__Library(R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY)
      & has_inv_arg1(R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY,R_0076_0006__PROGRAMMED)
      & r_0076_0006__Programmed(R_0076_0006__PROGRAMMED)
      & has_arg0(R_0076_0006__PROGRAMMED,Z_0076_5005___STAR_)
      & z_0076_5009(Z_0076_5009)
      & has_conj1(Z_0076_5009,R_0076_0014__HANDLE)
      & r_0076_0014__handle(R_0076_0014__HANDLE)
      & has_arg1(R_0076_0014__HANDLE,R_0076_0019__FUNCTIONS)
      & r_0076_0019__functions(R_0076_0019__FUNCTIONS)
      & has_attrib(R_0076_0019__FUNCTIONS,R_0076_0020__COMMON)
      & r_0076_0020__common(R_0076_0020__COMMON)
      & has_r_0076_0021__to(R_0076_0020__COMMON,R_0076_0022__FIRMS)
      & r_0076_0022__firms(R_0076_0022__FIRMS)
      & has_r_0076_0023__within(R_0076_0022__FIRMS,R_0076_0024__A_R_0076_0026__INDUSTRY)
      & r_0076_0024__a_r_0076_0026__industry(R_0076_0024__A_R_0076_0026__INDUSTRY)
      & has_attrib(R_0076_0024__A_R_0076_0026__INDUSTRY,R_0076_0025__SPECIFIC)
      & has_nim(R_0076_0019__FUNCTIONS,R_0076_0017__DATA_R_0076_0018__PROCESSING)
      & has_attrib(R_0076_0019__FUNCTIONS,R_0076_0016__MAJOR)
      & has_attrib(R_0076_0019__FUNCTIONS,R_0076_0015__VARIOUS)
      & has_arg0(R_0076_0014__HANDLE,R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS)
      & has_conj2(Z_0076_5009,R_0076_0012__DESIGNED)
      & ( r_0076_0043__programming_r_0076_0044__systems(R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS)
       => r_0076_0032__keep(R_0076_0032__KEEP) )
      & r_0076_0004__include(R_0076_0004__INCLUDE)
      & has_arg1(R_0076_0004__INCLUDE,Z_0076_5040)
      & z_0076_5040(Z_0076_5040)
      & has_conj2(Z_0076_5040,R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT)
      & r_0076_0028__Programming_r_0076_0029__Systems_r_0076_0030__Support(R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT)
      & has_inv_arg0(R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT,R_0076_0047__ASSIST)
      & r_0076_0047__assist(R_0076_0047__ASSIST)
      & has_r_0076_0052__in__clr(R_0076_0047__ASSIST,R_0076_0053__REFLECTING)
      & r_0076_0053__reflecting(R_0076_0053__REFLECTING)
      & has_arg1(R_0076_0053__REFLECTING,R_0076_0054__CUSTOMER_R_0076_0055__REQUIREMENTS)
      & r_0076_0054__customer_r_0076_0055__requirements(R_0076_0054__CUSTOMER_R_0076_0055__REQUIREMENTS)
      & has_r_0076_0056__in(R_0076_0054__CUSTOMER_R_0076_0055__REQUIREMENTS,R_0076_0057__THE_R_0076_0058__SPECIFICATION)
      & r_0076_0057__the_r_0076_0058__specification(R_0076_0057__THE_R_0076_0058__SPECIFICATION)
      & has_r_0076_0059__of(R_0076_0057__THE_R_0076_0058__SPECIFICATION,R_0076_0061__PROGRAMMING_R_0076_0062__SYSTEMS)
      & r_0076_0061__programming_r_0076_0062__systems(R_0076_0061__PROGRAMMING_R_0076_0062__SYSTEMS)
      & has_attrib(R_0076_0061__PROGRAMMING_R_0076_0062__SYSTEMS,R_0076_0060__NEW)
      & has_arg0(R_0076_0053__REFLECTING,R_0076_0048__THE_R_0076_0049__IBM_R_0076_0050__PROGRAMMING_R_0076_0051__STAFF)
      & has_arg1(R_0076_0047__ASSIST,R_0076_0048__THE_R_0076_0049__IBM_R_0076_0050__PROGRAMMING_R_0076_0051__STAFF)
      & has_inv_arg0(R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT,R_0076_0032__KEEP)
      & r_0076_0032__keep(R_0076_0032__KEEP)
      & has_prd(R_0076_0032__KEEP,R_0076_0034__UP__HYPHEN__TO__HYPHEN__DATE)
      & r_0076_0034__up__hyphen__to__hyphen__date(R_0076_0034__UP__HYPHEN__TO__HYPHEN__DATE)
      & has_r_0076_0035__on(R_0076_0034__UP__HYPHEN__TO__HYPHEN__DATE,R_0076_0036__THE_R_0076_0037__AVAILABILITY_R_0076_0038__AND_R_0076_0039__USE)
      & r_0076_0036__the_r_0076_0037__availability_r_0076_0038__and_r_0076_0039__use(R_0076_0036__THE_R_0076_0037__AVAILABILITY_R_0076_0038__AND_R_0076_0039__USE)
      & has_r_0076_0040__of(R_0076_0036__THE_R_0076_0037__AVAILABILITY_R_0076_0038__AND_R_0076_0039__USE,R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS)
      & r_0076_0043__programming_r_0076_0044__systems(R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS)
      & has_attrib(R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS,R_0076_0042__NEW)
      & has_arg1(R_0076_0032__KEEP,R_0076_0033__CUSTOMERS)
      & has_conj1(Z_0076_5040,R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY)
      & has_arg0(R_0076_0004__INCLUDE,R_0076_0002__IBM_R_0076_0003__SERVICES)
      & r_0076_0002__IBM_r_0076_0003__Services(R_0076_0002__IBM_R_0076_0003__SERVICES)
      & has_attrib(R_0076_0002__IBM_R_0076_0003__SERVICES,R_0076_0001__NEW) ) ).