There has been no auction for the 800 MHz licenses.
There was an auction for the 800 MHz licenses.
mnli hypothesis: There was an auction for the 800 MHz licenses. premise: There has been no auction for the 800 MHz licenses.