Assertion: boolean arithmetic | /r/HasProperty | performed modulo 2n
Facets:
value: always
type: TEMPORAL
Source sentences:
text: Unsigned integer arithmetic is always performed modulo 2n