Assertion: compound | /r/HasSubgroup | polyhedral compound
Facets:
Source sentences: