A white dog has its head on the ground.
A black dog romps happily in the yard.
One dog is white and other is black. One dog cannot romp with its head on the ground.
exists e1 s1 x1 x2 x3.(n_ground(x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_head(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists s1 x1 x2 x3.(n_yard(x3) & a_topic(x1) & n_happily(x1) & in(x1,x3) & n_romp(x1) & of(x1,x2) & n_dog(x2) & a_black(s1) & Theme(s1,x1))