Two thin dogs are running fast through tall dry grass.
Two dogs lay on the floor.
Dogs cannot run and lay on the floor at the same time.
exists e1 s1 s2 s3 s4 x1 x2.(through(e1,x2) & n_grass(x2) & a_dry(s4) & Theme(s4,x2) & a_tall(s3) & Theme(s3,x2) & a_fast(s2) & Manner(e1,s2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_thin(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2.(n_floor(x2) & on(e1,x2) & Actor(e1,x1) & v_lay(e1) & n_dog(x1) & card_eq_2(x1))