Context                Previous, Next                Top


7_a_cat_mouse
You can not go past the cat.

%3 r_0007_0002__can can r_0007_0004__go go r_0007_0002__can->r_0007_0004__go [scope] r_0007_0001__You You r_0007_0004__go->r_0007_0001__You [arg0] r_0007_0006__the_r_0007_0007__cat the cat r_0007_0004__go->r_0007_0006__the_r_0007_0007__cat past [clr] r_0007_0003__not not r_0007_0003__not->r_0007_0002__can [keep_scope] 
arc(r_0007_0002__can, r_0007_0004__go, scope).
arc(r_0007_0003__not, r_0007_0002__can, keep_scope).
arc(r_0007_0004__go, r_0007_0001__You, arg0).
arc(r_0007_0004__go, r_0007_0006__the_r_0007_0007__cat, r_0007_0005__past_clr15).


%3 r_0007_0002__can_r_0007_0004__go can go r_0007_0006__the_r_0007_0007__cat the cat r_0007_0002__can_r_0007_0004__go->r_0007_0006__the_r_0007_0007__cat past [clr] r_0007_0001__You You r_0007_0002__can_r_0007_0004__go->r_0007_0001__You [arg0] r_0007_0003__not not r_0007_0003__not->r_0007_0002__can_r_0007_0004__go [keep_scope] 
fof(formula,axiom,
    ~ ? [R_0007_0001__YOU,R_0007_0006__THE_R_0007_0007__CAT,R_0007_0002__CAN_R_0007_0004__GO] :
        ( r_0007_0001__You(R_0007_0001__YOU)
        & r_0007_0006__the_r_0007_0007__cat(R_0007_0006__THE_R_0007_0007__CAT)
        & r_0007_0002__can_r_0007_0004__go(R_0007_0002__CAN_R_0007_0004__GO)
        & has_r_0007_0005__past_clr15(R_0007_0002__CAN_R_0007_0004__GO,R_0007_0006__THE_R_0007_0007__CAT)
        & has_arg0(R_0007_0002__CAN_R_0007_0004__GO,R_0007_0001__YOU) ) ).


n7_a_cat_mouse n7_a_cat_mouse__1_1_1_1 You n7_a_cat_mouse__1_2_1 can n7_a_cat_mouse__1_3_1 not n7_a_cat_mouse__1_4_1_1 go n7_a_cat_mouse__1_4_2_1_1 past n7_a_cat_mouse__1_4_2_2_1_1 the n7_a_cat_mouse__1_4_2_2_2_1 cat n7_a_cat_mouse__1_5_1 . n7_a_cat_mouse__1 IP-MAT n7_a_cat_mouse__1_1 NP-SBJ n7_a_cat_mouse__1->n7_a_cat_mouse__1_1 n7_a_cat_mouse__1_2 MD;_cat_Vi_ n7_a_cat_mouse__1->n7_a_cat_mouse__1_2 n7_a_cat_mouse__1_3 NEG;_clitic_ n7_a_cat_mouse__1->n7_a_cat_mouse__1_3 n7_a_cat_mouse__1_4 IP-INF-CAT n7_a_cat_mouse__1->n7_a_cat_mouse__1_4 n7_a_cat_mouse__1_5 PUNC n7_a_cat_mouse__1->n7_a_cat_mouse__1_5 n7_a_cat_mouse__1_1_1 PRO n7_a_cat_mouse__1_1->n7_a_cat_mouse__1_1_1 n7_a_cat_mouse__1_1_1->n7_a_cat_mouse__1_1_1_1 n7_a_cat_mouse__1_2->n7_a_cat_mouse__1_2_1 n7_a_cat_mouse__1_3->n7_a_cat_mouse__1_3_1 n7_a_cat_mouse__1_4_1 VB;_Ipr_ n7_a_cat_mouse__1_4->n7_a_cat_mouse__1_4_1 n7_a_cat_mouse__1_4_2 PP-CLR n7_a_cat_mouse__1_4->n7_a_cat_mouse__1_4_2 n7_a_cat_mouse__1_4_1->n7_a_cat_mouse__1_4_1_1 n7_a_cat_mouse__1_4_2_1 P-ROLE n7_a_cat_mouse__1_4_2->n7_a_cat_mouse__1_4_2_1 n7_a_cat_mouse__1_4_2_2 NP n7_a_cat_mouse__1_4_2->n7_a_cat_mouse__1_4_2_2 n7_a_cat_mouse__1_4_2_1->n7_a_cat_mouse__1_4_2_1_1 n7_a_cat_mouse__1_4_2_2_1 D n7_a_cat_mouse__1_4_2_2->n7_a_cat_mouse__1_4_2_2_1 n7_a_cat_mouse__1_4_2_2_2 N n7_a_cat_mouse__1_4_2_2->n7_a_cat_mouse__1_4_2_2_2 n7_a_cat_mouse__1_4_2_2_1->n7_a_cat_mouse__1_4_2_2_1_1 n7_a_cat_mouse__1_4_2_2_2->n7_a_cat_mouse__1_4_2_2_2_1 n7_a_cat_mouse__1_5->n7_a_cat_mouse__1_5_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ can;{can})
          (NEG;_clitic_ not;{not})
          (IP-INF-CAT (VB;_Ipr_ go;{go[past]})
                      (PP-CLR (P-ROLE past;{past})
                              (NP;{CAT} (D the;{the})
                                        (N cat;{cat}))))
          (PUNC .))
  (ID 7_a_cat_mouse))