Older gentleman smoking while walking by a painting of an old man.
Old men are smoking.
A gentleman is the same as men smoking.
(x)
exists p1 s1 x1.(exists x2.((x1 = x2) & n_smoking(x2)) & n_man(x1) & a_old(s1) & Theme(s1,x1))