Premise: Cars are taking an exit down the highway.
Hypothesis: There is a highway.
Relationship: entailment