Assertion: receiver's number | /r/HasProperty | exhausted
Facets:
Source sentences:
text: In the NFL running backs must wear numbers 20 to 49, tight ends must wear numbers 80 to 89 (or 40 to 49 if the numbers 80 to 89 have been exhausted), and wide receivers must wear numbers 10 to 19 or 80 to 89.