Context                Previous, Next                Top


8_a_cat_mouse
Wait for him to jump over you.

%3 r_0008_0001__Wait Wait r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump for to jump r_0008_0001__Wait->r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump [clr] z_000_8_a_cat_mouse_1 r_0008_0001__Wait->z_000_8_a_cat_mouse_1 [arg0] r_0008_0003__him him r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump->r_0008_0003__him [arg0] r_0008_0007__you you r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump->r_0008_0007__you over [clr] 
arc(r_0008_0001__Wait, r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump, clr4).
arc(r_0008_0001__Wait, z_000_8_a_cat_mouse_1, arg0).
arc(r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump, r_0008_0003__him, arg0).
arc(r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump, r_0008_0007__you, r_0008_0006__over_clr17).


%3 r_0008_0001__Wait Wait r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump for to jump r_0008_0001__Wait->r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump [clr] z_000_8_a_cat_mouse_1 r_0008_0001__Wait->z_000_8_a_cat_mouse_1 [arg0] r_0008_0003__him him r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump->r_0008_0003__him [arg0] r_0008_0007__you you r_0008_0002__for_r_0008_0004__to_r_0008_0005__jump->r_0008_0007__you over [clr] 
fof(formula,axiom,
    ? [R_8_1_WAIT,Z_8_A_CAT_MOUSE_1,R_8_2_FOR_TO_JUMP,R_8_3_HIM,R_8_7_YOU] :
      ( him(R_8_3_HIM)
      & you(R_8_7_YOU)
      & wait(R_8_1_WAIT,Z_8_A_CAT_MOUSE_1)
      & clr4(R_8_1_WAIT,R_8_2_FOR_TO_JUMP)
      & for_to_jump(R_8_2_FOR_TO_JUMP,R_8_3_HIM)
      & over_clr17(R_8_2_FOR_TO_JUMP,R_8_7_YOU) ) ).


n8_a_cat_mouse n8_a_cat_mouse_3 Wait n8_a_cat_mouse_6 for n8_a_cat_mouse_9 him n8_a_cat_mouse_11 to n8_a_cat_mouse_13 jump n8_a_cat_mouse_16 over n8_a_cat_mouse_19 you n8_a_cat_mouse_21 . n8_a_cat_mouse_1 IP-IMP n8_a_cat_mouse_2 VB;_It_ n8_a_cat_mouse_1->n8_a_cat_mouse_2 n8_a_cat_mouse_4 IP-INF-CLR n8_a_cat_mouse_1->n8_a_cat_mouse_4 n8_a_cat_mouse_20 PUNC n8_a_cat_mouse_1->n8_a_cat_mouse_20 n8_a_cat_mouse_2->n8_a_cat_mouse_3 n8_a_cat_mouse_5 P-CONN n8_a_cat_mouse_4->n8_a_cat_mouse_5 n8_a_cat_mouse_7 NP-SBJ n8_a_cat_mouse_4->n8_a_cat_mouse_7 n8_a_cat_mouse_10 TO n8_a_cat_mouse_4->n8_a_cat_mouse_10 n8_a_cat_mouse_12 VB;_Ipr_ n8_a_cat_mouse_4->n8_a_cat_mouse_12 n8_a_cat_mouse_14 PP-CLR n8_a_cat_mouse_4->n8_a_cat_mouse_14 n8_a_cat_mouse_5->n8_a_cat_mouse_6 n8_a_cat_mouse_8 PRO n8_a_cat_mouse_7->n8_a_cat_mouse_8 n8_a_cat_mouse_8->n8_a_cat_mouse_9 n8_a_cat_mouse_10->n8_a_cat_mouse_11 n8_a_cat_mouse_12->n8_a_cat_mouse_13 n8_a_cat_mouse_15 P-ROLE n8_a_cat_mouse_14->n8_a_cat_mouse_15 n8_a_cat_mouse_17 NP n8_a_cat_mouse_14->n8_a_cat_mouse_17 n8_a_cat_mouse_15->n8_a_cat_mouse_16 n8_a_cat_mouse_18 PRO n8_a_cat_mouse_17->n8_a_cat_mouse_18 n8_a_cat_mouse_18->n8_a_cat_mouse_19 n8_a_cat_mouse_20->n8_a_cat_mouse_21 
( (IP-IMP (VB;_It_ Wait;{wait})
          (IP-INF-CLR (P-CONN for;{for})
                      (NP-SBJ;{CAT} (PRO him;{he}))
                      (TO to;{to})
                      (VB;_Ipr_ jump;{jump[over]})
                      (PP-CLR (P-ROLE over;{over})
                              (NP (PRO you;{you}))))
          (PUNC .))
  (ID 8_a_cat_mouse))