TSPC 47_a_ibm

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

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, attrib8).
arc(r_0047_0005__to_r_0047_0006__perform, r_0047_0004__instructions, arg0).
arc(r_0047_0005__to_r_0047_0006__perform, z_000_47_a_ibm_1401_20, arg1).
arc(r_0047_0007__many_quant, r_0047_0005__to_r_0047_0006__perform, scope).
arc(r_0047_0007__many_quant, z_000_47_a_ibm_1401_20, restriction).
arc(r_0047_0009__the_r_0047_0011__operations, r_0047_0010__everyday, attrib29).
arc(r_0047_0009__the_r_0047_0011__operations, r_0047_0013__an_r_0047_0014__installation, r_0047_0012__of).
arc(z_000_47_a_ibm_1401_20, 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_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)
      & ! [Z_000_47_A_IBM_1401_20,R_0047_0010__EVERYDAY,R_0047_0013__AN_R_0047_0014__INSTALLATION,R_0047_0009__THE_R_0047_0011__OPERATIONS] :
          ( ( 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_000_47_a_ibm_1401_20(Z_000_47_A_IBM_1401_20)
            & has_r_0047_0008__of(Z_000_47_A_IBM_1401_20,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_attrib29(R_0047_0009__THE_R_0047_0011__OPERATIONS,R_0047_0010__EVERYDAY) )
         => ? [R_0047_0005__TO_R_0047_0006__PERFORM] :
              ( r_0047_0005__to_r_0047_0006__perform(R_0047_0005__TO_R_0047_0006__PERFORM)
              & has_arg1(R_0047_0005__TO_R_0047_0006__PERFORM,Z_000_47_A_IBM_1401_20)
              & has_arg0(R_0047_0005__TO_R_0047_0006__PERFORM,R_0047_0004__INSTRUCTIONS) ) )
      & 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_attrib8(R_0047_0004__INSTRUCTIONS,R_0047_0003__PRE__HYPHEN__WRITTEN)
      & has_arg0(R_0047_0002__ARE,R_0047_0001__THESE) ) ).

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