A baby with a red cover on her and a hat by her feet it laying in a wagon of some sort.
A gorilla is painting.
A gorilla is different from a baby.
(x)
exists p1 x1.(exists x2.((x1 = x2) & n_painting(x2)) & n_gorilla(x1))