Assertion: complement's value | /r/HasProperty | represented by unsigned number
Facets:
Source sentences:
text: A value is represented by the unsigned number which is K greater than the intended value.