A race car zips by on the racetrack.
a horse race at the track
A race car cannot be racing in a horse race track.
(x)
exists x1 x2 x3.(n_track(x3) & a_topic(x1) & at(x1,x3) & n_race(x1) & of(x1,x2) & n_horse(x2))