Two white dogs walking in the snow.
There are seventeen cats playing in the sand.
Dogs and cats are different types of animals. Snow and sand are contradictions.
exists e1 s1 x1 x2 x3.(n_snow(x3) & a_topic(x1) & in(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1 x4.(n_sand(x4) & exists e1 x2 x3.((x1 = x2) & in(e1,x4) & Actor(e1,x3) & v_play(e1) & (x2 = x3) & n_cat(x2) & card_eq_17(x2)))