Two big dogs play in the snow under a tree.
the black labs play in the snow
Black labs are not the only kind of big dog there is. These dogs could be any large breed of dog.
exists s1 x1 x2 x3 x4.(n_snow(x3) & a_topic(x1) & under(x1,x4) & n_tree(x4) & in(x1,x3) & n_play(x1) & of(x1,x2) & n_dog(x2) & a_big(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(n_snow(x2) & n_lab(x1) & a_black(s1) & Theme(s1,x1) & in(e1,x2) & Actor(e1,x1) & v_play(e1))