A man plays the trumpet while it is cold outside.
The man is playing outside.
If he plays the trumpet while it is cold outside, then it is logical to conclude that he is playing outside.
exists e1 p1 x1 x2.(n_thing(x2) & n_trumpet(x2) & exists p2 s1 x3.((x2 = x3) & n_outside(x3) & a_cold(s1) & Theme(s1,x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_man(x1))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_outside(x2))