Assertion: real number | /r/HasProperty | ring
Facets:
Source sentences:
text: The real numbers are a ring, having both addition and multiplication.