A beautiful waterfall flows down the side of a mossy rock wall.
Some water.
Waterfall implies that there is water.
exists e1 s1 s2 x1 x2 x3 x4.(n_side(x2) & down(e1,x2) & of(x2,x3) & n_wall(x3) & of(x3,x4) & n_rock(x4) & a_mossy(s2) & Theme(s2,x3) & Actor(e1,x1) & v_flow(e1) & n_waterfall(x1) & a_beautiful(s1) & Theme(s1,x1))
exists x1.(a_topic(x1) & n_water(x1))