Assertion: group's property | /r/CapableOf | serve as model
Facets:
value: for the group axioms
type: TRANSITIVE-OBJECT
Source sentences:
text: The following properties of integer addition serve as a model for the group axioms given in the definition below.