Guy in blue jacket and hat standing in front of some type of machinery while starring up with a big smile.
The man is working.
Even though a man is sanding in front of some machinery, we did not know that he was working.
(-x)
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_work(e1))