Assertion: zip code's digit | /r/HasProperty | obtained
Facets:
value: by summing all 5
type: MANNER
Source sentences:
text: The last digit is always a check digit, which is obtained by summing all 5, 9 or 11 digits, taking the residue modulo 10 of this sum (i.e., the remainder after dividing by 10) and finally subtracting this from 10.
text: The last digit is always a check digit, which is obtained by adding up the 5-, 9-, or 11-digits, then subtracting the last digit of that result from 10.