Two dogs play and appear to be hugging in the snow.
Big animals playing
Two dogs play and appear to be hugging in the snow does not imply the dogs are Big
exists e1 e2 p1 x1 x2 x3.(n_snow(x3) & Topic(e2,p1) & Actor(e2,x2) & v_appear(e2) & exists e3.(in(e3,x3) & Actor(e3,x2) & v_hug(e3)) & n_dog(x2) & card_eq_2(x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(a_topic(x1) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_animal(x1) & a_big(s1) & Theme(s1,x1))