TSPC 51_a_ibm

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

( (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}))
                                                (NLYR (NS data;{data})
                                                      (N processing;{processing}))
                                                (NS systems;{system})))))))
          (PUNC .))
  (ID 51_a_ibm_1401))

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,attrib).
arc(r_0051_0004__instructions,r_0051_0007__useful,attrib).
arc(r_0051_0007__useful,r_0051_0006__particularly,qual).
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,nim).
arc(r_0051_0013__use,r_0051_0017__systems,arg1).
arc(r_0051_0017__systems,r_0051_0014__larger,attrib).
arc(r_0051_0017__systems,r_0051_0015__data_r_0051_0016__processing,nim).

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_0015__data_r_0051_0016__processing(R_0051_0015__DATA_R_0051_0016__PROCESSING)
      & r_0051_0013__use(R_0051_0013__USE)
      & has_arg1(R_0051_0013__USE,R_0051_0017__SYSTEMS)
      & r_0051_0017__systems(R_0051_0017__SYSTEMS)
      & has_nim(R_0051_0017__SYSTEMS,R_0051_0015__DATA_R_0051_0016__PROCESSING)
      & has_attrib(R_0051_0017__SYSTEMS,R_0051_0014__LARGER)
      & has_nim(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_attrib(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_qual(R_0051_0007__USEFUL,R_0051_0006__PARTICULARLY)
      & has_attrib(R_0051_0004__INSTRUCTIONS,R_0051_0003__GENERALIZED)
      & has_arg0(R_0051_0002__ARE,R_0051_0001__THESE) ) ).