Assertion: real number's part | /r/HasProperty | nonnegative
Facets:
value: always
type: DEGREE
Source sentences:
text: The real part of the principal value is always nonnegative.