437_a_dick_1952
They came gingerly after him.
arc(r_0437_0002__came, r_0437_0001__They, arg0).
arc(r_0437_0002__came, r_0437_0003__gingerly, nim7).
arc(r_0437_0002__came, r_0437_0005__him, r_0437_0004__after_nim13).
fof(formula,axiom,
? [R_437_2_CAME,R_437_1_THEY,R_437_3_GINGERLY,R_437_5_HIM] :
( they(R_437_1_THEY)
& gingerly(R_437_3_GINGERLY)
& him(R_437_5_HIM)
& came(R_437_2_CAME,R_437_1_THEY)
& nim7(R_437_2_CAME,R_437_3_GINGERLY)
& after_nim13(R_437_2_CAME,R_437_5_HIM) ) ).
( (IP-MAT (NP-SBJ;{DORLE_NASHA} (PRO They;{they}))
(VBD;_I_ came;{come})
(ADVP-NIM (ADV gingerly;{gingerly}))
(PP-NIM (P-ROLE after;{after})
(NP;{TANCE} (PRO him;{he})))
(PUNC .))
(ID 437_a_dick_1952))