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.

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).

fof(formula,axiom,
    ? [R_0076_0001__NEW,R_0076_0002__IBM_R_0076_0003__SERVICES,R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY,R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT,Z_000_76_A_IBM_1401_15,R_0076_0004__INCLUDE,Z_000_76_A_IBM_1401_18,R_0076_0006__PROGRAMMED,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,Z_000_76_A_IBM_1401_152,R_0076_0053__REFLECTING,R_0076_0046__TO_R_0076_0047__ASSIST,R_0076_0009__PRE__HYPHEN__TESTED,R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS,Z_000_76_A_IBM_1401_26,Z_000_76_A_IBM_1401_36,R_0076_0012__DESIGNED,R_0076_0015__VARIOUS,R_0076_0016__MAJOR,R_0076_0025__SPECIFIC,R_0076_0024__A_R_0076_0026__INDUSTRY,R_0076_0022__FIRMS,R_0076_0020__COMMON,R_0076_0017__DATA_R_0076_0018__PROCESSING_R_0076_0019__FUNCTIONS,R_0076_0013__TO_R_0076_0014__HANDLE,Z_000_76_A_IBM_1401_40] :
      ( r_0076_0001__New(R_0076_0001__NEW)
      & r_0076_0007__Applications_r_0076_0008__Library(R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY)
      & 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_0025__specific(R_0076_0025__SPECIFIC)
      & 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_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_000_76_a_ibm_1401_152(Z_000_76_A_IBM_1401_152)
      & z_000_76_a_ibm_1401_18(Z_000_76_A_IBM_1401_18)
      & z_000_76_a_ibm_1401_36(Z_000_76_A_IBM_1401_36)
      & z_000_76_a_ibm_1401_40(Z_000_76_A_IBM_1401_40)
      & has_conj1(Z_000_76_A_IBM_1401_40,R_0076_0013__TO_R_0076_0014__HANDLE)
      & r_0076_0013__to_r_0076_0014__handle(R_0076_0013__TO_R_0076_0014__HANDLE)
      & has_arg0(R_0076_0013__TO_R_0076_0014__HANDLE,Z_000_76_A_IBM_1401_36)
      & has_arg1(R_0076_0013__TO_R_0076_0014__HANDLE,R_0076_0017__DATA_R_0076_0018__PROCESSING_R_0076_0019__FUNCTIONS)
      & r_0076_0017__data_r_0076_0018__processing_r_0076_0019__functions(R_0076_0017__DATA_R_0076_0018__PROCESSING_R_0076_0019__FUNCTIONS)
      & has_attrib59(R_0076_0017__DATA_R_0076_0018__PROCESSING_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_attrib74(R_0076_0024__A_R_0076_0026__INDUSTRY,R_0076_0025__SPECIFIC)
      & has_attrib50(R_0076_0017__DATA_R_0076_0018__PROCESSING_R_0076_0019__FUNCTIONS,R_0076_0016__MAJOR)
      & has_attrib47(R_0076_0017__DATA_R_0076_0018__PROCESSING_R_0076_0019__FUNCTIONS,R_0076_0015__VARIOUS)
      & has_conj2(Z_000_76_A_IBM_1401_40,R_0076_0012__DESIGNED)
      & r_0076_0012__designed(R_0076_0012__DESIGNED)
      & has_arg0(R_0076_0012__DESIGNED,Z_000_76_A_IBM_1401_36)
      & has_arg1(R_0076_0012__DESIGNED,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_attrib28(R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS,R_0076_0009__PRE__HYPHEN__TESTED)
      & z_000_76_a_ibm_1401_26(Z_000_76_A_IBM_1401_26)
      & has_prd(Z_000_76_A_IBM_1401_26,R_0076_0010__COMPUTER_R_0076_0011__PROGRAMS)
      & has_arg0(Z_000_76_A_IBM_1401_26,R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY)
      & r_0076_0046__To_r_0076_0047__assist(R_0076_0046__TO_R_0076_0047__ASSIST)
      & has_r_0076_0052__in_clr152(R_0076_0046__TO_R_0076_0047__ASSIST,R_0076_0053__REFLECTING)
      & r_0076_0053__reflecting(R_0076_0053__REFLECTING)
      & has_arg0(R_0076_0053__REFLECTING,Z_000_76_A_IBM_1401_152)
      & 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_attrib172(R_0076_0061__PROGRAMMING_R_0076_0062__SYSTEMS,R_0076_0060__NEW)
      & has_arg1(R_0076_0046__TO_R_0076_0047__ASSIST,R_0076_0048__THE_R_0076_0049__IBM_R_0076_0050__PROGRAMMING_R_0076_0051__STAFF)
      & has_arg0(R_0076_0046__TO_R_0076_0047__ASSIST,R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT)
      & ! [R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS,R_0076_0042__NEW] :
          ( ( r_0076_0042__new(R_0076_0042__NEW)
            & r_0076_0043__programming_r_0076_0044__systems(R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS)
            & has_attrib124(R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS,R_0076_0042__NEW) )
         => ? [R_0076_0033__CUSTOMERS,R_0076_0037__AVAILABILITY,R_0076_0039__USE,R_0076_0038__AND,R_0076_0034__UP__HYPHEN__TO__HYPHEN__DATE,R_0076_0031__TO_R_0076_0032__KEEP] :
              ( r_0076_0033__customers(R_0076_0033__CUSTOMERS)
              & r_0076_0037__availability(R_0076_0037__AVAILABILITY)
              & r_0076_0039__use(R_0076_0039__USE)
              & r_0076_0031__To_r_0076_0032__keep(R_0076_0031__TO_R_0076_0032__KEEP)
              & has_prd(R_0076_0031__TO_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_0038__AND)
              & r_0076_0038__and(R_0076_0038__AND)
              & has_r_0076_0040__of(R_0076_0038__AND,R_0076_0043__PROGRAMMING_R_0076_0044__SYSTEMS)
              & has_conj2(R_0076_0038__AND,R_0076_0039__USE)
              & has_conj1(R_0076_0038__AND,R_0076_0037__AVAILABILITY)
              & has_arg1(R_0076_0031__TO_R_0076_0032__KEEP,R_0076_0033__CUSTOMERS)
              & has_arg0(R_0076_0031__TO_R_0076_0032__KEEP,R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT) ) )
      & r_0076_0006__Programmed(R_0076_0006__PROGRAMMED)
      & has_arg0(R_0076_0006__PROGRAMMED,Z_000_76_A_IBM_1401_18)
      & has_arg1(R_0076_0006__PROGRAMMED,R_0076_0007__APPLICATIONS_R_0076_0008__LIBRARY)
      & r_0076_0004__include(R_0076_0004__INCLUDE)
      & has_arg1(R_0076_0004__INCLUDE,Z_000_76_A_IBM_1401_15)
      & z_000_76_a_ibm_1401_15(Z_000_76_A_IBM_1401_15)
      & has_conj2(Z_000_76_A_IBM_1401_15,R_0076_0028__PROGRAMMING_R_0076_0029__SYSTEMS_R_0076_0030__SUPPORT)
      & has_conj1(Z_000_76_A_IBM_1401_15,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_attrib3(R_0076_0002__IBM_R_0076_0003__SERVICES,R_0076_0001__NEW) ) ).

( (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))