A group of woman on a sidewalk.
It is daylight outside
Being on a sidewalk does not necessarily mean there is daylight.
exists x1 x2 x3.(a_topic(x1) & of(x1,x2) & on(x2,x3) & n_sidewalk(x3) & n_woman(x2) & n_group(x1))
exists p1 x1.(n_thing(x1) & exists s1 x2.((x1 = x2) & n_outside(x2) & a_daylight(s1) & Theme(s1,x2)))