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