Assertion: abelian group | /r/HasAspect | abelian group's subgroup
Facets:
Source sentences: