485_a_dick_1952
And these drums.
arc(r_0485_0001__And, r_0485_0002__these_r_0485_0003__drums, nim4).
fof(formula,axiom,
? [R_0485_0002__THESE_R_0485_0003__DRUMS,R_0485_0001__AND] :
( r_0485_0002__these_r_0485_0003__drums(R_0485_0002__THESE_R_0485_0003__DRUMS)
& r_0485_0001__And(R_0485_0001__AND)
& has_nim4(R_0485_0001__AND,R_0485_0002__THESE_R_0485_0003__DRUMS) ) ).
( (FRAG (CONJ And;{and})
(NP (D these;{these})
(NS drums;{drum}))
(PUNC .))
(ID 485_a_dick_1952))