Context                Previous, Next                Top


625_a_dick_1952
A second cart appeared behind it.

n625_a_dick_1952 n625_a_dick_1952__1_1_1_1 A n625_a_dick_1952__1_1_2_1 second n625_a_dick_1952__1_1_3_1 cart n625_a_dick_1952__1_2_1 appeared n625_a_dick_1952__1_3_1_1 behind n625_a_dick_1952__1_3_2_1_1 it n625_a_dick_1952__1_4_1 . n625_a_dick_1952__1 IP-MAT n625_a_dick_1952__1_1 NP-SBJ n625_a_dick_1952__1->n625_a_dick_1952__1_1 n625_a_dick_1952__1_2 VBD;_I_ n625_a_dick_1952__1->n625_a_dick_1952__1_2 n625_a_dick_1952__1_3 PP-NIM n625_a_dick_1952__1->n625_a_dick_1952__1_3 n625_a_dick_1952__1_4 PUNC n625_a_dick_1952__1->n625_a_dick_1952__1_4 n625_a_dick_1952__1_1_1 D n625_a_dick_1952__1_1->n625_a_dick_1952__1_1_1 n625_a_dick_1952__1_1_2 NUM n625_a_dick_1952__1_1->n625_a_dick_1952__1_1_2 n625_a_dick_1952__1_1_3 N n625_a_dick_1952__1_1->n625_a_dick_1952__1_1_3 n625_a_dick_1952__1_1_1->n625_a_dick_1952__1_1_1_1 n625_a_dick_1952__1_1_2->n625_a_dick_1952__1_1_2_1 n625_a_dick_1952__1_1_3->n625_a_dick_1952__1_1_3_1 n625_a_dick_1952__1_2->n625_a_dick_1952__1_2_1 n625_a_dick_1952__1_3_1 P-ROLE n625_a_dick_1952__1_3->n625_a_dick_1952__1_3_1 n625_a_dick_1952__1_3_2 NP n625_a_dick_1952__1_3->n625_a_dick_1952__1_3_2 n625_a_dick_1952__1_3_1->n625_a_dick_1952__1_3_1_1 n625_a_dick_1952__1_3_2_1 PRO n625_a_dick_1952__1_3_2->n625_a_dick_1952__1_3_2_1 n625_a_dick_1952__1_3_2_1->n625_a_dick_1952__1_3_2_1_1 n625_a_dick_1952__1_4->n625_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{CART2} (D A;{a})
                          (NUM second;{second})
                          (N cart;{cart}))
          (VBD;_I_ appeared;{appear})
          (PP-NIM (P-ROLE behind;{behind})
                  (NP;{CART1} (PRO it;{it})))
          (PUNC .))
  (ID 625_a_dick_1952))


%3 r_0625_0004__appeared appeared r_0625_0006__it it r_0625_0004__appeared->r_0625_0006__it behind [nim] r_0625_0001__A_r_0625_0002__second_r_0625_0003__cart A second cart r_0625_0004__appeared->r_0625_0001__A_r_0625_0002__second_r_0625_0003__cart [arg0] 
arc(r_0625_0004__appeared,r_0625_0001__A_r_0625_0002__second_r_0625_0003__cart,arg0).
arc(r_0625_0004__appeared,r_0625_0006__it,r_0625_0005__behind__nim).


%3 r_0625_0004__appeared appeared r_0625_0001__A_r_0625_0002__second_r_0625_0003__cart A second cart r_0625_0004__appeared->r_0625_0001__A_r_0625_0002__second_r_0625_0003__cart [arg0] r_0625_0006__it it r_0625_0004__appeared->r_0625_0006__it behind [nim] 
fof(formula,axiom,
    ? [R_0625_0001__A_R_0625_0002__SECOND_R_0625_0003__CART,R_0625_0006__IT,R_0625_0004__APPEARED] :
      ( r_0625_0001__A_r_0625_0002__second_r_0625_0003__cart(R_0625_0001__A_R_0625_0002__SECOND_R_0625_0003__CART)
      & r_0625_0006__it(R_0625_0006__IT)
      & r_0625_0004__appeared(R_0625_0004__APPEARED)
      & has_r_0625_0005__behind__nim(R_0625_0004__APPEARED,R_0625_0006__IT)
      & has_arg0(R_0625_0004__APPEARED,R_0625_0001__A_R_0625_0002__SECOND_R_0625_0003__CART) ) ).