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