Text: If the property is distributed to a state or local law enforcement agency or a foreign government, revenue is not recognized by a Federal Government reporting entity.
Entailment: Revenue can not be recognized by a Federal government reporting entity if there is a distribution of property to a state.
Contradiction: Revenue must be recognized by a Federal government reporting entity if there is a distribution of property to a state.