A man is playing accordion on the sidewalk.
The man is in the White House.
If he is in the White House, he wouldn't be on the sidewalk.
exists e1 x1 x2 x3.(n_sidewalk(x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_accordion(x2) & n_man(x1))
exists p1 x1 x2 x3.(ne_org_house(x2) & (x2 = x3) & ne_org_white(x3) & n_man(x1) & in(x1,x2))