mnli premise: 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. hypothesis: Revenue must be recognized by a Federal government reporting entity if there is a distribution of property to a state.