Premise: The standard also requires deferred revenue to be recognized when a forfeiture judgment is obtained, but the deferred revenue is reversed when revenue is recognized.

Hypothesis: Revenue should be recognized when a forfeiture judgment is obtained.
Relation: entailment