If he started out at nine, he ought to be here by now.

他如果九点出发，现在应该到这里了。