Text: The revenue from forfeiture is nonexchange revenue, because the Government seizes the property through the exercise of its power.
Entailment: When the government seizes property it is nonexchange revenue.
Contradiction: The government is not allowed to seize property.