Context                Previous, Next                Top


4_a_cat_mouse
This is a wall.

n4_a_cat_mouse n4_a_cat_mouse__1_1_1_1 This n4_a_cat_mouse__1_2_1 is n4_a_cat_mouse__1_3_1_1 a n4_a_cat_mouse__1_3_2_1 wall n4_a_cat_mouse__1_4_1 . n4_a_cat_mouse__1 IP-MAT n4_a_cat_mouse__1_1 NP-SBJ n4_a_cat_mouse__1->n4_a_cat_mouse__1_1 n4_a_cat_mouse__1_2 BEP;_Ln_ n4_a_cat_mouse__1->n4_a_cat_mouse__1_2 n4_a_cat_mouse__1_3 NP-PRD n4_a_cat_mouse__1->n4_a_cat_mouse__1_3 n4_a_cat_mouse__1_4 PUNC n4_a_cat_mouse__1->n4_a_cat_mouse__1_4 n4_a_cat_mouse__1_1_1 D;_nphd_ n4_a_cat_mouse__1_1->n4_a_cat_mouse__1_1_1 n4_a_cat_mouse__1_1_1->n4_a_cat_mouse__1_1_1_1 n4_a_cat_mouse__1_2->n4_a_cat_mouse__1_2_1 n4_a_cat_mouse__1_3_1 D n4_a_cat_mouse__1_3->n4_a_cat_mouse__1_3_1 n4_a_cat_mouse__1_3_2 N n4_a_cat_mouse__1_3->n4_a_cat_mouse__1_3_2 n4_a_cat_mouse__1_3_1->n4_a_cat_mouse__1_3_1_1 n4_a_cat_mouse__1_3_2->n4_a_cat_mouse__1_3_2_1 n4_a_cat_mouse__1_4->n4_a_cat_mouse__1_4_1 
( (IP-MAT (NP-SBJ;{WALL} (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N wall;{wall}))
          (PUNC .))
  (ID 4_a_cat_mouse))


%3 r_0004_0002__is is r_0004_0003__a_r_0004_0004__wall a wall r_0004_0002__is->r_0004_0003__a_r_0004_0004__wall [prd] r_0004_0001__This This r_0004_0002__is->r_0004_0001__This [arg0] 
arc(r_0004_0002__is,r_0004_0001__This,arg0).
arc(r_0004_0002__is,r_0004_0003__a_r_0004_0004__wall,prd).


%3 r_0004_0002__is is r_0004_0001__This This r_0004_0002__is->r_0004_0001__This [arg0] r_0004_0003__a_r_0004_0004__wall a wall r_0004_0002__is->r_0004_0003__a_r_0004_0004__wall [prd] 
fof(formula,axiom,
    ? [R_0004_0001__THIS,R_0004_0003__A_R_0004_0004__WALL,R_0004_0002__IS] :
      ( r_0004_0001__This(R_0004_0001__THIS)
      & r_0004_0003__a_r_0004_0004__wall(R_0004_0003__A_R_0004_0004__WALL)
      & r_0004_0002__is(R_0004_0002__IS)
      & has_prd(R_0004_0002__IS,R_0004_0003__A_R_0004_0004__WALL)
      & has_arg0(R_0004_0002__IS,R_0004_0001__THIS) ) ).