A man on a rocky peak.
The man was on the rocky peak on a sunny day.
Just because a man is on a rocky peak does not mean it is a sunny day.
exists s1 x1 x2.(a_topic(x1) & on(x1,x2) & n_peak(x2) & a_rocky(s1) & Theme(s1,x2) & n_man(x1))
exists p1 s1 x1 x2.(n_peak(x2) & a_rocky(s1) & Theme(s1,x2) & n_man(x1) & exists s2 x3.(on(x1,x2) & on(x2,x3) & n_day(x3) & a_sunny(s2) & Theme(s2,x3)))