Assertion: positive real number | /r/CapableOf | form group
Facets:
value: for multiplication
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.