Musician dressed in all black smiles for the camera.
The smiles are white.
black color is different from white color.
exists e1 x1 x3.(n_camera(x3) & ne_nam_musician(x1) & all s1 x2.((n_smile(x2) & a_black(s1) & Theme(s1,x2)) -> (in(e1,x2) & for(x2,x3))) & Actor(e1,x1) & v_dress(e1))
exists s1 x1.(n_smile(x1) & Theme(s1,x1) & a_white(s1))