623_a_dick_1952
A moment later a small cart rushed to the surface.
arc(r_0623_0003__later, r_0623_0001__A_r_0623_0002__moment, nim3).
arc(r_0623_0004__a_r_0623_0006__cart, r_0623_0005__small, attrib13).
arc(r_0623_0007__rushed, r_0623_0003__later, nim2).
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_nim23).
fof(formula,axiom,
? [R_623_7_RUSHED,R_623_4_A_CART,R_623_5_SMALL,R_623_3_LATER,R_623_1_A_MOMENT,R_623_9_THE_SURFACE] :
( small(R_623_5_SMALL)
& a_moment(R_623_1_A_MOMENT)
& the_surface(R_623_9_THE_SURFACE)
& rushed(R_623_7_RUSHED,R_623_4_A_CART)
& a_cart(R_623_4_A_CART)
& attrib13(R_623_4_A_CART,R_623_5_SMALL)
& nim2(R_623_7_RUSHED,R_623_3_LATER)
& later(R_623_3_LATER)
& nim3(R_623_3_LATER,R_623_1_A_MOMENT)
& to_nim23(R_623_7_RUSHED,R_623_9_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))