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_630_3_LINED_UP,R_630_1_THE_CARTS,Z_630_A_DICK_1952_24,R_630_6_THE_ONE,R_630_7_FIRST,R_630_10_THE_LEAD_CART] :
      ( the_carts(R_630_1_THE_CARTS)
      & first(R_630_7_FIRST)
      & the_lead_cart(R_630_10_THE_LEAD_CART)
      & lined_up(R_630_3_LINED_UP,R_630_1_THE_CARTS)
      & behind_nim14(R_630_3_LINED_UP,R_630_6_THE_ONE)
      & the_one(R_630_6_THE_ONE)
      & attrib17(R_630_6_THE_ONE,R_630_7_FIRST)
      & z_630_a_dick_1952_24(Z_630_A_DICK_1952_24,R_630_6_THE_ONE,R_630_10_THE_LEAD_CART) ) ).


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