Olympic speed skater on the ice.
Olympic speed skater next to the sun.
On the ice and next to the sun can not be the same place.
exists s1 x1 x2 x3.(n_ice(x3) & a_topic(x1) & on(x1,x3) & n_skater(x1) & a_speed(s1) & Theme(s1,x1) & (x1 = x2) & ne_nam_olympic(x2))
exists x1 x2 x3 x4 x5.(n_sun(x5) & a_topic(x1) & to(x4,x5) & next(x1,x4) & n_thing(x4) & n_skater(x1) & of(x1,x3) & n_speed(x3) & (x1 = x2) & ne_nam_olympic(x2))