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