Assertion: alpha | /r/HasSubgroup | hereditary alpha
Facets:
Source sentences: