Assertion: abelian group's subgroup | /r/HasProperty | nontrivial
Facets:
Source sentences:
text: This subgroup is nontrivial.