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,
? [Z_467_A_DICK_1952_1,R_467_3_PICTURES,R_467_2_TINY] :
( tiny(R_467_2_TINY)
& z_467_a_dick_1952_1(Z_467_A_DICK_1952_1)
& nim4(Z_467_A_DICK_1952_1,R_467_3_PICTURES)
& pictures(R_467_3_PICTURES)
& attrib5(R_467_3_PICTURES,R_467_2_TINY) ) ).
( (FRAG (PULQ <ldquo>)
(NP (ADJP (ADJ Tiny;{tiny}))
(NS pictures;{picture}))
(PUNC .)
(PURQ <rdquo>))
(ID 467_a_dick_1952))