Premise: There has been no auction for the 800 MHz licenses.

Hypothesis: The 800 MHz licenses were not in the auction.
Relation: entailment