This is a man shoveling snow, next to a car.
The man is about to swim in a pool.
A pool cannot consist of snow and one cannot swim and shovel snow at the same time.
exists p1 x1.(to(p1,x1) & n_car(x1) & r_next(p1) & exists e1 x2 x3 x4.((x1 = x2) & Theme(e1,x4) & Actor(e1,x3) & v_shovel(e1) & n_snow(x4) & (x2 = x3) & n_man(x2)) & n_thing(x1))
exists p1 s1 x1.(n_man(x1) & Topic(s1,p1) & Actor(s1,x1) & a_about(s1) & exists e1 x2.(in(e1,x2) & n_pool(x2) & Actor(e1,x1) & v_swim(e1)))