Given a premise, retrieve a hypothesis that is entailed by the premise.There has been no auction for the 800 MHz licenses.
The 800 MHz licenses were not in the auction.
There was an auction for the 800 MHz licenses.