Assertion: real number's root | /r/DefinedAs | the side length of a square
Facets:
value: usually
type: TEMPORAL
Source sentences:
text: The square root of a positive number is usually defined as the side length of a square with the area equal to the given number.