Assertion: complement's value | /r/HasProperty | sure
Facets:
Source sentences:
text: (The cast to U is required to make sure the value is zero- rather than sign-extended from its natural width.)