One black and white dog sleeps while the other two black and white dogs play with a plastic bag.
All of the dogs are asleep.
One dog sleeping out of three dogs is not all of the dogs.
(-x)
exists x2.(n_dog(x2) & all x1.(n_thing(x1) -> exists s1.(Theme(s1,x1) & a_asleep(s1) & of(x1,x2))))