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_9_3_BUMP,R_9_2_YOU,R_9_5_HIM] :
      ( ( you(R_9_2_YOU)
        & him(R_9_5_HIM)
        & bump(R_9_3_BUMP,R_9_2_YOU)
        & into_clr14(R_9_3_BUMP,R_9_5_HIM) )
     => ? [R_9_7__APOS_RE_CAUGHT,Z_9_A_CAT_MOUSE_23] : _apos_re_caught(R_9_7__APOS_RE_CAUGHT,Z_9_A_CAT_MOUSE_23,R_9_2_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))