TSPC 51_a_ibm

51_a_ibm_1401
These are generalized instructions, particularly useful to 1401 customers who also use larger data processing systems.

arc(r_0051_0002__are, r_0051_0001__These, arg0).
arc(r_0051_0002__are, r_0051_0004__instructions, prd).
arc(r_0051_0004__instructions, r_0051_0003__generalized, attrib8).
arc(r_0051_0004__instructions, r_0051_0007__useful, attrib15).
arc(r_0051_0007__useful, r_0051_0006__particularly, qual16).
arc(r_0051_0007__useful, r_0051_0009__1401_r_0051_0010__customers, r_0051_0008__to).
arc(r_0051_0013__use, r_0051_0009__1401_r_0051_0010__customers, arg0).
arc(r_0051_0013__use, r_0051_0012__also, nim33).
arc(r_0051_0013__use, r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems, arg1).
arc(r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems, r_0051_0014__larger, attrib39).

fof(formula,axiom,
    ? [R_0051_0001__THESE,R_0051_0003__GENERALIZED,R_0051_0006__PARTICULARLY,R_0051_0009__1401_R_0051_0010__CUSTOMERS,R_0051_0007__USEFUL,R_0051_0004__INSTRUCTIONS,R_0051_0002__ARE,R_0051_0012__ALSO,R_0051_0014__LARGER,R_0051_0015__DATA_R_0051_0016__PROCESSING_R_0051_0017__SYSTEMS,R_0051_0013__USE] :
      ( r_0051_0001__These(R_0051_0001__THESE)
      & r_0051_0003__generalized(R_0051_0003__GENERALIZED)
      & r_0051_0006__particularly(R_0051_0006__PARTICULARLY)
      & r_0051_0009__1401_r_0051_0010__customers(R_0051_0009__1401_R_0051_0010__CUSTOMERS)
      & r_0051_0012__also(R_0051_0012__ALSO)
      & r_0051_0014__larger(R_0051_0014__LARGER)
      & r_0051_0013__use(R_0051_0013__USE)
      & has_arg1(R_0051_0013__USE,R_0051_0015__DATA_R_0051_0016__PROCESSING_R_0051_0017__SYSTEMS)
      & r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems(R_0051_0015__DATA_R_0051_0016__PROCESSING_R_0051_0017__SYSTEMS)
      & has_attrib39(R_0051_0015__DATA_R_0051_0016__PROCESSING_R_0051_0017__SYSTEMS,R_0051_0014__LARGER)
      & has_nim33(R_0051_0013__USE,R_0051_0012__ALSO)
      & has_arg0(R_0051_0013__USE,R_0051_0009__1401_R_0051_0010__CUSTOMERS)
      & r_0051_0002__are(R_0051_0002__ARE)
      & has_prd(R_0051_0002__ARE,R_0051_0004__INSTRUCTIONS)
      & r_0051_0004__instructions(R_0051_0004__INSTRUCTIONS)
      & has_attrib15(R_0051_0004__INSTRUCTIONS,R_0051_0007__USEFUL)
      & r_0051_0007__useful(R_0051_0007__USEFUL)
      & has_r_0051_0008__to(R_0051_0007__USEFUL,R_0051_0009__1401_R_0051_0010__CUSTOMERS)
      & has_qual16(R_0051_0007__USEFUL,R_0051_0006__PARTICULARLY)
      & has_attrib8(R_0051_0004__INSTRUCTIONS,R_0051_0003__GENERALIZED)
      & has_arg0(R_0051_0002__ARE,R_0051_0001__THESE) ) ).

( (IP-MAT (NP-SBJ;{TAPE_UTILITIES} (D;_nphd_ These;{these}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (ADJP (ADJ generalized;{generalized}))
                  (NS instructions;{instruction})
                  (PUNC ,)
                  (ADJP (ADVP (ADV particularly;{particularly}))
                        (ADJ useful;{useful})
                        (PP (P-ROLE to;{to})
                            (NP (NPR 1401)
                                (NS customers;{customer})
                                (IP-REL (NP-SBJ (RPRO who;{who}))
                                        (ADVP-NIM (ADV also;{also}))
                                        (VBP;_Tn_ use;{use})
                                        (NP-OB1 (ADJP (ADJR larger;{large}))
                                                (NS data;{data})
                                                (N processing;{processing})
                                                (NS systems;{system})))))))
          (PUNC .))
  (ID 51_a_ibm_1401))