Assertion: real number's root | /r/CapableOf | apply to positive number
Facets:
Source sentences:
text: Since the square root symbol represents the unique positive square root (when applied to a positive number), it follows that