( (NP;{TAPE_UTILITIES} (N Tape;{tape})
                       (NS Utilities;{utility}))
  (ID 50_a_ibm_1401))

arc(z_0050_5004,r_0050_0001__Tape_r_0050_0002__Utilities,z_0050_5002).

fof(formula,axiom,
    ? [R_0050_0001__TAPE_R_0050_0002__UTILITIES,Z_0050_5004] :
      ( r_0050_0001__Tape_r_0050_0002__Utilities(R_0050_0001__TAPE_R_0050_0002__UTILITIES)
      & z_0050_5004(Z_0050_5004)
      & has_z_0050_5002(Z_0050_5004,R_0050_0001__TAPE_R_0050_0002__UTILITIES) ) ).