Assertion: function | /r/HasSubgroup | inside function
Facets:
Source sentences: