Assertion: complement's value | /r/HasProperty | end
Facets:
Source sentences:
text: In case 2, the subtraction will generate a value that is 1 larger than operand 1 and an end-around borrow.