433_a_dick_1952
He started down the stairs.
arc(r_0433_0002__started, r_0433_0001__He, arg0).
arc(r_0433_0002__started, r_0433_0004__the_r_0433_0005__stairs, r_0433_0003__down_clr10).
fof(formula,axiom,
? [R_433_2_STARTED,R_433_1_HE,R_433_4_THE_STAIRS] :
( he(R_433_1_HE)
& the_stairs(R_433_4_THE_STAIRS)
& started(R_433_2_STARTED,R_433_1_HE)
& down_clr10(R_433_2_STARTED,R_433_4_THE_STAIRS) ) ).
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
(VBD;_Ipr_ started;{start[down]})
(PP-CLR (P-ROLE down;{down})
(NP (D the;{the})
(NS stairs;{stair})))
(PUNC .))
(ID 433_a_dick_1952))