Beach goers look at a heart left in the sky by a sky writer.
The sky is blue and the sun is shining.
No way to know that sky is blue and the sun is shining.
exists e2 e1 x1 x2 x3 x4 x5 x6.(at(e1,x3) & Actor(e2,x6) & n_writer(x6) & of(x6,x5) & n_sky(x5) & n_sky(x5) & in(e2,x5) & Theme(e2,x4) & v_leave(e2) & (x3 = x4) & n_heart(x3) & Actor(e1,x1) & v_look(e1) & n_goer(x1) & (x1 = x2) & ne_per_beach(x2))
exists e1 s1 x1 x2.(n_sun(x2) & n_sky(x1) & Actor(e1,x2) & v_shine(e1) & Theme(s1,x1) & a_blue(s1))