Two brown and white dogs run on rocks, sky in background.
The cats ran on the rocks.
They are either dogs or cats, not both.
exists e1 s1 s2 x1 x2 x3 x4.(on(e1,x2) & rel(x2,x3) & in(x3,x4) & n_background(x4) & n_sky(x3) & n_rock(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_white(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2.(n_rock(x2) & n_cat(x1) & on(e1,x2) & Actor(e1,x1) & v_run(e1))