Racers get ready to swim by the side of the pool.
the racers are not ready to swim
The racers can not simultaneously be ready and not ready.
exists e1 p1 x1 x2 x3.(n_pool(x3) & n_side(x2) & exists p2 s1.(Topic(s1,p2) & Actor(s1,x1) & a_ready(s1) & exists e2.(by(e2,x2) & of(x2,x3) & Actor(e2,x1) & v_swim(e2))) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1) & n_racer(x1))
exists x1.(n_racer(x1) & -exists p1 s1.(Topic(s1,p1) & Actor(s1,x1) & a_ready(s1) & exists e1.(Actor(e1,x1) & v_swim(e1))))