A man wiping the snow off his car with a large brick house in the back.
The man is inside his car smoking snow.
One cannot be wiping the snow off his car and inside his car.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(n_back(x7) & n_car(x4) & of(x4,x3) & n_male(x3) & n_snow(x3) & a_topic(x1) & with(e1,x5) & in(x5,x7) & n_house(x5) & of(x5,x6) & n_brick(x6) & a_large(s1) & Theme(s1,x5) & Theme(e1,x3) & Actor(e1,x2) & v_wipe(e1) & off(x3,x4) & (x1 = x2) & n_man(x1))
exists p1 x1 x2 x3 x4.(n_snow(x2) & of(x2,x4) & n_smoking(x4) & of(x2,x3) & n_car(x3) & of(x2,x1) & n_male(x1) & n_man(x1) & inside(x1,x2))