arc(r_0257_0002__spat, r_0257_0001__Dorle, arg0).
arc(r_0257_0002__spat, r_0257_0004__disgust, r_0257_0003__in_nim10).

fof(formula,axiom,
    ? [R_0257_0001__DORLE,R_0257_0004__DISGUST,R_0257_0002__SPAT] :
      ( r_0257_0001__Dorle(R_0257_0001__DORLE)
      & r_0257_0004__disgust(R_0257_0004__DISGUST)
      & r_0257_0002__spat(R_0257_0002__SPAT)
      & has_r_0257_0003__in_nim10(R_0257_0002__SPAT,R_0257_0004__DISGUST)
      & has_arg0(R_0257_0002__SPAT,R_0257_0001__DORLE) ) ).

( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_I_ spat;{spit})
          (PP-NIM (P-ROLE in;{in})
                  (NP (N disgust;{disgust})))
          (PUNC .))
  (ID 257_a_dick_1952))