The sky is blue and clear.
It will not rain today.
it is possible to have rain in blue sky
exists s1 s2 x1.(n_sky(x1) & Theme(s2,x1) & a_clear(s2) & Theme(s1,x1) & a_blue(s1))
exists x1.(n_thing(x1) & -exists e1 x2.(Time(e1,x2) & n_today(x2) & Actor(e1,x1) & v_rain(e1)))