( (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))

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

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__nim(R_0257_0002__SPAT,R_0257_0004__DISGUST)
      & has_arg0(R_0257_0002__SPAT,R_0257_0001__DORLE) ) ).