Assertion: stein | /r/HasSubgroup | early stein
Facets:
Source sentences: