437_a_dick_1952
They came gingerly after 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))
arc(r_0437_0002__came,r_0437_0001__They,arg0).
arc(r_0437_0002__came,r_0437_0003__gingerly,nim).
arc(r_0437_0002__came,r_0437_0005__him,r_0437_0004__after__nim).
fof(formula,axiom,
? [R_0437_0001__THEY,R_0437_0003__GINGERLY,R_0437_0005__HIM,R_0437_0002__CAME] :
( r_0437_0001__They(R_0437_0001__THEY)
& r_0437_0003__gingerly(R_0437_0003__GINGERLY)
& r_0437_0005__him(R_0437_0005__HIM)
& r_0437_0002__came(R_0437_0002__CAME)
& has_r_0437_0004__after__nim(R_0437_0002__CAME,R_0437_0005__HIM)
& has_nim(R_0437_0002__CAME,R_0437_0003__GINGERLY)
& has_arg0(R_0437_0002__CAME,R_0437_0001__THEY) ) ).