Two dogs, one white and one black, play with each other in the sand.
Two dogs are asleep on the sofa.
Dogs who are asleep are not able to play.
exists s1 s2 s3 x1 x2 x4.(n_sand(x4) & a_topic(x1) & all x3.(n_other(x3) -> (rel(x1,x2) & in(x2,x4) & with(x2,x3))) & n_play(x2) & a_,(s3) & Theme(s3,x2) & a_black(s2) & Theme(s2,x2) & card_eq_1(x2) & card_eq_1(x2) & a_white(s1) & Theme(s1,x2) & n_dog(x1) & card_eq_2(x1))
exists s1 x1 x2.(n_sofa(x2) & on(s1,x2) & Theme(s1,x1) & a_asleep(s1) & n_dog(x1) & card_eq_2(x1))