Assertion: real number | /r/CapableOf | represent in base b
Facets:
value: by the concatenation
type: MANNER
Source sentences:
text: More generally, the latter authors proved that the real number represented in base b by the concatenation