A man is singing into a microphone.
A man performs stand-up comedy.
The man cannot be singing and performing stand-up comedy simultaneously.
exists e1 x1 x2.(into(e1,x2) & n_microphone(x2) & Actor(e1,x1) & v_sing(e1) & n_man(x1))
exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_perform(e1) & n_comedy(x2) & a_stand-up(s1) & Theme(s1,x2) & n_man(x1))