( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Ipr_ frowned;{frown[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP;{TANCE} (PRO him;{he})))
          (PUNC .))
  (ID 228_a_dick_1952))

arc(r_0228_0002__frowned_r_0228_0003__at,r_0228_0001__Dorle,arg0).
arc(r_0228_0002__frowned_r_0228_0003__at,r_0228_0004__him,arg1).

fof(formula,axiom,
    ? [R_0228_0001__DORLE,R_0228_0004__HIM,R_0228_0002__FROWNED_R_0228_0003__AT] :
      ( r_0228_0001__Dorle(R_0228_0001__DORLE)
      & r_0228_0004__him(R_0228_0004__HIM)
      & r_0228_0002__frowned_r_0228_0003__at(R_0228_0002__FROWNED_R_0228_0003__AT)
      & has_arg1(R_0228_0002__FROWNED_R_0228_0003__AT,R_0228_0004__HIM)
      & has_arg0(R_0228_0002__FROWNED_R_0228_0003__AT,R_0228_0001__DORLE) ) ).