Text: This section also establishes detailed default procedures for auctions.
Entailment: The section sets procedures for auctions.
Contradiction: The section sets procedures for traffic laws.