Assertion: hex | /r/HasSubgroup | extra hex
Facets:
Source sentences: