Assertion: square | /r/HasProperty | original number
Facets:
Source sentences:
text: For this reason, it is possible to define the square root function, which associates with a non-negative real number the non-negative number whose square is the original number.