467_a_dick_1952
“Tiny pictures.”
arc(r_0467_0003__pictures, r_0467_0002__Tiny, attrib5).
arc(z_000_467_a_dick_1952_1, r_0467_0003__pictures, nim4).
fof(formula,axiom,
? [R_0467_0002__TINY,R_0467_0003__PICTURES,Z_000_467_A_DICK_1952_1] :
( r_0467_0002__Tiny(R_0467_0002__TINY)
& z_000_467_a_dick_1952_1(Z_000_467_A_DICK_1952_1)
& has_nim4(Z_000_467_A_DICK_1952_1,R_0467_0003__PICTURES)
& r_0467_0003__pictures(R_0467_0003__PICTURES)
& has_attrib5(R_0467_0003__PICTURES,R_0467_0002__TINY) ) ).
( (FRAG (PULQ <ldquo>)
(NP (ADJP (ADJ Tiny;{tiny}))
(NS pictures;{picture}))
(PUNC .)
(PURQ <rdquo>))
(ID 467_a_dick_1952))