623_a_dick_1952
A moment later a small cart rushed to the surface.
( (IP-MAT (ADVP-NIM (NP (D A;{a})
(N moment;{moment}))
(ADVR later;{late}))
(NP-SBJ;{CART1} (D a;{a})
(ADJP (ADJ small;{small}))
(N cart;{cart}))
(VBD;_I_ rushed;{rush})
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(N surface;{surface})))
(PUNC .))
(ID 623_a_dick_1952))
arc(r_0623_0003__later,r_0623_0001__A_r_0623_0002__moment,nim).
arc(r_0623_0004__a_r_0623_0006__cart,r_0623_0005__small,attrib).
arc(r_0623_0007__rushed,r_0623_0003__later,nim).
arc(r_0623_0007__rushed,r_0623_0004__a_r_0623_0006__cart,arg0).
arc(r_0623_0007__rushed,r_0623_0009__the_r_0623_0010__surface,r_0623_0008__to__nim).
fof(formula,axiom,
? [R_0623_0001__A_R_0623_0002__MOMENT,R_0623_0003__LATER,R_0623_0005__SMALL,R_0623_0004__A_R_0623_0006__CART,R_0623_0009__THE_R_0623_0010__SURFACE,R_0623_0007__RUSHED] :
( r_0623_0001__A_r_0623_0002__moment(R_0623_0001__A_R_0623_0002__MOMENT)
& r_0623_0005__small(R_0623_0005__SMALL)
& r_0623_0009__the_r_0623_0010__surface(R_0623_0009__THE_R_0623_0010__SURFACE)
& r_0623_0007__rushed(R_0623_0007__RUSHED)
& has_r_0623_0008__to__nim(R_0623_0007__RUSHED,R_0623_0009__THE_R_0623_0010__SURFACE)
& has_arg0(R_0623_0007__RUSHED,R_0623_0004__A_R_0623_0006__CART)
& r_0623_0004__a_r_0623_0006__cart(R_0623_0004__A_R_0623_0006__CART)
& has_attrib(R_0623_0004__A_R_0623_0006__CART,R_0623_0005__SMALL)
& has_nim(R_0623_0007__RUSHED,R_0623_0003__LATER)
& r_0623_0003__later(R_0623_0003__LATER)
& has_nim(R_0623_0003__LATER,R_0623_0001__A_R_0623_0002__MOMENT) ) ).