Assertion: real number's value | /r/CapableOf | begin with the 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.