Text: There has been no auction for the 800 MHz licenses.
Entailment: The 800 MHz licenses were not in the auction.
Contradiction: There was an auction for the 800 MHz licenses.