A man playing his guitar on the street, surrounded by buildings and streetlights.
The man is playing the guitar inside the arena.
The man cannot be on the street and inside the arena at the same time.
exists e1 e2 x1 x2 x3 x4 x5 x6 x7.(n_street(x4) & Actor(e2,x5) & subset_of(x7,x5) & n_streetlight(x7) & subset_of(x6,x5) & n_building(x6) & Theme(e2,x1) & v_surround(e2) & Theme(e1,x3) & Actor(e1,x2) & v_play(e1) & on(x3,x4) & n_guitar(x3) & of(x3,x1) & n_male(x1) & (x1 = x2) & n_man(x1))
exists e1 x1 x2 x3.(n_arena(x3) & n_guitar(x2) & n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & inside(x2,x3))