Context                Previous, Next                Top


625_a_dick_1952
A second cart appeared behind it.

%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] 
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_nim14).


%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_625_4_APPEARED,R_625_1_A_SECOND_CART,R_625_6_IT] :
      ( a_second_cart(R_625_1_A_SECOND_CART)
      & it(R_625_6_IT)
      & appeared(R_625_4_APPEARED,R_625_1_A_SECOND_CART)
      & behind_nim14(R_625_4_APPEARED,R_625_6_IT) ) ).


n625_a_dick_1952 n625_a_dick_1952_4 A n625_a_dick_1952_6 second n625_a_dick_1952_8 cart n625_a_dick_1952_10 appeared n625_a_dick_1952_13 behind n625_a_dick_1952_16 it n625_a_dick_1952_18 . n625_a_dick_1952_1 IP-MAT n625_a_dick_1952_2 NP-SBJ n625_a_dick_1952_1->n625_a_dick_1952_2 n625_a_dick_1952_9 VBD;_I_ n625_a_dick_1952_1->n625_a_dick_1952_9 n625_a_dick_1952_11 PP-NIM n625_a_dick_1952_1->n625_a_dick_1952_11 n625_a_dick_1952_17 PUNC n625_a_dick_1952_1->n625_a_dick_1952_17 n625_a_dick_1952_3 D n625_a_dick_1952_2->n625_a_dick_1952_3 n625_a_dick_1952_5 NUM n625_a_dick_1952_2->n625_a_dick_1952_5 n625_a_dick_1952_7 N n625_a_dick_1952_2->n625_a_dick_1952_7 n625_a_dick_1952_3->n625_a_dick_1952_4 n625_a_dick_1952_5->n625_a_dick_1952_6 n625_a_dick_1952_7->n625_a_dick_1952_8 n625_a_dick_1952_9->n625_a_dick_1952_10 n625_a_dick_1952_12 P-ROLE n625_a_dick_1952_11->n625_a_dick_1952_12 n625_a_dick_1952_14 NP n625_a_dick_1952_11->n625_a_dick_1952_14 n625_a_dick_1952_12->n625_a_dick_1952_13 n625_a_dick_1952_15 PRO n625_a_dick_1952_14->n625_a_dick_1952_15 n625_a_dick_1952_15->n625_a_dick_1952_16 n625_a_dick_1952_17->n625_a_dick_1952_18 
( (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))