Assertion: zip code's digit | /r/HasProperty | allocated
Facets:
Source sentences:
text: The first digit of the ZIP Code is allocated as follows: