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. 
Relation: entailment