Two small dogs run across the green grass.
The dogs fall asleep near the cats.
theres no way dogs can run if they are in their sleep.
exists e1 s1 s2 x1 x2.(n_grass(x2) & a_green(s2) & Theme(s2,x2) & across(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_cat(x2) & n_dog(x1) & near(e1,x2) & a_asleep(s1) & Manner(e1,s1) & Actor(e1,x1) & v_fall(e1))