Assertion: real number | /r/CapableOf | form group
Facets:
value: for addition
type: PURPOSE
Source sentences:
text: For example, the real numbers form a group for addition, and the positive real numbers form a group for multiplication.