The black cup sitting on the black saucer resembles a top hat.
The cup is on top of something
An object is on top of something if it is sitting on it.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4.(n_saucer(x3) & a_black(s2) & Theme(s2,x3) & n_cup(x1) & a_black(s1) & Theme(s1,x1) & Theme(e2,x4) & Actor(e2,x1) & v_resemble(e2) & n_hat(x4) & a_top(s3) & Theme(s3,x4) & on(e1,x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2))
exists p1 x1.(n_cup(x1) & exists x2 x3.(on(x1,x2) & of(x2,x3) & n_thing(x3) & n_top(x2)))