There has been no auction for the 800 MHz licenses.
The 800 MHz licenses were not in the auction.
mnli hypothesis: The 800 MHz licenses were not in the auction. premise: There has been no auction for the 800 MHz licenses.