Context                Previous, Next                Top


6_a_cat_mouse
You win if you reach the mousehole.

%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] 
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_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] 
fof(formula,axiom,
    ! [R_6_5_REACH,R_6_1_YOU,R_6_6_THE_MOUSEHOLE] :
      ( ( you(R_6_1_YOU)
        & the_mousehole(R_6_6_THE_MOUSEHOLE)
        & reach(R_6_5_REACH,R_6_1_YOU,R_6_6_THE_MOUSEHOLE) )
     => ? [R_6_2_WIN] : win(R_6_2_WIN,R_6_1_YOU) ) ).


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))