A boy sleeps on a car ride.
A boy are playing with some other childrens
You must be awake to be playing and not awake to be sleeping and you cannot be both at the same time.
exists e1 x1 x2 x3.(on(e1,x2) & n_ride(x2) & of(x2,x3) & n_car(x3) & Actor(e1,x1) & v_sleep(e1) & n_boy(x1))
exists e1 x1 x2 x3.(n_children(x3) & with(e1,x2) & -(x2 = x3) & n_children(x2) & Actor(e1,x1) & v_play(e1) & n_boy(x1))