TSPC 35_a_ibm

35_a_ibm_1401
IBM Programming Systems:

( (FRAG (NP (NPR IBM;{IBM})
            (N Programming;{programming})
            (NS Systems;{system}))
        (PUNC :))
  (ID 35_a_ibm_1401))

arc(z_0035_5004,r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems,z_0035_5002).

fof(formula,axiom,
    ? [R_0035_0001__IBM_R_0035_0002__PROGRAMMING_R_0035_0003__SYSTEMS,Z_0035_5004] :
      ( r_0035_0001__IBM_r_0035_0002__Programming_r_0035_0003__Systems(R_0035_0001__IBM_R_0035_0002__PROGRAMMING_R_0035_0003__SYSTEMS)
      & z_0035_5004(Z_0035_5004)
      & has_z_0035_5002(Z_0035_5004,R_0035_0001__IBM_R_0035_0002__PROGRAMMING_R_0035_0003__SYSTEMS) ) ).