The number five is painted on the steps.
There are some steps with the number five painted on them.
Number five is painted on the steps can be replaced with steps with the number five painted
exists e1 x1 x2.(n_step(x2) & n_number(x1) & card_eq_5(x1) & on(e1,x2) & Theme(e1,x1) & v_paint(e1))
exists p1 x1 x3.(n_thing(x3) & n_number(x3) & card_eq_5(x3) & exists e1 x2 x4.((x1 = x2) & with(x2,x3) & on(e1,x3) & Theme(e1,x4) & v_paint(e1) & (x3 = x4) & n_step(x2)))