A woman in a green jacket is pushing the button to cross the street .
It is probably not the case that a woman is on her way home from work .
It is probably not the case that a woman is on her way home from work .
It is probable that a woman is on her way home from work .
A woman is on her way home from work .