Assertion: positive real number | /r/HasProperty | its absolute value
Facets:
Source sentences:
text: Magnitudes are always non-negative real numbers, and to any non-zero number there belongs a positive real number, its absolute value.