Context                Previous, Next                Top


630_a_dick_1952
The carts lined up behind the first one, the lead cart.

%3 r_0630_0003__lined_r_0630_0004__up lined up r_0630_0001__The_r_0630_0002__carts The carts r_0630_0003__lined_r_0630_0004__up->r_0630_0001__The_r_0630_0002__carts [arg0] r_0630_0006__the_r_0630_0008__one the one r_0630_0003__lined_r_0630_0004__up->r_0630_0006__the_r_0630_0008__one behind [nim] r_0630_0007__first first r_0630_0006__the_r_0630_0008__one->r_0630_0007__first [attrib] z_000_630_a_dick_1952_24 z_000_630_a_dick_1952_24->r_0630_0006__the_r_0630_0008__one [arg0] r_0630_0010__the_r_0630_0011__lead_r_0630_0012__cart the lead cart z_000_630_a_dick_1952_24->r_0630_0010__the_r_0630_0011__lead_r_0630_0012__cart [prd] 
arc(r_0630_0003__lined_r_0630_0004__up, r_0630_0001__The_r_0630_0002__carts, arg0).
arc(r_0630_0003__lined_r_0630_0004__up, r_0630_0006__the_r_0630_0008__one, r_0630_0005__behind_nim14).
arc(r_0630_0006__the_r_0630_0008__one, r_0630_0007__first, attrib17).
arc(z_000_630_a_dick_1952_24, r_0630_0006__the_r_0630_0008__one, arg0).
arc(z_000_630_a_dick_1952_24, r_0630_0010__the_r_0630_0011__lead_r_0630_0012__cart, prd).


%3 z_000_630_a_dick_1952_24 r_0630_0010__the_r_0630_0011__lead_r_0630_0012__cart the lead cart z_000_630_a_dick_1952_24->r_0630_0010__the_r_0630_0011__lead_r_0630_0012__cart [prd] r_0630_0006__the_r_0630_0008__one the one z_000_630_a_dick_1952_24->r_0630_0006__the_r_0630_0008__one [arg0] r_0630_0007__first first r_0630_0006__the_r_0630_0008__one->r_0630_0007__first [attrib] r_0630_0003__lined_r_0630_0004__up lined up r_0630_0003__lined_r_0630_0004__up->r_0630_0006__the_r_0630_0008__one behind [nim] r_0630_0001__The_r_0630_0002__carts The carts r_0630_0003__lined_r_0630_0004__up->r_0630_0001__The_r_0630_0002__carts [arg0] 
fof(formula,axiom,
    ? [R_0630_0001__THE_R_0630_0002__CARTS,R_0630_0007__FIRST,R_0630_0006__THE_R_0630_0008__ONE,R_0630_0003__LINED_R_0630_0004__UP,R_0630_0010__THE_R_0630_0011__LEAD_R_0630_0012__CART,Z_000_630_A_DICK_1952_24] :
      ( r_0630_0001__The_r_0630_0002__carts(R_0630_0001__THE_R_0630_0002__CARTS)
      & r_0630_0007__first(R_0630_0007__FIRST)
      & r_0630_0010__the_r_0630_0011__lead_r_0630_0012__cart(R_0630_0010__THE_R_0630_0011__LEAD_R_0630_0012__CART)
      & z_000_630_a_dick_1952_24(Z_000_630_A_DICK_1952_24)
      & has_prd(Z_000_630_A_DICK_1952_24,R_0630_0010__THE_R_0630_0011__LEAD_R_0630_0012__CART)
      & has_arg0(Z_000_630_A_DICK_1952_24,R_0630_0006__THE_R_0630_0008__ONE)
      & r_0630_0006__the_r_0630_0008__one(R_0630_0006__THE_R_0630_0008__ONE)
      & has_attrib17(R_0630_0006__THE_R_0630_0008__ONE,R_0630_0007__FIRST)
      & r_0630_0003__lined_r_0630_0004__up(R_0630_0003__LINED_R_0630_0004__UP)
      & has_r_0630_0005__behind_nim14(R_0630_0003__LINED_R_0630_0004__UP,R_0630_0006__THE_R_0630_0008__ONE)
      & has_arg0(R_0630_0003__LINED_R_0630_0004__UP,R_0630_0001__THE_R_0630_0002__CARTS) ) ).


n630_a_dick_1952 n630_a_dick_1952__1_1_1_1 The n630_a_dick_1952__1_1_2_1 carts n630_a_dick_1952__1_2_1 lined n630_a_dick_1952__1_3_1 up n630_a_dick_1952__1_4_1_1 behind n630_a_dick_1952__1_4_2_1_1 the n630_a_dick_1952__1_4_2_2_1_1 first n630_a_dick_1952__1_4_2_3_1 one n630_a_dick_1952__1_4_2_4_1 , n630_a_dick_1952__1_4_2_5_1_1_1 the n630_a_dick_1952__1_4_2_5_1_2_1 lead n630_a_dick_1952__1_4_2_5_1_3_1 cart n630_a_dick_1952__1_5_1 . n630_a_dick_1952__1 IP-MAT n630_a_dick_1952__1_1 NP-SBJ n630_a_dick_1952__1->n630_a_dick_1952__1_1 n630_a_dick_1952__1_2 VBD;_phr_Vp_ n630_a_dick_1952__1->n630_a_dick_1952__1_2 n630_a_dick_1952__1_3 RP n630_a_dick_1952__1->n630_a_dick_1952__1_3 n630_a_dick_1952__1_4 PP-NIM n630_a_dick_1952__1->n630_a_dick_1952__1_4 n630_a_dick_1952__1_5 PUNC n630_a_dick_1952__1->n630_a_dick_1952__1_5 n630_a_dick_1952__1_1_1 D n630_a_dick_1952__1_1->n630_a_dick_1952__1_1_1 n630_a_dick_1952__1_1_2 NS n630_a_dick_1952__1_1->n630_a_dick_1952__1_1_2 n630_a_dick_1952__1_1_1->n630_a_dick_1952__1_1_1_1 n630_a_dick_1952__1_1_2->n630_a_dick_1952__1_1_2_1 n630_a_dick_1952__1_2->n630_a_dick_1952__1_2_1 n630_a_dick_1952__1_3->n630_a_dick_1952__1_3_1 n630_a_dick_1952__1_4_1 P-ROLE n630_a_dick_1952__1_4->n630_a_dick_1952__1_4_1 n630_a_dick_1952__1_4_2 NP n630_a_dick_1952__1_4->n630_a_dick_1952__1_4_2 n630_a_dick_1952__1_4_1->n630_a_dick_1952__1_4_1_1 n630_a_dick_1952__1_4_2_1 D n630_a_dick_1952__1_4_2->n630_a_dick_1952__1_4_2_1 n630_a_dick_1952__1_4_2_2 ADJP n630_a_dick_1952__1_4_2->n630_a_dick_1952__1_4_2_2 n630_a_dick_1952__1_4_2_3 N n630_a_dick_1952__1_4_2->n630_a_dick_1952__1_4_2_3 n630_a_dick_1952__1_4_2_4 PUNC n630_a_dick_1952__1_4_2->n630_a_dick_1952__1_4_2_4 n630_a_dick_1952__1_4_2_5 IP-PPL n630_a_dick_1952__1_4_2->n630_a_dick_1952__1_4_2_5 n630_a_dick_1952__1_4_2_1->n630_a_dick_1952__1_4_2_1_1 n630_a_dick_1952__1_4_2_2_1 ADJ n630_a_dick_1952__1_4_2_2->n630_a_dick_1952__1_4_2_2_1 n630_a_dick_1952__1_4_2_2_1->n630_a_dick_1952__1_4_2_2_1_1 n630_a_dick_1952__1_4_2_3->n630_a_dick_1952__1_4_2_3_1 n630_a_dick_1952__1_4_2_4->n630_a_dick_1952__1_4_2_4_1 n630_a_dick_1952__1_4_2_5_1 NP-PRD n630_a_dick_1952__1_4_2_5->n630_a_dick_1952__1_4_2_5_1 n630_a_dick_1952__1_4_2_5_1_1 D n630_a_dick_1952__1_4_2_5_1->n630_a_dick_1952__1_4_2_5_1_1 n630_a_dick_1952__1_4_2_5_1_2 N n630_a_dick_1952__1_4_2_5_1->n630_a_dick_1952__1_4_2_5_1_2 n630_a_dick_1952__1_4_2_5_1_3 N n630_a_dick_1952__1_4_2_5_1->n630_a_dick_1952__1_4_2_5_1_3 n630_a_dick_1952__1_4_2_5_1_1->n630_a_dick_1952__1_4_2_5_1_1_1 n630_a_dick_1952__1_4_2_5_1_2->n630_a_dick_1952__1_4_2_5_1_2_1 n630_a_dick_1952__1_4_2_5_1_3->n630_a_dick_1952__1_4_2_5_1_3_1 n630_a_dick_1952__1_5->n630_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (NS carts;{cart}))
          (VBD;_phr_Vp_ lined;{line[up]})
          (RP up;{up})
          (PP-NIM (P-ROLE behind;{behind})
                  (NP (D the;{the})
                      (ADJP (ADJ first;{first}))
                      (N one;{one})
                      (PUNC ,)
                      (IP-PPL (NP-PRD (D the;{the})
                                      (N lead;{lead})
                                      (N cart;{cart})))))
          (PUNC .))
  (ID 630_a_dick_1952))