Assertion: abelian group's subgroup | /r/HasProperty | $\langle x \rangle$
Facets:
Source sentences:
text: $y$ is properly bigger than the subgroup $\langle x \rangle$, we must have $G=\langle x, y \rangle$.