Assertion: racket | /r/HasSubgroup | typed racket
Facets:
Source sentences: