A small brown dog is running over grass littered with dry leaves.
The dog is sleeping
The dog is either running or its sleeping. It can't do both at the same time.
exists e2 e1 s1 s2 s3 x1 x2 x3 x4.(over(e1,x2) & with(e2,x4) & n_leaf(x4) & a_dry(s3) & Theme(s3,x4) & Theme(e2,x3) & v_litter(e2) & (x2 = x3) & n_grass(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_small(s1) & Theme(s1,x1))
exists e1 x1.(n_dog(x1) & Actor(e1,x1) & v_sleep(e1))