( (NP (ADJP (ADJ Nifty;{nifty}))
      (NS tricks;{trick}))
  (ID 39_a_duplex))

arc(r_0039_0002__tricks,r_0039_0001__Nifty,attrib).
arc(z_0039_5005,r_0039_0002__tricks,z_0039_5002).

fof(formula,axiom,
    ? [R_0039_0001__NIFTY,R_0039_0002__TRICKS,Z_0039_5005] :
      ( r_0039_0001__Nifty(R_0039_0001__NIFTY)
      & z_0039_5005(Z_0039_5005)
      & has_z_0039_5002(Z_0039_5005,R_0039_0002__TRICKS)
      & r_0039_0002__tricks(R_0039_0002__TRICKS)
      & has_attrib(R_0039_0002__TRICKS,R_0039_0001__NIFTY) ) ).