A lady with a pink bike is smiling for the camera.
the woman is asleep at home
If the woman is asleep at home she can't be smiling for the camera.
exists e1 s1 x1 x2 x3.(n_camera(x3) & for(e1,x3) & Actor(e1,x1) & v_smile(e1) & with(x1,x2) & n_bike(x2) & a_pink(s1) & Theme(s1,x2) & n_lady(x1))
exists s1 x1 x2.(n_woman(x1) & at(s1,x2) & n_home(x2) & Theme(s1,x1) & a_asleep(s1))