A young boy enjoys the surf as the sun sits low on the horizon.
The sun is setting.
Just because the sun sits low on the horizon, it doesn't mean that the sun is setting.
exists e1 p1 s1 x1 x2 x3 x4.(n_horizon(x4) & n_sun(x3) & n_surf(x2) & exists e2 p2.(on(e2,x4) & exists s2.(Theme(s2,x3) & a_low(s2)) & Topic(e2,p2) & Actor(e2,x3) & v_sit(e2)) & as(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_boy(x1) & a_young(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_sun(x1) & Theme(e1,x2) & Actor(e1,x1) & v_set(e1) & n_thing(x2))