The sky is blue and clear.
The sky has no clouds.
Sentence 1 is missing sky has no clouds.
exists s1 s2 x1.(n_sky(x1) & Theme(s2,x1) & a_clear(s2) & Theme(s1,x1) & a_blue(s1))
exists x1.(n_sky(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_cloud(x2)))