Assertion: applet | /r/HasSubgroup | math applet
Facets:
Source sentences: