Man standing on a rock ledge over a body of water the sky and water are blue and meet at the horizon.
The man is on a ledge.
The second sentence includes a man on a ledge which is a simplified version of the first sentence.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19.(n_horizon(x19) & at(e1,x19) & Actor(e1,x10) & v_meet(e1) & on(x10,x12) & over(x12,x14) & subset_of(x18,x14) & n_water(x18) & subset_of(x15,x14) & n_sky(x17) & (x15 = x17) & of(x15,x16) & n_water(x16) & n_body(x15) & n_ledge(x12) & of(x12,x13) & n_rock(x13) & n_standing(x10) & of(x10,x11) & n_man(x11) & Theme(s1,x1) & a_blue(s1) & on(x1,x3) & over(x3,x5) & subset_of(x9,x5) & n_water(x9) & subset_of(x6,x5) & n_sky(x8) & (x6 = x8) & of(x6,x7) & n_water(x7) & n_body(x6) & n_ledge(x3) & of(x3,x4) & n_rock(x4) & n_standing(x1) & of(x1,x2) & n_man(x2))
exists p1 x1.(n_man(x1) & exists x2.(on(x1,x2) & n_ledge(x2)))