A soccer game at sunset
A soccer game at noon.
Sunset is different from noon.
exists x1 x2 x3.(a_topic(x1) & at(x1,x3) & n_sunset(x3) & n_game(x1) & of(x1,x2) & n_soccer(x2))
exists x1 x2 x3.(a_topic(x1) & at(x1,x3) & n_noon(x3) & n_game(x1) & of(x1,x2) & n_soccer(x2))