Athlete throwing a javelin at a track and field event.
An athlete is swimming the 500m.
the athlete cannot be swimming in one event while throwing a javelin in another all at once.
exists e1 p1 x1.(exists e2 x2 x3 x4 x5 x6.(at(e2,x3) & n_event(x5) & of(x5,x6) & n_field(x6) & n_track(x4) & subset_of(x5,x3) & subset_of(x4,x3) & Theme(e2,x2) & Actor(e2,x1) & v_throw(e2) & n_javelin(x2)) & Topic(e1,p1) & Actor(e1,x1) & v_athlete(e1) & n_thing(x1))
exists e1 x1 x2.(n_500m(x2) & Theme(e1,x2) & Actor(e1,x1) & v_swim(e1) & n_athlete(x1))