Assertion: arrangement | /r/HasSubgroup | lattice system
Facets:
Source sentences: