Context                Previous, Next                Top


9_a_cat_mouse
If you bump into him you're caught!

%3 r_0009_0001__If If r_0009_0003__bump bump r_0009_0001__If->r_0009_0003__bump [restriction] r_0009_0007___apos_re 're r_0009_0001__If->r_0009_0007___apos_re [scope] r_0009_0002__you you r_0009_0003__bump->r_0009_0002__you [arg0] r_0009_0005__him him r_0009_0003__bump->r_0009_0005__him into [clr] r_0009_0008__caught caught r_0009_0007___apos_re->r_0009_0008__caught [scope] r_0009_0008__caught->r_0009_0002__you [arg1] z_000_9_a_cat_mouse_23 r_0009_0008__caught->z_000_9_a_cat_mouse_23 [arg0] 
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).


%3 r_0009_0001__If If r_0009_0003__bump bump r_0009_0001__If->r_0009_0003__bump [restriction] r_0009_0007___apos_re_r_0009_0008__caught 're caught r_0009_0001__If->r_0009_0007___apos_re_r_0009_0008__caught [scope] r_0009_0002__you you r_0009_0003__bump->r_0009_0002__you [arg0] r_0009_0005__him him r_0009_0003__bump->r_0009_0005__him into [clr] r_0009_0007___apos_re_r_0009_0008__caught->r_0009_0002__you [arg1] z_000_9_a_cat_mouse_23 r_0009_0007___apos_re_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) ) ).


n9_a_cat_mouse n9_a_cat_mouse_4 If n9_a_cat_mouse_8 you n9_a_cat_mouse_10 bump n9_a_cat_mouse_13 into n9_a_cat_mouse_16 him n9_a_cat_mouse_19 you n9_a_cat_mouse_21 're n9_a_cat_mouse_24 * n9_a_cat_mouse_26 caught n9_a_cat_mouse_28 ! n9_a_cat_mouse_1 IP-MAT n9_a_cat_mouse_2 PP-SCON n9_a_cat_mouse_1->n9_a_cat_mouse_2 n9_a_cat_mouse_17 NP-SBJ n9_a_cat_mouse_1->n9_a_cat_mouse_17 n9_a_cat_mouse_20 BEP;_cat_VePASS_ n9_a_cat_mouse_1->n9_a_cat_mouse_20 n9_a_cat_mouse_22 IP-PPL-CAT n9_a_cat_mouse_1->n9_a_cat_mouse_22 n9_a_cat_mouse_27 PUNC n9_a_cat_mouse_1->n9_a_cat_mouse_27 n9_a_cat_mouse_3 P-CONN n9_a_cat_mouse_2->n9_a_cat_mouse_3 n9_a_cat_mouse_5 IP-ADV n9_a_cat_mouse_2->n9_a_cat_mouse_5 n9_a_cat_mouse_3->n9_a_cat_mouse_4 n9_a_cat_mouse_6 NP-SBJ n9_a_cat_mouse_5->n9_a_cat_mouse_6 n9_a_cat_mouse_9 VBP;_Ipr_ n9_a_cat_mouse_5->n9_a_cat_mouse_9 n9_a_cat_mouse_11 PP-CLR n9_a_cat_mouse_5->n9_a_cat_mouse_11 n9_a_cat_mouse_7 PRO n9_a_cat_mouse_6->n9_a_cat_mouse_7 n9_a_cat_mouse_7->n9_a_cat_mouse_8 n9_a_cat_mouse_9->n9_a_cat_mouse_10 n9_a_cat_mouse_12 P-ROLE n9_a_cat_mouse_11->n9_a_cat_mouse_12 n9_a_cat_mouse_14 NP n9_a_cat_mouse_11->n9_a_cat_mouse_14 n9_a_cat_mouse_12->n9_a_cat_mouse_13 n9_a_cat_mouse_15 PRO n9_a_cat_mouse_14->n9_a_cat_mouse_15 n9_a_cat_mouse_15->n9_a_cat_mouse_16 n9_a_cat_mouse_18 PRO n9_a_cat_mouse_17->n9_a_cat_mouse_18 n9_a_cat_mouse_18->n9_a_cat_mouse_19 n9_a_cat_mouse_20->n9_a_cat_mouse_21 n9_a_cat_mouse_23 NP-LGS n9_a_cat_mouse_22->n9_a_cat_mouse_23 n9_a_cat_mouse_25 VVN;_Tn_ n9_a_cat_mouse_22->n9_a_cat_mouse_25 n9_a_cat_mouse_23->n9_a_cat_mouse_24 n9_a_cat_mouse_25->n9_a_cat_mouse_26 n9_a_cat_mouse_27->n9_a_cat_mouse_28 
( (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))