Two fluffy white dogs are in the snow.
Two animals are in the frozen material on the ground.
Two animals are Two fluffy white dogs
exists p1 s1 s2 x1 x2.(n_snow(x2) & in(x1,x2) & n_dog(x1) & a_white(s2) & Theme(s2,x1) & a_fluffy(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 s1 x1 x2 x3.(n_ground(x2) & n_material(x3) & a_frozen(s1) & Theme(s1,x3) & on(p1,x2) & in(x1,x3) & n_animal(x1) & card_eq_2(x1))