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