Musician dressed in all black smiles for the camera.
The musician is skilled.
A musician is not always skilled.
exists e1 x1 x3.(n_camera(x3) & ne_nam_musician(x1) & all x2 s1.((n_smile(x2) & a_black(s1) & Theme(s1,x2)) -> (in(e1,x2) & for(x2,x3))) & Actor(e1,x1) & v_dress(e1))
exists e1 x1.(n_musician(x1) & Theme(e1,x1) & v_skill(e1))