Assertion: real number's value | /r/HasProperty | doubled next value
Facets:
Source sentences:
text: Beginning with the value 0, the prior value is doubled, and the next bit is then added to produce the next value.