arc(r_0465_0002__came, r_0465_0001__They, arg0).
arc(r_0465_0002__came, r_0465_0004__him, r_0465_0003__around_nim10).

fof(formula,axiom,
    ? [R_0465_0001__THEY,R_0465_0004__HIM,R_0465_0002__CAME] :
      ( r_0465_0001__They(R_0465_0001__THEY)
      & r_0465_0004__him(R_0465_0004__HIM)
      & r_0465_0002__came(R_0465_0002__CAME)
      & has_r_0465_0003__around_nim10(R_0465_0002__CAME,R_0465_0004__HIM)
      & has_arg0(R_0465_0002__CAME,R_0465_0001__THEY) ) ).

( (IP-MAT (NP-SBJ;{DORLE_NASHA} (PRO They;{they}))
          (VBD;_I_ came;{come})
          (PP-NIM (P-ROLE around;{around})
                  (NP;{TANCE} (PRO him;{he})))
          (PUNC .))
  (ID 465_a_dick_1952))