Context                Previous, Next                Top


6_a_cat_mouse
You win if you reach the mousehole.

n6_a_cat_mouse n6_a_cat_mouse__1_1_1_1 You n6_a_cat_mouse__1_2_1 win n6_a_cat_mouse__1_3_1_1 if n6_a_cat_mouse__1_3_2_1_1_1 you n6_a_cat_mouse__1_3_2_2_1 reach n6_a_cat_mouse__1_3_2_3_1_1 the n6_a_cat_mouse__1_3_2_3_2_1 mousehole n6_a_cat_mouse__1_4_1 . n6_a_cat_mouse__1 IP-MAT n6_a_cat_mouse__1_1 NP-SBJ n6_a_cat_mouse__1->n6_a_cat_mouse__1_1 n6_a_cat_mouse__1_2 VBP;_I_ n6_a_cat_mouse__1->n6_a_cat_mouse__1_2 n6_a_cat_mouse__1_3 PP-SCON n6_a_cat_mouse__1->n6_a_cat_mouse__1_3 n6_a_cat_mouse__1_4 PUNC n6_a_cat_mouse__1->n6_a_cat_mouse__1_4 n6_a_cat_mouse__1_1_1 PRO n6_a_cat_mouse__1_1->n6_a_cat_mouse__1_1_1 n6_a_cat_mouse__1_1_1->n6_a_cat_mouse__1_1_1_1 n6_a_cat_mouse__1_2->n6_a_cat_mouse__1_2_1 n6_a_cat_mouse__1_3_1 P-CONN n6_a_cat_mouse__1_3->n6_a_cat_mouse__1_3_1 n6_a_cat_mouse__1_3_2 IP-ADV n6_a_cat_mouse__1_3->n6_a_cat_mouse__1_3_2 n6_a_cat_mouse__1_3_1->n6_a_cat_mouse__1_3_1_1 n6_a_cat_mouse__1_3_2_1 NP-SBJ n6_a_cat_mouse__1_3_2->n6_a_cat_mouse__1_3_2_1 n6_a_cat_mouse__1_3_2_2 VBP;_Tn_ n6_a_cat_mouse__1_3_2->n6_a_cat_mouse__1_3_2_2 n6_a_cat_mouse__1_3_2_3 NP-OB1 n6_a_cat_mouse__1_3_2->n6_a_cat_mouse__1_3_2_3 n6_a_cat_mouse__1_3_2_1_1 PRO n6_a_cat_mouse__1_3_2_1->n6_a_cat_mouse__1_3_2_1_1 n6_a_cat_mouse__1_3_2_1_1->n6_a_cat_mouse__1_3_2_1_1_1 n6_a_cat_mouse__1_3_2_2->n6_a_cat_mouse__1_3_2_2_1 n6_a_cat_mouse__1_3_2_3_1 D n6_a_cat_mouse__1_3_2_3->n6_a_cat_mouse__1_3_2_3_1 n6_a_cat_mouse__1_3_2_3_2 N n6_a_cat_mouse__1_3_2_3->n6_a_cat_mouse__1_3_2_3_2 n6_a_cat_mouse__1_3_2_3_1->n6_a_cat_mouse__1_3_2_3_1_1 n6_a_cat_mouse__1_3_2_3_2->n6_a_cat_mouse__1_3_2_3_2_1 n6_a_cat_mouse__1_4->n6_a_cat_mouse__1_4_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (VBP;_I_ win;{win})
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tn_ reach;{reach})
                           (NP-OB1;{MOUSEHOLE} (D the;{the})
                                               (N mousehole;{mousehole}))))
          (PUNC .))
  (ID 6_a_cat_mouse))


%3 r_0006_0005__reach reach r_0006_0006__the_r_0006_0007__mousehole the mousehole r_0006_0005__reach->r_0006_0006__the_r_0006_0007__mousehole [arg1] r_0006_0001__You You r_0006_0005__reach->r_0006_0001__You [arg0] r_0006_0003__if if r_0006_0003__if->r_0006_0005__reach [restriction] r_0006_0002__win win r_0006_0003__if->r_0006_0002__win [scope] r_0006_0002__win->r_0006_0001__You [arg0] 
arc(r_0006_0002__win,r_0006_0001__You,arg0).
arc(r_0006_0003__if,r_0006_0002__win,scope).
arc(r_0006_0003__if,r_0006_0005__reach,restriction).
arc(r_0006_0005__reach,r_0006_0001__You,arg0).
arc(r_0006_0005__reach,r_0006_0006__the_r_0006_0007__mousehole,arg1).


%3 r_0006_0002__win win r_0006_0001__You You r_0006_0002__win->r_0006_0001__You [arg0] r_0006_0003__if if r_0006_0003__if->r_0006_0002__win [scope] r_0006_0005__reach reach r_0006_0003__if->r_0006_0005__reach [restriction] r_0006_0005__reach->r_0006_0001__You [arg0] r_0006_0006__the_r_0006_0007__mousehole the mousehole r_0006_0005__reach->r_0006_0006__the_r_0006_0007__mousehole [arg1] 
fof(formula,axiom,
    ! [R_0006_0005__REACH,R_0006_0001__YOU,R_0006_0006__THE_R_0006_0007__MOUSEHOLE] :
      ( ( r_0006_0001__You(R_0006_0001__YOU)
        & r_0006_0006__the_r_0006_0007__mousehole(R_0006_0006__THE_R_0006_0007__MOUSEHOLE)
        & r_0006_0005__reach(R_0006_0005__REACH)
        & has_arg1(R_0006_0005__REACH,R_0006_0006__THE_R_0006_0007__MOUSEHOLE)
        & has_arg0(R_0006_0005__REACH,R_0006_0001__YOU) )
     => ? [R_0006_0002__WIN] :
          ( r_0006_0002__win(R_0006_0002__WIN)
          & has_arg0(R_0006_0002__WIN,R_0006_0001__YOU) ) ) ).