Context                Previous, Next                Top


7_a_cat_mouse
You can not go past the cat.

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


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


%3 r_0007_0003__not not r_0007_0002__can_r_0007_0004__go_r_0007_0005__past can go past r_0007_0003__not->r_0007_0002__can_r_0007_0004__go_r_0007_0005__past [keep_scope] r_0007_0001__You You r_0007_0002__can_r_0007_0004__go_r_0007_0005__past->r_0007_0001__You [arg0] r_0007_0006__the_r_0007_0007__cat the cat r_0007_0002__can_r_0007_0004__go_r_0007_0005__past->r_0007_0006__the_r_0007_0007__cat [arg1] 
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_0005__PAST] :
        ( 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_0005__past(R_0007_0002__CAN_R_0007_0004__GO_R_0007_0005__PAST)
        & has_arg1(R_0007_0002__CAN_R_0007_0004__GO_R_0007_0005__PAST,R_0007_0006__THE_R_0007_0007__CAT)
        & has_arg0(R_0007_0002__CAN_R_0007_0004__GO_R_0007_0005__PAST,R_0007_0001__YOU) ) ).