Woman listening for music player while smoking a cigarette.
The woman is meditating in silence.
If one is listening to music, one is not in silence.
(x)
exists e1 x1 x2.(n_woman(x1) & in(e1,x2) & n_silence(x2) & Actor(e1,x1) & v_meditate(e1))