A gray bird flies over the water by some rocks.
The bird is big.
No evidence as to the size of the gray bird. It is not necessarily big.
exists e1 s1 x1 x2 x3.(n_water(x2) & by(e1,x3) & n_rock(x3) & over(e1,x2) & Actor(e1,x1) & v_fly(e1) & n_bird(x1) & a_gray(s1) & Theme(s1,x1))
exists s1 x1.(n_bird(x1) & Theme(s1,x1) & a_big(s1))