The black and white dog jumps over an obstacle.
Two dogs are playing in the snow.
There is either one dog jumping over an obstacle, or two dogs playing in the snow.
exists s1 s2 x1 x2 x3.(n_jump(x1) & of(x1,x2) & n_dog(x2) & a_white(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1) & a_topic(x1) & over(x1,x3) & n_obstacle(x3))
exists e1 x1 x2.(n_snow(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))