Assertion: generator | /r/HasSubgroup | induction generator
Facets:
Source sentences: