A pile of dogs sleep on a blue dog bed.
The bed is big enough for multiple dogs.
The pile of dogs indicates multiple dogs and the fact that they are asleep on the bed indicates that the bed is big enough.
exists e1 s1 x1 x2 x3 x4.(on(e1,x3) & n_bed(x3) & of(x3,x4) & n_dog(x4) & a_blue(s1) & Theme(s1,x3) & Actor(e1,x1) & v_sleep(e1) & of(x1,x2) & n_dog(x2) & n_pile(x1))
exists s1 s2 s3 x1 x2.(n_bed(x1) & for(s1,x2) & n_dog(x2) & a_multiple(s3) & Theme(s3,x2) & a_enough(s2) & Manner(s1,s2) & Theme(s1,x1) & a_big(s1))