Assertion: real number's root | /r/HasProperty | taken of negative number
Facets:
value: within the system of real numbers
type: OTHER
Source sentences:
text: No square root can be taken of a negative number within the system of real numbers, because squares of all real numbers are non-negative.