Assertion: group's number | /r/CapableOf | form group
Facets:
value: under addition
type: OTHER
Source sentences:
text: The rational numbers (including 0) also form a group under addition.