A soccer net at sunset.
A soccer net at midnight.
Midnight cannot be sunset.
exists x1 x2 x3.(a_topic(x1) & at(x1,x3) & n_sunset(x3) & n_net(x1) & of(x1,x2) & n_soccer(x2))
exists x1 x2 x3.(a_topic(x1) & at(x1,x3) & n_midnight(x3) & n_net(x1) & of(x1,x2) & n_soccer(x2))