Assertion: let | /r/HasSubgroup | gamma let
Facets:
Source sentences: