TSPC 78_a_ibm

78_a_ibm_1401
Program Library

( (NP (N Program;{program})
      (N Library;{library}))
  (ID 78_a_ibm_1401))

arc(z_0078_5004,r_0078_0001__Program_r_0078_0002__Library,z_0078_5002).

fof(formula,axiom,
    ? [R_0078_0001__PROGRAM_R_0078_0002__LIBRARY,Z_0078_5004] :
      ( r_0078_0001__Program_r_0078_0002__Library(R_0078_0001__PROGRAM_R_0078_0002__LIBRARY)
      & z_0078_5004(Z_0078_5004)
      & has_z_0078_5002(Z_0078_5004,R_0078_0001__PROGRAM_R_0078_0002__LIBRARY) ) ).