A man is on a ladder which is leaning against a building .
It is probably the case that the man is up very high .
It is probably the case that the man is up very high .
It is highly unlikely that the man is up very high .
The man is up very high .