Assertion: helm | /r/HasSubgroup | magma helm
Facets:
Source sentences: