Assertion: rational number | /r/CapableOf | form a commutative group
Facets:
value: under addition
type: OTHER
Source sentences:
text: We say rational numbers form a commutative group under addition.