Assertion: real number's value | /r/HasProperty | the sum of the powers of 2
Facets:
Source sentences:
text: The value of a binary number is the sum of the powers of 2 represented by each "1" digit.