The small furry white dog is walking in the green grass.
The big black dog is sleeping on the sofa.
Big and small are different sizes.  Black and white are different colors.
exists e1 s1 s2 s3 s4 x1 x2.(n_grass(x2) & a_green(s4) & Theme(s4,x2) & n_dog(x1) & a_white(s3) & Theme(s3,x1) & a_furry(s2) & Theme(s2,x1) & a_small(s1) & Theme(s1,x1) & in(e1,x2) & Actor(e1,x1) & v_walk(e1))
exists e1 s1 s2 x1 x2.(n_sofa(x2) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & a_big(s1) & Theme(s1,x1) & on(e1,x2) & Actor(e1,x1) & v_sleep(e1))