Assertion: function's number | /r/HasProperty | represented in unique canonical way
Facets:
Source sentences:
text: Every real number x can be represented in base 13 in a unique canonical way; such representations use the digits 0–9 plus three additional symbols, say {A, B, C}.