A man repairs a glider on a sunny day.
The sunny day is also very hot.
Just because a day is sunny does not mean the day is very hot.
all x1.(n_glider(x1) -> exists s1 x2 x3 x4.(a_topic(x2) & on(x2,x4) & n_day(x4) & a_sunny(s1) & Theme(s1,x4) & for(x2,x1) & n_repair(x2) & of(x2,x3) & n_man(x3)))
exists s1 s2 s3 x1.(n_day(x1) & a_sunny(s1) & Theme(s1,x1) & a_also(s3) & Manner(s2,s3) & r_very(s2) & Theme(s2,x1) & a_hot(s2))