A couple kisses in a shady walkway.
A couple talks on a well lit street
Shady is not well lit, and one either kisses or talks.
exists s1 x1 x2 x3.(a_topic(x1) & in(x1,x3) & n_walkway(x3) & a_shady(s1) & Theme(s1,x3) & n_kiss(x1) & of(x1,x2) & n_couple(x2))
exists s1 x1 x2 x3.(a_topic(x1) & on(x1,x3) & n_street(x3) & a_lit(s1) & Theme(s1,x3) & r_well(x3) & n_talk(x1) & of(x1,x2) & n_couple(x2))