arc(r_0009_0001__If, r_0009_0003__bump, restriction).
arc(r_0009_0001__If, r_0009_0007___apos_re, scope).
arc(r_0009_0003__bump, r_0009_0002__you, arg0).
arc(r_0009_0003__bump, r_0009_0005__him, r_0009_0004__into_clr14).
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_000_9_a_cat_mouse_23, arg0).

fof(formula,axiom,
    ! [R_0009_0003__BUMP,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_0003__BUMP)
        & has_r_0009_0004__into_clr14(R_0009_0003__BUMP,R_0009_0005__HIM)
        & has_arg0(R_0009_0003__BUMP,R_0009_0002__YOU) )
     => ? [Z_000_9_A_CAT_MOUSE_23,R_0009_0007___APOS_RE_R_0009_0008__CAUGHT] :
          ( z_000_9_a_cat_mouse_23(Z_000_9_A_CAT_MOUSE_23)
          & 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_000_9_A_CAT_MOUSE_23)
          & has_arg1(R_0009_0007___APOS_RE_R_0009_0008__CAUGHT,R_0009_0002__YOU) ) ) ).

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