Assertion: root's number | /r/HasProperty | defined
Facets:
Source sentences:
text: In the event that the number is not 1 unit away from the origin, we obtain new distance from the origin by taking the square root of the old distance from the origin (here the lengths are positive real numbers and the notion of "square root" is already defined).