( (IP-IMP (PULQ <ldquo>)
          (ADVP-NIM (ADV Only;{only}))
          (VB;_phr_Vp_ watch;{watch[out]})
          (RP out;{out})
          (PUNC .))
  (ID 153_a_dick_1952))

arc(r_0153_0003__watch_r_0153_0004__out,r_0153_0002__Only,nim).
arc(r_0153_0003__watch_r_0153_0004__out,z_0153_5002,arg0).

fof(formula,axiom,
    ? [R_0153_0002__ONLY,Z_0153_5002,R_0153_0003__WATCH_R_0153_0004__OUT] :
      ( r_0153_0002__Only(R_0153_0002__ONLY)
      & z_0153_5002(Z_0153_5002)
      & r_0153_0003__watch_r_0153_0004__out(R_0153_0003__WATCH_R_0153_0004__OUT)
      & has_arg0(R_0153_0003__WATCH_R_0153_0004__OUT,Z_0153_5002)
      & has_nim(R_0153_0003__WATCH_R_0153_0004__OUT,R_0153_0002__ONLY) ) ).