A woman in a spaghetti strap shirt is smiling at a man wearing a white shirt.
A woman smiles at her boyfriend.
A woman who is smiling at a man is necessarily a woman who smiles at her boyfriend.
(-x)
(-x)