Premise: The default procedures provide for the sale of all allowances at a single, clearing price.
Hypothesis: The default makes sure there isn't more than one sale. 
Label: entailment