Context                Previous, Next                Top


8_a_cat_mouse
Wait for him to jump over you.

n8_a_cat_mouse n8_a_cat_mouse__1_1_1 Wait n8_a_cat_mouse__1_2_1_1 for n8_a_cat_mouse__1_2_2_1_1 him n8_a_cat_mouse__1_2_3_1 to n8_a_cat_mouse__1_2_4_1 jump n8_a_cat_mouse__1_2_5_1_1 over n8_a_cat_mouse__1_2_5_2_1_1 you n8_a_cat_mouse__1_3_1 . n8_a_cat_mouse__1 IP-IMP n8_a_cat_mouse__1_1 VB;_It_ n8_a_cat_mouse__1->n8_a_cat_mouse__1_1 n8_a_cat_mouse__1_2 IP-INF-CLR n8_a_cat_mouse__1->n8_a_cat_mouse__1_2 n8_a_cat_mouse__1_3 PUNC n8_a_cat_mouse__1->n8_a_cat_mouse__1_3 n8_a_cat_mouse__1_1->n8_a_cat_mouse__1_1_1 n8_a_cat_mouse__1_2_1 P-CONN n8_a_cat_mouse__1_2->n8_a_cat_mouse__1_2_1 n8_a_cat_mouse__1_2_2 NP-SBJ n8_a_cat_mouse__1_2->n8_a_cat_mouse__1_2_2 n8_a_cat_mouse__1_2_3 TO n8_a_cat_mouse__1_2->n8_a_cat_mouse__1_2_3 n8_a_cat_mouse__1_2_4 VB;_Ipr_ n8_a_cat_mouse__1_2->n8_a_cat_mouse__1_2_4 n8_a_cat_mouse__1_2_5 PP-CLR n8_a_cat_mouse__1_2->n8_a_cat_mouse__1_2_5 n8_a_cat_mouse__1_2_1->n8_a_cat_mouse__1_2_1_1 n8_a_cat_mouse__1_2_2_1 PRO n8_a_cat_mouse__1_2_2->n8_a_cat_mouse__1_2_2_1 n8_a_cat_mouse__1_2_2_1->n8_a_cat_mouse__1_2_2_1_1 n8_a_cat_mouse__1_2_3->n8_a_cat_mouse__1_2_3_1 n8_a_cat_mouse__1_2_4->n8_a_cat_mouse__1_2_4_1 n8_a_cat_mouse__1_2_5_1 P-ROLE n8_a_cat_mouse__1_2_5->n8_a_cat_mouse__1_2_5_1 n8_a_cat_mouse__1_2_5_2 NP n8_a_cat_mouse__1_2_5->n8_a_cat_mouse__1_2_5_2 n8_a_cat_mouse__1_2_5_1->n8_a_cat_mouse__1_2_5_1_1 n8_a_cat_mouse__1_2_5_2_1 PRO n8_a_cat_mouse__1_2_5_2->n8_a_cat_mouse__1_2_5_2_1 n8_a_cat_mouse__1_2_5_2_1->n8_a_cat_mouse__1_2_5_2_1_1 n8_a_cat_mouse__1_3->n8_a_cat_mouse__1_3_1 
( (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))


%3 r_0008_0005__jump_r_0008_0006__over jump over r_0008_0007__you you r_0008_0005__jump_r_0008_0006__over->r_0008_0007__you [arg1] r_0008_0003__him him r_0008_0005__jump_r_0008_0006__over->r_0008_0003__him [arg0] r_0008_0001__Wait Wait r_0008_0001__Wait->r_0008_0005__jump_r_0008_0006__over [clr] z_0008_5002 r_0008_0001__Wait->z_0008_5002 [arg0] 
arc(r_0008_0001__Wait,r_0008_0005__jump_r_0008_0006__over,clr).
arc(r_0008_0001__Wait,z_0008_5002,arg0).
arc(r_0008_0005__jump_r_0008_0006__over,r_0008_0003__him,arg0).
arc(r_0008_0005__jump_r_0008_0006__over,r_0008_0007__you,arg1).


%3 r_0008_0001__Wait Wait r_0008_0005__jump_r_0008_0006__over jump over r_0008_0001__Wait->r_0008_0005__jump_r_0008_0006__over [clr] z_0008_5002 r_0008_0001__Wait->z_0008_5002 [arg0] r_0008_0003__him him r_0008_0005__jump_r_0008_0006__over->r_0008_0003__him [arg0] r_0008_0007__you you r_0008_0005__jump_r_0008_0006__over->r_0008_0007__you [arg1] 
fof(formula,axiom,
    ? [R_0008_0003__HIM,R_0008_0007__YOU,R_0008_0005__JUMP_R_0008_0006__OVER,Z_0008_5002,R_0008_0001__WAIT] :
      ( r_0008_0003__him(R_0008_0003__HIM)
      & r_0008_0007__you(R_0008_0007__YOU)
      & z_0008_5002(Z_0008_5002)
      & r_0008_0001__Wait(R_0008_0001__WAIT)
      & has_arg0(R_0008_0001__WAIT,Z_0008_5002)
      & has_clr(R_0008_0001__WAIT,R_0008_0005__JUMP_R_0008_0006__OVER)
      & r_0008_0005__jump_r_0008_0006__over(R_0008_0005__JUMP_R_0008_0006__OVER)
      & has_arg1(R_0008_0005__JUMP_R_0008_0006__OVER,R_0008_0007__YOU)
      & has_arg0(R_0008_0005__JUMP_R_0008_0006__OVER,R_0008_0003__HIM) ) ).