Assertion: carry | /r/HasProperty | propagated to the left
Facets:
Source sentences:
text: , nothing can be deduced at all until the value of the carry coming in from the right is known, and that carry is then propagated to the left, one step at a time, as each digit position evaluated "9 + 1 = 0, carry 1" or "1 + 1 = 0, carry 1".