The white and brown dog is running quickly through the grass.
The dog is at home in his bed.
The dog cannot be simultaneously in bed and running.
exists e1 s1 s2 s3 x1 x2.(n_grass(x2) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_white(s1) & Theme(s1,x1) & through(e1,x2) & a_quickly(s3) & Manner(e1,s3) & Actor(e1,x1) & v_run(e1))
exists p1 x1 x2.(n_bed(x2) & of(x2,x1) & n_male(x1) & n_dog(x1) & in(p1,x2) & exists x3.(at(x1,x3) & n_home(x3)))