Premise: He can come up here if he wants to see us."

Hypothesis: If he wants to see us he can come over here.
Relation: entailment