Assertion: set's element | /r/HasAspect | different inverse
Facets:
Source sentences:
text: Make a note that while there exists only one identity for every single element in the group, each element in the group has a different inverse.