TSPC 47_a_ibm

47_a_ibm_1401
These are pre-written instructions to perform many of the everyday operations of an installation.

( (IP-MAT (NP-SBJ;{UTILITY_PROGRAMS} (D;_nphd_ These;{these}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (ADJP (ADJ pre_<hyphen>_written;{pre_written}))
                  (NS instructions;{instruction})
                  (IP-INF-REL (NP-SBJ *T*)
                              (TO to;{to})
                              (VB;_Tn_ perform;{perform})
                              (NP-OB1 (Q;_nphd_ many;{many})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (ADJP (ADJ everyday;{everyday}))
                                              (NS operations;{operation})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D an;{an})
                                                      (N installation;{installation}))))))))
          (PUNC .))
  (ID 47_a_ibm_1401))

arc(r_0047_0002__are,r_0047_0001__These,arg0).
arc(r_0047_0002__are,r_0047_0004__instructions,prd).
arc(r_0047_0004__instructions,r_0047_0003__pre__hyphen__written,attrib).
arc(r_0047_0006__perform,r_0047_0004__instructions,inv_arg0).
arc(r_0047_0006__perform,z_0047_5008,arg1).
arc(r_0047_0007__many__quant,r_0047_0006__perform,scope).
arc(r_0047_0007__many__quant,z_0047_5008,restriction).
arc(r_0047_0009__the_r_0047_0011__operations,r_0047_0010__everyday,attrib).
arc(r_0047_0009__the_r_0047_0011__operations,r_0047_0013__an_r_0047_0014__installation,r_0047_0012__of).
arc(z_0047_5008,r_0047_0009__the_r_0047_0011__operations,r_0047_0008__of).

fof(formula,axiom,
    ? [R_0047_0001__THESE,R_0047_0003__PRE__HYPHEN__WRITTEN,R_0047_0010__EVERYDAY,R_0047_0013__AN_R_0047_0014__INSTALLATION,R_0047_0009__THE_R_0047_0011__OPERATIONS,Z_0047_5008,R_0047_0006__PERFORM,R_0047_0004__INSTRUCTIONS,R_0047_0002__ARE] :
      ( r_0047_0001__These(R_0047_0001__THESE)
      & r_0047_0003__pre__hyphen__written(R_0047_0003__PRE__HYPHEN__WRITTEN)
      & r_0047_0010__everyday(R_0047_0010__EVERYDAY)
      & r_0047_0013__an_r_0047_0014__installation(R_0047_0013__AN_R_0047_0014__INSTALLATION)
      & ( z_0047_5008(Z_0047_5008)
       => r_0047_0006__perform(R_0047_0006__PERFORM) )
      & r_0047_0002__are(R_0047_0002__ARE)
      & has_prd(R_0047_0002__ARE,R_0047_0004__INSTRUCTIONS)
      & r_0047_0004__instructions(R_0047_0004__INSTRUCTIONS)
      & has_inv_arg0(R_0047_0004__INSTRUCTIONS,R_0047_0006__PERFORM)
      & r_0047_0006__perform(R_0047_0006__PERFORM)
      & has_arg1(R_0047_0006__PERFORM,Z_0047_5008)
      & z_0047_5008(Z_0047_5008)
      & has_r_0047_0008__of(Z_0047_5008,R_0047_0009__THE_R_0047_0011__OPERATIONS)
      & r_0047_0009__the_r_0047_0011__operations(R_0047_0009__THE_R_0047_0011__OPERATIONS)
      & has_r_0047_0012__of(R_0047_0009__THE_R_0047_0011__OPERATIONS,R_0047_0013__AN_R_0047_0014__INSTALLATION)
      & has_attrib(R_0047_0009__THE_R_0047_0011__OPERATIONS,R_0047_0010__EVERYDAY)
      & has_attrib(R_0047_0004__INSTRUCTIONS,R_0047_0003__PRE__HYPHEN__WRITTEN)
      & has_arg0(R_0047_0002__ARE,R_0047_0001__THESE) ) ).