A snow covered street with people walking.
The streets are hot and dry from the sun.
The street can't be hot and dry while it is snow covered.
exists e1 e2 x1 x2 x3.(Actor(e2,x3) & v_walk(e2) & with(e1,x3) & n_people(x3) & Theme(e1,x2) & Actor(e1,x1) & v_cover(e1) & n_street(x2) & n_snow(x1))
exists s1 s2 x1 x2.(n_sun(x2) & n_street(x1) & from(s2,x2) & Theme(s2,x1) & a_dry(s2) & Theme(s1,x1) & a_hot(s1))