A man is practicing the violin in an empty auditorium.
The man is checking the sound in the auditorium.
Practicing and checking sound are not the same thing.
exists e1 s1 x1 x2 x3.(n_violin(x2) & Theme(e1,x2) & Actor(e1,x1) & v_practice(e1) & in(x2,x3) & n_auditorium(x3) & a_empty(s1) & Theme(s1,x3) & n_man(x1))
exists e1 x1 x2 x3.(n_auditorium(x3) & n_sound(x2) & n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_check(e1) & in(x2,x3))