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_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_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_4 You n6_a_cat_mouse_6 win n6_a_cat_mouse_9 if n6_a_cat_mouse_13 you n6_a_cat_mouse_15 reach n6_a_cat_mouse_18 the n6_a_cat_mouse_20 mousehole n6_a_cat_mouse_22 . n6_a_cat_mouse_1 IP-MAT n6_a_cat_mouse_2 NP-SBJ n6_a_cat_mouse_1->n6_a_cat_mouse_2 n6_a_cat_mouse_5 VBP;_I_ n6_a_cat_mouse_1->n6_a_cat_mouse_5 n6_a_cat_mouse_7 PP-SCON n6_a_cat_mouse_1->n6_a_cat_mouse_7 n6_a_cat_mouse_21 PUNC n6_a_cat_mouse_1->n6_a_cat_mouse_21 n6_a_cat_mouse_3 PRO n6_a_cat_mouse_2->n6_a_cat_mouse_3 n6_a_cat_mouse_3->n6_a_cat_mouse_4 n6_a_cat_mouse_5->n6_a_cat_mouse_6 n6_a_cat_mouse_8 P-CONN n6_a_cat_mouse_7->n6_a_cat_mouse_8 n6_a_cat_mouse_10 IP-ADV n6_a_cat_mouse_7->n6_a_cat_mouse_10 n6_a_cat_mouse_8->n6_a_cat_mouse_9 n6_a_cat_mouse_11 NP-SBJ n6_a_cat_mouse_10->n6_a_cat_mouse_11 n6_a_cat_mouse_14 VBP;_Tn_ n6_a_cat_mouse_10->n6_a_cat_mouse_14 n6_a_cat_mouse_16 NP-OB1 n6_a_cat_mouse_10->n6_a_cat_mouse_16 n6_a_cat_mouse_12 PRO n6_a_cat_mouse_11->n6_a_cat_mouse_12 n6_a_cat_mouse_12->n6_a_cat_mouse_13 n6_a_cat_mouse_14->n6_a_cat_mouse_15 n6_a_cat_mouse_17 D n6_a_cat_mouse_16->n6_a_cat_mouse_17 n6_a_cat_mouse_19 N n6_a_cat_mouse_16->n6_a_cat_mouse_19 n6_a_cat_mouse_17->n6_a_cat_mouse_18 n6_a_cat_mouse_19->n6_a_cat_mouse_20 n6_a_cat_mouse_21->n6_a_cat_mouse_22 
( (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))