Text: 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.
Entailment: Revenue should be recognized when a forfeiture judgment is obtained.
Contradiction: Forfeiture judgment has no effect on recognizing deferred revenue.