( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Ipr_ bump;{bump[into]})
                           (PP-CLR (P-ROLE into;{into})
                                   (NP;{CAT} (PRO him;{he})))))
          (NP-SBJ (PRO you;{you}))
          (BEP;_cat_VePASS_ <apos>re;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ caught;{catch}))
          (PUNC !))
  (ID 9_a_cat_mouse))

arc(r_0009_0001__If,r_0009_0003__bump_r_0009_0004__into,restriction).
arc(r_0009_0001__If,r_0009_0007___apos_re,scope).
arc(r_0009_0003__bump_r_0009_0004__into,r_0009_0002__you,arg0).
arc(r_0009_0003__bump_r_0009_0004__into,r_0009_0005__him,arg1).
arc(r_0009_0007___apos_re,r_0009_0008__caught,scope).
arc(r_0009_0008__caught,r_0009_0002__you,arg1).
arc(r_0009_0008__caught,z_0009_5005___star_,arg0).

fof(formula,axiom,
    ! [R_0009_0003__BUMP_R_0009_0004__INTO,R_0009_0002__YOU,R_0009_0005__HIM] :
      ( ( r_0009_0002__you(R_0009_0002__YOU)
        & r_0009_0005__him(R_0009_0005__HIM)
        & r_0009_0003__bump_r_0009_0004__into(R_0009_0003__BUMP_R_0009_0004__INTO)
        & has_arg1(R_0009_0003__BUMP_R_0009_0004__INTO,R_0009_0005__HIM)
        & has_arg0(R_0009_0003__BUMP_R_0009_0004__INTO,R_0009_0002__YOU) )
     => ? [Z_0009_5005___STAR_,R_0009_0007___APOS_RE_R_0009_0008__CAUGHT] :
          ( z_0009_5005___star_(Z_0009_5005___STAR_)
          & r_0009_0007___apos_re_r_0009_0008__caught(R_0009_0007___APOS_RE_R_0009_0008__CAUGHT)
          & has_arg0(R_0009_0007___APOS_RE_R_0009_0008__CAUGHT,Z_0009_5005___STAR_)
          & has_arg1(R_0009_0007___APOS_RE_R_0009_0008__CAUGHT,R_0009_0002__YOU) ) ) ).